#mainMenu {
  color: #999999;
  width: 230px;
}
#menuList {
  margin: 0px;
  padding: 10px 0px 10px 0px;
  /* padding: 10px 0px 10px 0px; */
}
li.menubar {
	background: url(../images/ptos.gif) no-repeat;
	background-position: 3px 5px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
  list-style: none outside;
	padding-left: 0;
  margin: 4px 0 4px 0;
}
.menu {
  /* display: none; */
  margin: 8px 0 8px 0;
  padding: 0px;
}
.menu li {
  list-style: none outside;
  margin: 4px 0 4px 0;
}
a.actuator {
  background-color: transparent;
	color: #00044D !important;
	font-weight: bold !important;
  font-size: 12px;
	text-decoration: none !important;
  padding-left: 20px;
  text-decoration: none !important;
}
a.actuator:hover,
.menu li a:hover {
	color: #669933;
}
.menu li a {
  background-color: transparent;
  color: #999999 !important;
  font-size: 12px;
  padding-left: 18px;
  text-decoration: none !important;
  margin: 4px 0 4px 0;
}
span.key {
  text-decoration: underline;
}