/* just basic text formatting - nothing special */
	#menucontainer {
	position: relative;
	float: right;
	color: #fff;
	padding-right: 10px;
	}
	#menubar {
		right: 1px;
		top: 1px;
		background-color:#8CB9F4;
		padding:2px;
	}
	#menubar a {
		color:#fff;
		letter-spacing:1px;
		padding-left:5px;
		padding-right:5px;
		text-decoration:none;
		font-weight: bold;
	}
	#menubar a:hover {
		color: #334F8C;
	}
	#menubar a.active {
		border-bottom-color:#CCC599;
		border-right-color:#CCC599;
		border-left-color:#FFFFFF;
		border-top-color:#FFFFFF;
	}
	.menu .options {
		margin-right:1px;
		margin-bottom:1px;
		background-color:#fff;
	}
	.menu a {
		color:#1f5aa8;
		display:block;
		padding:3px 10px;
		text-decoration:none;
		background-color:transparent;
	}
	.menu a:hover {
		background-color:#8CB9F4;
		color:#fff;
	}