body { 
margin-top: 0px; 
margin-bottom: 20px; 
padding:0; 
font-family: Verdana, Helvetica, Arial, courier, sans-serif; 
line-height: 1.5; 
background:#f6f6f6; 
color:#333333;
}

blockquote {margin:1.5em; background-color:#ebebeb;}
blockquote pre { font-family: courier;   padding: 10px 15px 10px 15px; color: black;}

PRE.code { color: blue }
XMP.code { color: blue }
PRE.run  { color: red }
XMP.run  { color: red }
CODE { color:blue}

span.bigo {
 color: red;
 font-family: monospace;
}