body{background: white; color: black;}
p{line-height: 1.5em; text-indent: 1em;}
p.file{text-indent: 0; background: silver; color: black; border: thin outset #d8e0d0;}
h1{font-size: x-large; font-weight: bold; color: green;
   border-width: thick 0em 0em 1.5em; border-style: solid none none solid; border-color: "#5f0"; }
table{background-color: "#eee"; color: black;}
th{font-weight: bold; color: blue; background-color: "#ccc";}
table caption{ color: "#088"; background-color: white;}
address{text-align: right;}
.counter{text-align: center;}
.topheader{font-size: xx-large; text-align: center; border: none;}
code{text-indent: 0; font-family: monotype; line-height: 1em;
     white-space: pre;}
a:visited {color: #838;}
a:link {color: #00c;}
a:hover {background: #eee; text-decoration: underline;}
a:active {color: #008; background: #0f0; outline: 1px dotted #0f0;}