/* This CSS is for documents scanned in and turned into HTML in the document style */

body { padding: 5px; margin: 0px; background: #C0C0C0; font-family: monospace;}

/* Setting up the Link styles */
a { font-family: verdana, sans-serif; font-size: 12px; color: #990000; text-decoration: none; }
A:hover { color: blue; text-decoration: underline; }
A:active { color: #004800; text-decoration: underline; } 
A:visited { color: #333366F; text-decoration: none; } 

/* Hide is used to warn people with old browsers that they might have issues due to style sheets they can't see */
.hide { display: none; }
.comment { display: none; }