body {
  font-family: verdana, helvetica, arial, sans-serif;
  margin: 0px;
  padding: 0px
}
.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: #ed4300; text-decoration: none; background-color: transparent; margin: 0; padding: 0.5px 1px 1px 0  }

a.actuator:hover  { color: #ea0000 ; }

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

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

span.key  { text-decoration: underline }
#mainMenu    { color: #000; text-align: left; position: relative; float: left; margin-top: 12px; margin-right: 0; margin-bottom: 1px; border-style: none      }