body, p, td, li { font-family:Verdana, Helvetica, Arial; font-size:10pt; }
  pre { font-size:12pt; }
  pre.code { background-color:#C0C0C0; padding:2px; }
  td.code { background-color:#C0C0C0; vertical-align:top; }
  td { vertical-align:top; }
  p.interpre { margin-top:-10px; margin-bottom:-10px; }
 .s2HELP0 {  vertical-align:bottom; } 
 .s2HELP1 {  vertical-align:middle; } 
 .s2HELP2 { font-family: Verdana, Helvetica, Arial; font-size: 10pt }