.documentation_page {
	display: inline-table;
	width: 80%;
}

#documentation_menu_list {	
	margin: 0px;
	padding: 0px;
	z-index: 30;
	text-align:center;
}

#documentation_menu_list li {
	cursor: pointer;
	margin: 0px;
	padding: 0px;
	display: inline-block;
	width: 150px;
	height: 20px;
	font: bold 11px arial;
	background: #b5b8ff;
	text-align: center;
	border-style: solid;
	border-color: #000000;
	border-bottom-color: transparent;
	border-width: 2px 0px 2px 0px;
}

#documentation_menu_list li.menu_enabled {
	background: #a2a0ff;
	border-color: #000000;
	border-width: 2px 0px 2px 0px;
}

#documentation_menu_list li.menu_enabled:hover {
	background: #8187f9;
}

#documentation_menu_list li:hover {
	background: #8187f9;
	border-bottom-color: #000000;
}