#mainMenu {
  /*background-color: #EFEBEF;*/
  /*border: 1px solid #CCC;*/
  color: #000;
  margin: 0px;
  padding: 0px 0px 2px 10px;
}
#mainMenutemp {
  background-color: #EFEBEF;
  border: 1px solid #CCC;
  color: #000;
  margin: 0px;
  padding: 0px 0px 2px 10px;
}
#menuList {
  margin: 0px;
  padding: 0px;
}

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

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

a.actuator {
  background-color: transparent;
  font-family: verdana, helvetica, arial, sans-serif;
  color: #000;
  font-size: 8pt;
  margin: 0px;
  padding: 0px 40px;
  text-decoration: none;
}
a.actuator:hover {
  /*background-color: #CCFF33;*/
  color: #669900;
}
.menu {
  color: #000;
  background-color: #EFEBEF;
  border: 1px dashed #CCC;
  position: absolute;
  visibility: hidden;
}
.menu li a {
  font-family: verdana, helvetica, arial, sans-serif;
  background-color: transparent;
  color: #000;
  display: block;
  font-size: 8pt;
  line-height: 1.75em;
  margin: 0px;
  padding: 0px 10px;
  text-decoration: none;
  text-align: left;
}
.menu li a:hover {
  background-color: #CCFF33;
  color: #FFF;
}
.menu ol a {
  font-family: verdana, helvetica, arial, sans-serif;
  background-color: transparent;
  color: #000;
  display: block;
  font-size:7pt;
  line-height: 1.5em;
  margin: 0px;
  padding: 0px 5px;
  text-decoration: none;
  text-align: left;
}
.menu ol a:hover {
  background-color: #CCFF33;
  color: #FFF;
}
.menutemp {
  position: absolute;
  visibility: hidden;
}