div.menu {
	font-size: 10pt;
	background: white;
	height: 25px;
	position: relative;
	top: 0px;
	left: 0px;
}


.menu0o, .menu0oh {
	padding-left: 5px;
}

.menu0o {
	background: white;
	border-left: 10px solid white;
}

.menu0oh {
	border-left: 10px solid rgb(212,85,0);
	background: rgb(240,235,230);
}
.menu1o, .menu1oh {
	padding: 2px 4px 0px;
}
.menu1o {
	background: rgb(176,166,150);
	border-left: 10px solid rgb(90,143,124);
}
.menu1oh {
	background: rgb(240,235,230);
	border-left: 10px solid rgb(212,85,0);
}