body { background-color:#000000;
          font-family:Avantgarde,Arial; font-size:90%;
          color:#FF0000;
        }
   * a:link    { color: #ABABAB; }
   * a:visited { color: #FB3B3B; }
   * a:active  { color: #D6B001; }
   * a:hover   { color: #D6B001; }


   td   { font-family:Avantgarde,Arial; font-size:90%; }
   img.inText  { border: 1px solid #CCC; margin-top: 8px; margin-bottom: 8px; }
   ul   { margin-top: 8px;}
   pre  { margin: 12px;
   	 color: #CCC;}
   .hl1   { font-family:Avantgarde,Arial; font-size: 180%; font-weight:bold;
                   margin-top: 16px; margin-bottom: 8px }
   .hl2   { font-family:Avantgarde,Arial; font-size: 120%; font-weight:bold;
                   margin-top: 12px; margin-bottom: 8px }
   .hl3   { font-family:Avantgarde,Arial; font-size: 100%; font-weight:bold;
                   margin-top: 10px; margin-bottom: 6px }