div.main_menu {
	float:none;
	width: auto;
	padding-bottom: 0px;
	padding-top: 0px;
	color: white;
	height: 20px;
	font-size: 90%;
	background-color: #013473;
	vertical-align:middle;
}

.main_menu a {
	color: white;
	text-decoration: none;
	margin-left: 20px;
	padding: 0px;
	
}

.main_menu a:hover {
	color: white;
	text-decoration: underline;
}



#menu_left {
	float:left;
	width:185px;
	margin:0; 
	padding:0;
	background-color:#9F0017;
	height:20px;
	border-right:1px solid white;
}
#menu_right {
	float:right;
/*	width:300px; */
	margin:0 0 0 0; 
	padding:2px 0 0 0;
}
	/*     top, right, bottom, left */
#menu_middle {
	margin: 0 300px 0 187px; 
	padding: 2px 0 0 10px;
	
}