BODY      { background: #eee ; color: #222 ;
            padding-right: 10; padding-left: 10; }
H1.dummy  { color: #906 ; font: bold 500% sans-serif }
H1        { color: #006 ; font: bold 200% sans-serif }
H2        { color: #006 ; font: bold 133% sans-serif }
H3        { color: #006 ; font: 125% sans-serif }
.para    { color: #006 ; font: bold sans-serif }
A.email   { color: #222 }
A:link    { color: #00f }
A:visited { color: #60f }
A:active  { color: #90 }

TABLE.sourcelog { margin: 0px ; padding: .5ex ;  border: 2px solid #321 ; background: #eed }
TABLE.sourcelog TH {
   color: #006 ;
   font-family: sans-serif ;
   font-weight: normal ;
   text-align: left ;
   vertical-align: baseline }
TABLE.sourcelog TD {
   vertical-align: baseline }
TABLE.sourcelog TD.subhead {
   color: #006 ;
   font: bold 105% sans-serif ;
   text-align: left;
   padding-top: .5ex ;
   border-bottom: solid 1px }
DIV.sourcelog P { margin-top: 0px; margin-bottom: 0px }
DIV.sourcelog H3 { margin-top: 1ex; margin-bottom: 0px ; font: bold 100% sans-serif }
DIV.sourcelog B { color: #006 ; font-family: sans-serif ; font-weight: normal }

DIV.legendright { padding-left: 10x }