html, body   { background:rgb(120,137,145); height: 100%; margin:0; padding:0; 
             color: rgb(204,242,242); font-family: Comic Sans MS; font-size:18px; }
#head          { background-image:url('../_img/bg.gif'); background-repeat:no-repeat; 
             background-position:center;
             height:80px; font-size:48px; 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:            { background:white; color:black;}
pre                {background:black; color:white;}
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;}

.trhead        { background:black; color:white;}