hr {color: sienna}
p {margin-left: 20px}
body { background-color: #ffffff}
pre {margin-left: 20px}
pre {color: #000000}
h1 {color: #000000}
h3 {color: #000000}
h2 {color: #000000}
a {color:/* #ff0000*/#0000cc}
a:link {text-decoration: none}
a:visited {color: /*#0000cc*/#ff0000; text-decoration: none}
/*a:hover {font-size: 150%}*/
a:hover {text-decoration:underline}