#mainMenu {
	color: #444;
	margin: 0px;
	padding: 0px 0px 0px 10px;
}

#menuList {
	margin: 0px;
	padding: 0px;
}

#menuList ul {
	margin: 0px;
	padding: 0px;
}

#menuList li {
	display: inline;
	list-style: none;
}

a.actuator {
	background-color: transparent;
	color: #444;
	font-size: 12px;
	margin: 0px;
	text-decoration: none;
}

a.actuator:hover {
	color: #1B4196;
}

.menu {
	color: #000;
	background-color: #EEE;
	border: 2px solid #CCC;
	position: absolute;
	visibility: hidden;
}

.menu li a {
	background-color: transparent;
	color: #000;
	display: block;
	font-size: 12px;
	line-height: 1.75em;
	margin: 0px;
	padding: 0px 10px;
	text-decoration: none;
}

.menu li a:hover {
	background-color: #ddd;
	color: #D88E31;
}

span.key {
	text-decoration: underline;
}

#navMenu { width: 170px; }