div#menu
{
	padding:10px 0px 0px 0px;
}
div#menu a
{
	color:#000099;
	font-size:120%;
	font-weight:bold;
	padding:0px 6px 0px 3px;
	text-decoration:none;
}
div#menu a:hover,div#menu a.selected
{
color:#E83026;
}