body { background-color:#FFFFFF; color:#000000; }
img { border-width:0; }
div.mono { font-family:monospace; margin-left:0em }
div.footnote { font-family:monospace; font-size:xx-small; }
p.littletitle { text-decoration:underline; }
a:link    { color:#3E77D8; }
a:visited { color:#3E77D8; }
a:hover   { color:#3E77D8; font-weight:bold; }
a:active  { color:#3E77D8; }
a.img:hover { background:#FFFFFF; }