body { font: 13px Tahoma, "Lucida Grande", Helvetica, Arial, sans-serif;
       margin: 0; padding: 0 50px;
       border-top: 3px #333 solid; }
a, a:link { text-decoration: none; color: #c00; }

img { border: none; }

span.black { color: black; }
span.red { color: #c00; }
span.slash { }

h1 { font-family: Helvetica, Arial, sans-serif; }
body.main h1 { margin: 0; margin-top: 50px; font-size: 2em; }
body.subp h1 { margin: 0; margin-top: 25px; font-size: 1.25em; }

body.main h2 { font-size: 2.5em; color: #999; margin: 0; padding: 0;
  font-weight: normal; text-transform: lowercase; }
body.subp h2 { font-size: 1.10em; color: #999; margin: 0; padding: 0;
  font-weight: normal; text-transform: lowercase; }

dl.menu { color: #999; margin: 0; padding: 0; font-weight: normal; }
body.main dl.menu { font-size: 2em; }
body.subp dl.menu { font-size: 1.10em; clear: left; }

body.main dl.menu dt { padding: 0; margin: 0 0 0 1.5em; text-transform: lowercase;
                       line-height: 1.15em; }
body.subp dl.menu dt { display: inline; padding: 0; margin: 0; text-transform: lowercase; }

body.main dl.menu dd { display: none; position: absolute; top: 14em; left: 3em; font-size: .5em; }
body.subp dl.menu dd { display: none; width: 250px; position: absolute; top: 6em; left: .9em; font-size: .75em; }

dl.menu a { color: #999 !important; }
dl.menu a.here { color: #c00 !important; }
dl.menu a:hover { color: #c00 !important; }
dl.menu dt:after { content: ' /'; }

#left, #contents { color: #666; margin-top: 3em; width: 40%; }
#left h2, #contents h2 { font-weight: bold; font-size: 1.10em; color: black; margin-top: 2em;
  margin-bottom: 1em; }
#contents h3 { font-weight: normal; font-size: 1em; text-transform: lowercase; }

.filelist { font-size: smaller; }

#bottom { list-style: none; position: fixed; bottom: 40px; right: 50px; width: 250px;
    margin: 0; padding: 0; color: #999; text-transform: lowercase;
    font-size: 11px; }

tt, pre { font-size: smaller; }