.topnav {  font-family: Georgia, "Times New Roman", Times, serif; color: #99CCFF; text-decoration: underline}
.header {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; font-weight: bold; color: #666600}
.small {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 9px; color: #000033}
.default {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 12px; color: #000066}
.darkboundingbox {  color: #FFCCCC; font-size: 12px}
.headerlight { font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; font-weight: bold; color: #F2F2F2}
.discrete {  color: #333333}