.basenav {	font-family: Arial, Helvetica, sans-serif;	font-size: 12px;	text-decoration: none;	font-weight: bold;	color: #000033;}a:hover {	color: #990000;}.nav-plain {	font-family: Arial, Helvetica, sans-serif;	font-size: 12px;	color: #FFFFFF;	font-weight: bold;}.text-12-plain {	font-family: Arial, Helvetica, sans-serif;	font-size: 12px;	color: #000033;}.small-nav {	font-family: Arial, Helvetica, sans-serif;	font-size: 10px;	color: #000033;	text-decoration: none;	font-weight: bold;}.sans9 {	font-family: Verdana, Arial, Helvetica, sans-serif;	font-size: 9px;	text-decoration: none;}