.menu {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	text-decoration: none;
}
.menuhighlight {
	color: 8AAADB;
	text-decoration: none;
}