.menu {
	color : #000000;
	margin-top : 10px;
	padding-bottom : 12px;
	margin-bottom : 0px;
	margin-left : 10px;
	margin-right : 10px;
	font-size : 8px;
	font-family : Tahoma,Verdana,Arial;
	font-weight: normal;
}
.menu a {
	color : #000000;
	text-decoration: none;
}
.menu a:hover {
	color : #294A7B;
}
div.infobox {
margin-top: 10px;
margin-bottom: 10px;
padding: 10px;
border: 1px silver solid;
}