body {
  font-family: Verdana, "DejaVu Sans", sans-serif;
}

h1 {
  margin-bottom: 1em;
  font-variant: small-caps;
  letter-spacing: 0.3em;
}

h5 {
  text-align: right;
  font-weight: normal;
  font-style: italic;
}

h6 {
  text-align: right;
}

div.section {
  border: thin solid;
  border-radius: 5px;
  padding: 1em;
}

div#menu {
  float: left;
  width: 15em;
  margin-left: 1.5em;
  font-size: 0.8em;
}

#menu h4 {
  margin: 0;
  border-bottom: thin solid;
}

#menu ul {
  padding: 0em;
  list-style: none;
}

#menu li {
  margin-top: 1em;
}

#menu a {
  text-decoration: none;
  letter-spacing: 0.1em;
}

#menu a:hover {
  text-decoration: underline;
}

div#main {
  margin-left: 18em;
  margin-right: 3em;
  padding-left: 3em;
  padding-right: 3em;
}

#main p {
  text-align: justify;
}

#menu .special {
  font-weight: bold;
  font-variant: small-caps;
  letter-spacing: 0.25em;
}

#main .signature {
  text-align: right;
  font-style: italic;
  font-size: 0.8em;
}

blockquote {
  font-style: italic;
  font-size: 1.1em;
}

blockquote blockquote {
  font-style: normal;
  font-size: 0.95em;
}

pre {
  margin-left: 3em;
  margin-right: 3em;
  border: thin solid white;
  border-radius: 5px;
  padding: 1.5em;
  background: #111;
  color: #00ff00;
  font-family: monospace;
}