// styles 

a { color: #196faa }
a:link { color: #196faa }
a:visited { color: #196faa }
a:hover { color: #196faa }
a:active { color: #196faa }

:link div.menubox { background-color: #015; border: 1px solid #137;
	color: white; font-size: 8pt; font-family: Trebuchet MS;
	padding: 1px; padding-left: 4px; padding-right: 4px;
	border-bottom: none; text-decoration: none }
	
:visited div.menubox { background-color: #015; border: 1px solid #137;
	color: white; font-size: 8pt; font-family: Trebuchet MS;
	padding: 1px; padding-left: 4px; padding-right: 4px;
	border-bottom: none; text-decoration: none }	

:link:hover div.menubox, :visited:hover div.menubox { background-color: #027; 
	border: 1px solid #137; color: white; font-size: 8pt; 
	font-family: Trebuchet MS; padding: 1px; padding-left: 4px; 
	padding-right: 4px;	border-bottom: none; text-decoration: none }	

div.titlebox { font-family: Trebuchet MS; font-size: 18px; color: #07c;
	font-weight: bold; margin-bottom: 12px }
	
.menubox a, .menubox a:hover, .menubox a:visited{
	text-decoration: none;
}