/* CSS Document */

.tiny { font-size: 100%; margin: 0px; }
.smallest { font-size: 100%; }
.smaller { font-size: 100%; }
.large { font-size: 110%; }
.larger { font-size: 120%; }
.largest { font-size: 140%; }
.huge { font-size: 150%; }
.smaller_button { font-size: 100%; }
.smallest_button { font-size: 100%; }

#tipDiv {
 font-size: 13px;}

.nav, .nav:visited, a.nav, a.nav:visited{
	font-size: 13px;
	text-decoration: underline;}

.navSet, .navSet:visited {
	font-size: 13px;}

.subNav, .subNav:visited, a.subNav, a.subNav:visited {
	font-size: 13px;
	text-decoration: underline;}
							
.subNavArrows {
	font-size: 13px;}							

.subNavArrowsSet, .subNavSet, .subNavSet:visited {
	font-size: 13px;
	text-decoration: none;}
	
.copyright, .copyright a, .copyright a:visited {
	font-size: 13px; 
	color: #006600;
	text-decoration: none;}
	
.copyright a:hover { 
	font-size: 13px;
	color: #000000;
	text-decoration: underline;}