.other
{
	color: #000000;
}
.highlighted
{
	color: #990000;
}
a.mainnav:link, a.mainnav:active, a.mainnav:hover, a.mainnav:visited 
{
	text-decoration: none;
}