body { color:#000000; margin:0px; padding:0px; font-family:Verdana,sans-serif; background-color:#5A5263}

a { color:#000080; }
a.title { text-decoration:none }
a:hover { color:red; }
a:visited { color:#000080; }
a:active { color:red; }

pre { color:#000080; background-color:white; margin:0px; padding:0px; font-family:Courier,sans-serif }