div#menu {
	font-family: Verdana, Helvetica, Arial, sans-serif;
	font-size: 9px;
}
#menu a:link, #menu a:visited {
	color: #0000FF;
	border: none;
	text-decoration:underline;
}
#menu a:hover {
	color: #FF0000;
	text-decoration: none;
}