body { background:#001100; color:#009900; font-variant: small-caps; font-family:Courier New, monospace, fixed,Courier, courier; font-size:12px }

a:link { color:#00aa00; }
a:visited { color:#009900; }
a:hover, a:active { color:#000000; background:#00aa00 }

.footnote { color:#999999; padding-top:5px; padding-bottom:5px; border-top:1px dotted #444444; font-style:italic; clear:both }

.userinput { border:1px solid #999999; color:#ffffff; background:#001100; font-variant: small-caps; font-family:Courier New, monospace, fixed,Courier, courier; font-size:12px }