review   { display:block;  color:blue;         }
tojoel   { display:block;  color:green;        }
blessed  { display:block;  color:black;        }
revisit  { display:inline; color:violet;       }
xxx      { display:inline; color:red;          }
comment  { display:block;  color:maroon;  font-style:italic;  white-space:pre;  white-space:pre-line; }
history  { display:none }

abstract { font-style:italic }

body
{
  background: white;
      margin: 0pt 0pt 10pt 0px;
     padding: 0pt;
}

#HEADER
{
      background: #990000;
         padding: 5pt;
          border: thick;
    border-style: none none solid none;
    border-color: #000000;
  letter-spacing: 10px;
       font-size: 200%;
           color: white;
}

DIR { list-style-type: none; }

DIV.code { background:LightYellow; font-family:monospace; width:96%; white-space:nowrap; }