#menu {
	width: 150px;
	float: left;
	overflow: hidden;	
	background-color: white;
	color: white;	
	left: 0px;
	font-size: 11px;
	font-family: Verdana,Geneva,Arial,Helvetica,sans-serif;
	padding-left: 0px;
	padding-right: 3px;
	padding-bottom: 3px;
	padding-top: 8px;
	margin: 5px;
	text-align: right;
	border: 2px solid #000080;
}

* html #menu {
	width: 150px;
	margin-left: 2px;
	padding-right: 6px;
}


#menu a, a:visited {
	color: #000080;
	font-size: 11px;
	line-height: 15px;
	font-family: Verdana,Geneva,Arial,Helvetica,sans-serif;
	text-align:right;
	text-decoration:none;
	font-weight: bold;
	font-style: normal;
	font-variant: normal;
	padding-left: 8px;
	padding-right: 8px;
	padding-bottom: 2px;
	margin-left: 5px;
	margin-right: 5px;
	border-right: 1px solid silver;
	border-bottom: 1px solid silver;
	display: block;
}


#menu a:hover {
	color: yellow;
	background-color: #000080;
}

#menu a.back {
	color: blue;
}

#menu a.back:hover {
	color: white;
}

#menu .menutitle {
	margin: 2px;
	padding-right: 6px;

	font-size: 16px;
	font-weight: bold;
	color: gray;
	display: block;
	background-color: white;
	border: 0;
	padding-bottom: 10px;
}