body {background: black;
      position: relative;
      margin: 0;
      padding: 0;}

code, pre {color: #EDC; font: 110% monospace;}

div#content {background: #246 0 0 no-repeat fixed; 
   position: absolute; top: 26px; left: 161px; right: 25px;
   color: #FFE; font: 13px Verdana, sans-serif; padding: 10px; 
   border: solid #FFCC99;}
div#content p {margin: 0 1em 1em;}
div#content h3 {margin-bottom: 0.25em;}
div#content h1 {margin: -9px -9px 0.5em; padding: 15px 0 5px; text-align: right; background: #A0C2E3;
                color: #024; letter-spacing: 0.5em; font: bold 25px sans-serif; height: 60px; vertical-align: bottom; white-space: nowrap;}
div#links h1 {margin: -9px -9px 0em; padding: 15px 0 5px; text-align: right; background: #A0C2E3;
              color: #024; letter-spacing: 0.5em; font: bold 25px sans-serif; height: 60px; vertical-align: middle; white-space: nowrap;}
dt {font-weight: bold;}
dd {margin-bottom: 0.66em;}
div#content a:link {color: white;}
div#content a:visited {color: #BBC;}
div#content a:link:hover {color: #FF0;}
div#content a:visited:hover {color: #CC0;}


div#plaincontent h1 {letter-spacing: normal;}



div#links a {display: block; text-align: center; font: bold 1em sans-serif; 
   padding: 5px 10px; margin: 0 0 2px; border-width: 0; 
   text-decoration: none; color: #FFC;}

div#links a:hover {color: #411;}

div#links {position: absolute; top: 52px; left: 0; width: 165px; height: 700px; font: 16px Verdana, sans-serif;}


div#links a {background: transparent 0 0 no-repeat fixed;}

div#links a span {display: none;}

div#links a:hover span {display: block;
   position: absolute; top: 0; left: 0; width: 125px;
   padding: 5px; margin: 10px; z-index: 100;
   color: black; background: #A0C2E3;
   font: bold 14px, sans-serif; text-align: center;}

div#links a:hover {color: #411; background: #A0C2E3;
   border-right: 5px double white;}

div#links ul {list-style-type: none; padding: 0; border-width:0; margin:0;}

div.warning {
    text-align : center;
    background-color: #aaaaaa;
    border-style: solid; 
    border-color: red;
    border-width: 1px;
    padding : 3%; 
    margin-left: 1%;
    margin-right: 1%;
    font-size:120%;
    font-family: sans-serif; 
    font-style: bold;
  }