body {
  margin: 0px;
  padding: 0px
}

#mainMenu 
{
  position: relative;
  background-color: #797B8A;
  color: #000;
  margin: 0px;
  padding: 0px 0px 0px 20px;
}

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

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

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

a.actuator {
  background-color: transparent;
  color: #FFF;
  font-size: 11px;
  margin: 0px;
  padding: 3px 6px;
  text-decoration: none;
}

a.actuator:hover {
  background-color: #9F9FA9;
  color: #EEE;
}

.menu {
  color: #000;
  background-color: #797B8A;
  border: 1px solid #CCC;
  position: absolute;
  visibility: hidden;
}

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

.menu li a:hover {
  background-color: #9F9FA9;
  color: #EEE;
}

span.key {
  text-decoration: underline;
}