body {margin: 5px; padding: 0; font-family: Verdana; font-size: 10pt;}

a.toclink {color: Green;}
a.toclink:hover {color: Lime;}

.headerbg {}
.tocbg {}
.headertext {font-size: large;}
.whitetext {}
.red {color: Red;}
.largetext {font-size: large; font-weight: bold;}
.smalltext {font-size: smaller;}
.bold {font-weight: bold}
.toc {color: White; list-style-type: none; margin-top: 5px; margin-left: 10px; padding: 0; font-size: 8pt;}
.release {list-style-type: square; margin-top: 5px; margin-left: 15px; padding: 0; font-size: 10pt;}
.border {border: inset 1px Black; border-collapse: collapse;}