div#menu
{
	padding-top: 10px;
	padding-right: 10px;
	float: left;
	width: 105px;
}

div#menu a,
div#menu a:link,
div#menu a:visited
{
	color: #000088; 
	font-family: arial; 
	font-size: 10pt; 
	font-weight: bold; 
	text-decoration: none;
}
			
div#menu a:hover,
div#menu a:active
{
	color: #FF3333;
	text-decoration: underline;
}