@media screen {
	div.mainmenu { 
		margin-left: -10px; 
		margin-right: -10px; 
		font-size:8pt;
	}
}
@media print {
	div.mainmenu { 
		margin-left: 0px; 
		margin-right: 0px; 
		font-size:8pt;
	}
}
table.altmenu1{
	border:1px solid #CC0000; 
	padding:1px;
	background-color:#01358B;
}
td.altmenu1 {
	text-align:left; 
	vertical-align:top;
	color:#FF0000;
}
a.altmenu1:link { color: #FFFFFF; text-decoration: none; }
a.altmenu1:visited { color: #FFFFFF; text-decoration: none; }
a.altmenu1:hover { color: #FFCC00; text-decoration: underline; }
a.altmenu1:active { color: #FFCC00; text-decoration: underline; }