a:link{color: #222222; text-decoration: none;}
a:visited{color: #bbbbbb; text-decoration: none;}
a:hover{background-color: #eeeeee;}
body{font-size: smaller;}
blockquote{background-color: #eeeeee; margin: auto; width: 80%;}
img{border: 0;}
th{background-color: #eeeeee;}
table{background-color: white;}
.body{border: 3px outset black;}
.emphasize{font-weight: bold;}
.error{color: red;}
.formdata{margin: auto}
.indexheader{font-size: medium;}
.results{margin: auto;}
.toc1{font-weight: bold; border-bottom: 1px dotted #222222;}
.toc2{background-color: #eeeeee; border-bottom: 1px dotted #222222;}