html, body     { background:rgb(128,2,71); height: 100%; margin:0; padding:0; 
                 color: rgb(255,255,255); font-family: Comic Sans MS; font-size:18px; }
table          { border:1px; border-collapse: collapse;}
.head          { background:rgb(64,1,32);}
#head          { height:64px; font-size:66px; text-align:center;}
#menu          { position: absolute; top:80px; width:225px; }
#menu ul       { margin-left: 5px; list-style-image:url('../_img/menu.gif'); padding-left:25px; }
#menu li       { cursor:pointer; font-size:90%;}
#menu li  .act { list-style-image:url('../_img/menuact.gif');}
#menu li:hover { font-weight:bold;  list-style-image:url('../_img/menusel.gif');}
#content       { position: absolute; top:90px; left:230px; right:10px;  }
#conthead      { font-size:32px;}
#foot          { position: fixed; left:10px; right:10px;  bottom: 0; color:white;
                 border-top: 3px rgb(20,81,170) solid; font-size: 0.8em; text-align: center;    }
a              { color: rgb(204,242,242); text-decoration: none;}
#highlight     { color: black;}
#highlight a   { background:white; color:black;}
code,pre           { background:white; color:black;}
a.downpdf      { background:url('../_img/pdf.gif')     no-repeat; padding-left:16px; color:blue;}
a.downzip      { background:url('../_img/zip.gif')     no-repeat; padding-left:16px; color:blue;}
a.linkext      { background:url('../_img/linkext.gif') no-repeat; padding-left:12px; color:blue;}