body {margin-left: 80; margin-right: 80; BACKGROUND: #F5F5DC; 
FONT-FAMILY:  Helvetica, Times, Verdana, Arial;}
ul {font-size: 80%;}
a:link {color: #003300; text-decoration: underline; }
a:active {color: #007700; text-decoration: underline; }
a:visited {color: #5E7C64; text-decoration: underline; }
a:hover {color: #005500; text-decoration: none; font-size: 90%;}
pre {FONT-FAMILY:  Verdana, Helvetica, Times, Arial;}