body { font-family: verdana, helvetica, arial, sans-serif; background: white; }
 table { font-family: verdana, helvetica, arial, sans-serif; background: white; }
 th { font-family: verdana, helvetica, arial, sans-serif; background: white; }
 td { font-family: verdana, helvetica, arial, sans-serif; background: white; }
 h1 { color: blue; font-size: +140%; }   
 h2 { color: blue; font-size: +125%; }
 h3 { color: blue; font-size: +110%; }
 h4 { color: blue; font-size: +100%; }
 blockquote code { font-family: courier; color: gray; }
 code { color: blue; background: gray; }
 a { text-decoration: none; color: blue; }
 a:hover { color: red } 
 dt { background: eee; font-size: +80% }
 dd { font-size: +80% }
 .copy { font-size: +75%; color: red }
 .id { font-size: +75% } 
 .small { font-size: +75% }
 .smallgreen { font-size: +75%; color: green }
 .navbartable { font-size: +75%; color: blue; text-decoration: none }
 .resultbar { background: eee; font-size: +80% }
 .resultbar2 { background: f99; font-size: +80% }
 .srchtop { background: f99; }
 .props { font-size: +60% }