body 
{ color: #191970; font-size: 12px; line-height: 130%; font-family: Verdana; background-color: #f5f5f5; text-align: center; margin: 0px; }
h1 {font-size:18px;color:#000000;margin-bottom:0px;}
h2    { color: #191970; font-weight: bold; font-size: 14px }
h3    { color: #191970; font-weight: normal; font-size: 9px; line-height: 120% }

code          { color: #00f; font-weight: bold; font-size: 24px; line-height: 24px; background-color: #ff0 }
pre
    { color: #0000ff; font-size: 14px; padding: 5px }
a:link, a:visited, a:active, a:hover
 { color: #191970; font-weight: normal; font-size: 12px; text-decoration: underline }
a:active, a:hover
       { color: #00f }
#title         { background-color: #f5f5f5; padding-top: 5px; padding-bottom: 5px; padding-left: 3px; height: auto }
#left       { background-color: #f5f5f5; float: left; width: 110px }
.menutitle { font-weight: bold; background-color: #f5f5f5; text-align: center; margin: 2px }
.menucontainer                  { background-color: #eee8aa; padding: 2px }
#content              { background-color: #f5f5f5; float: right; padding: 0px 5px 0px 10px; border: #efeff7; width: 600px }
html { overflow: -moz-scrollbars-vertical; }