body {
  font-family: verdana, helvetica, arial, sans-serif;
  margin: 0px;
  padding: 0px
}

#mainMenu    { color: #000; text-align: left; position: relative; width: 750px; float: left; margin-top: 12px; margin-right: 0; margin-bottom: 1px; border-style: none      }
.menubar   { font-size: 100%; position: relative; float: left ; margin-right: 15px; }
#menuList {
  margin: 0px;
  padding: 0px;
}

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

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

a.actuator    { color: #4e6268; text-decoration: none; background-color: transparent; margin: 0; padding: 0.5px 10px 1px 0 }

a.actuator:hover   { color: #333 ; padding-right: 10px; }

.menu  { color: #000; visibility: hidden; position: absolute; width: 300px }
.menu li a      { color: #4e6268; font-size: 90%; line-height: 0.95em; text-decoration: none; letter-spacing: 0.03em; display: block; margin: 0; padding: 0 10px 0 0; width: 300px }

.menu li a:hover   { color: #333 }

span.key {
  text-decoration: underline;
}