@charset "UTF-8";

.menu-container {
	text-align:center;
	margin-top:2em;
	margin-bottom:-1.5em;
}

.menu-link {
	display:inline-block;
	padding-left:3em;
	font-size: 1em;
	cursor:pointer;
	text-decoration: none;
	font-family: Arial;
	color: #00609F;
}

#PythonBindings {
	padding-left:0 !important;		// no padding for the leftmost menu element
}

.menu-link:hover {
    text-decoration: underline;
}

.menu-link:active{
    text-decoration: underline;
}

.menu-link:focus {
    text-decoration: underline;
}

.menu-hr {
	text-align:center;
	height:1px;
	width:71%;
	border:none;
	background-color: #999999;
}