@CHARSET "ISO-8859-1";
	
#menu_container {
	}

#menu {
	margin-top: 125px;
	float: right;
	padding-right: 3px;
	font-size: 1.3em;
	font-weight: bold;
	border-top: 2px solid #3c3c3c;
	margin-bottom: 0px;
	}
	
#menu li {
	list-style: none;
	display: inline;
	padding: 14px;
	}

#menu a {
	color: gray;
	}
	
#menu a:hover {
	color: #F07002;
	text-decoration: none;
	}

#active {
	color: #F07002;
	}