html {
  font-family: arial, helvetica, sans-serif;
}

body {
  background-color: #FCFCFF;
  max-width: 75em;
}

h1 {
  margin: .5em 0 0 0;
  font-size: 150%;
  text-align: center;
}

h2 {
  margin: 0;
  font-size: 125%;
  font-variant: small-caps;
  color: #444444;
}

h2.top {
  color:grey;
  text-align: center;
}

h3 {
  margin: .25em;
  font-size: 110%;
  color: #333333;
}

.b {
  font-weight: bold;
  color: #444444;
}

.i {
  font-style: italic;
}

.c {
  font-family: monospace;
  white-space: pre;
  color: #111111;
}

a {
  color: black;
  text-decoration: none;
  border-bottom: 1px dotted;
}

a:hover {
   color: gray;
   border-bottom: 1px solid gray;
}

a.img {
  border: none;
}

a.img:hover {
  border: none;
}

p {
  margin: .5em .5em .75em .5em;
}

ul {
  margin: 0 0 0 1.25em;
  padding: 0 0 0 1em;
}

ul ul {
  padding: 0;
}

li {
  padding-top: .1em;
  margin-bottom: .25em;
}

img {
  margin-left: .5em;
}

hr {
  border: 1px solid #777777;
  margin-right: 1em;
  margin-left: .25em;
  margin-bottom: 1em;
  margin-top: 1em;
}

div.section {
  margin: 1em 1em 1.5em 1em;
}

div#nav {
  float: left;
  width: 13em;
}

div#nav a {
  display: inline-block;
  margin: 0 .35em .6em .5em;
  color: #222222; 
  font-size: 105%;
  letter-spacing: .1em;
}

div#content {
  overflow: hidden;
  min-height: 25em;
  border-left: thin solid gray;
}