body  { background-color:#ffffff; }
   pre   { color:#000000; background-color:#ffffff; font-size:10pt; font-family:Courier;}
   .num  { color:#FF0000; }
   .esc  { color:#666666; }
   .str  { color:#666666; }
   .dstr { color:#000000; }
   .slc  { color:#008000; }
   .com  { color:#AA80AA; }
   .dir  { color:#0000b3; }
   .sym  { color:#803080; }
   .line { color:#555555; }
   .kwa  { color:#0000ff; }
   .kwb  { color:#0000b3; }