div.main_menu {
    float:none;
	width: auto;
	height: auto;
	font-size: 90%;
	vertical-align:middle;
	color: #93E2E6;
	font-weight: bold;
	padding-left: 200px;
	background-color: rgb(0, 126, 125);
}

#menu_buttons {
	padding-top: 5px;
	padding-bottom: 5px;
}

#menu_buttons a,
#menu_buttons a:hover {
	color: #93E2E6;
	text-decoration: none;
	margin-left: 5px;
}

#menu_buttons  a:hover {
	color: #93E2E6;
	text-decoration: underline;
	}