/* These id's are static, so keep the same names */
#menuDiv {
  background-color: white;
  border: 1px solid #CCC;
  font-family: verdana;
  color: #000;
  width: 203px;
}

#menuList {
  margin: 0px;
  font-family: verdana;
  padding: 10px 0px 10px 15px;
}

li.menubar {
  font-size: 12px;
  font-family: verdana;
  line-height: 1.5em;
  list-style: none outside;
}

.menu, .submenu {
  display: none;
  font-family: verdana;
  margin-left: 15px;
  padding: 0px;
}

.menu li, .submenu li {
  background: url() no-repeat 0em 0.3em; 
  font-family: verdana;
  list-style: none outside;
}

a.actuator {
  background-color: transparent;
  font-family: verdana;
  color: #000;
  font-size: 13px;
  padding-left: 15px;
  text-decoration: none;
}

a.actuator:hover {
  text-decoration: none;
  font-family: verdana;
  color: blue;
  font-weight: normal; 
}

.menu li a, .submenu li a {
  background-color: transparent;
  font-family: verdana;
  color: #000;
  font-size: 12px;
  padding-left: 15px;
  text-decoration: none;
}

.menu li a:hover, submenu li a:hover {
  text-decoration: none;
  font-family: verdana;
  color: blue;
  font-weight: normal;
}

span.key {
  text-decoration: underline;
}