body {  font-family: Verdana, Arial, Helvetica, sans-serif; background-color: #FFFFFF}
.navlist {  font-size: small; padding-right: 10px; list-style-type: disc; padding-left: 10px; margin-top: 0px; margin-bottom: 0px}
.redhead {  color: #CC0000}
.smalltext {  font-size: 10pt}
.redtext { color: Red}