a:hover     { color: #c30; background-color: transparent }

.nav9class   { color: black; font-weight: bold; font-size: 10pt; font-family: "Times New Roman", Georgia, Times }
.nav9white { color: white; font-size: 9pt; font-family: "Times New Roman", Georgia, Times; font-weight: bold; background-color: black }
.nav9white:link { color: gray }
.nav9white:hover { color: gray }
.nav9courclass { color: black; font-size: 9pt; font-family: Courier, "Courier New", Verdana, Monaco }
.nav9verdclass { color: black; font-size: 9pt; font-family: Verdana, Arial, Helvetica, sans-serif; }
.navredclass    { color: #c30; font-style: normal; font-weight: bold; font-size: 9pt; font-family: Georgia, "Times New Roman", l }

.red9courclass { color: red; font-style: normal; font-size: 9pt; font-family: Courier, "Courier New", Verdana, Monaco }

.headerclass  { color: black; font-weight: bold; font-size: 13pt; font-family: "Times New Roman", Georgia, Times }

.8boldclass  { color: #000; font-weight: bold; font-size: 8pt; font-family: "Times New Roman", Georgia, Times }

.8courclass { color: black; font-style: normal; font-size: 9pt; line-height: 8pt; font-family: Courier, "Courier New", Monaco ; font-weight: normal; }
.greyborder { border: solid 1px #ccc; }