body    
  { background: #eaeaae }
  
pre.a   
  { color: #ff0000; font-family: arial, helvetica, sans-serif }
  
a:visited  
  { color: #df7050 }

a.mail
  { color: #912cee }	

a.internal
  { text-decoration: none }	

p.text
  { font-family: courier }

p.heading
  { text-decoration: underline; 
    font: bold 18pt/20pt arial, helvetica, sans-serif }

td.redborder
  { background-color: #dc0010; }

.header
  { color: #dc0010 }

.list
  { text-decoration: underline }