div#menu {
	border-bottom: 3px solid rgb(110,60,60);
	height: 20px;
}

.menuitem {
	text-align: center;
	font-weight: 700;
	font-size: 11pt;
	font-family: Arial;
}

.menuitem a {
	color: rgb(110,60,60);
	text-decoration: none;
	margin: 3px;
}

.menuitem a:visited { color: rgb(110,60,60); }

.menuitem a:hover { color: rgb(128,128,128); }