body {
  width: 800px;
  margin-left: auto;
  margin-right: auto;
  font-family: Verdana, Helvetica, Arial, Sans-Serif;
  font-size: 0.9em;
}
div.wide {
  width: 1024px;
}
img {
  max-width: 800px;
}
#header {
  border-bottom: solid 1px black;
}
#header img {
  width: 172px;
  margin-right: 20px;
}
#header span {
  font-size: 12pt;
  padding-bottom: 10px;
  font-style: italic;
}
#header a {
  text-decoration: none;
  color: black;
}
.contents {
  border:solid 1px black;
  padding: 10px;
}

/* section headings */
h1 {
  font-size: 16pt;
  text-decoration: underline;
}
h2 {
  font-size: 14pt;
}
h3 {
  font-size: 14pt;
}

/* PHIL formatting */
ul.phil {
  font-family: monospace;
  list-style: none;
  padding-left: 0px;
}
ul.phil ul {
  list-style: none;
}
li.phil-param {
  clear:both;
  padding: 5px;
}
.phil-scope > span {
  font-weight: bold;
}
.phil-words {
  color: red;
}
.phil-help {
  color: blue;
  width: 500px !important;
  float: right;
}

/* Drop-down menu */
#nav {
  background: #052a47;
  list-style: none;
  margin: 0px;
  clear: both;
  width: 100%;
  margin-bottom: 10px;
  padding: 0px;
  float: left;
}
#nav a {
  color: white;  
  display: block;
  padding: 6px;
  text-decoration: none;
}
#nav a:hover {
  color: #ccc;
}
#nav > li {
  float: left;
  margin: 0px;
  position: relative;
}
#nav > li > ul {
  display: none;
  position: absolute;
  left: 0px;
  width: 240px;
  padding: 0px;
  list-style: none;
  background: #9ca9b2;
}
#nav > li:hover > ul {
  display: block;
}