#mainMenu {
  border: 0px #CCC solid;
  color: #000;
  width: 140px;
; clip:  rect(   ); background-image: url(images/gray_gradient_bg_dk.jpg); padding-left: 3px}

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

li.menubar {
  font-size: 12px;
  line-height: 1em;
  list-style: url(/images/plus.gif) none;
}

.menu {
  display: none;
  margin-left: 15px;
  padding: 0px;
}

.menu li {
  list-style: url(/images/square.gif) none;
}

a.actuator {
  background-color: transparent;
  color: #CCCCCC;
  font-size: 11px;
  text-decoration: none;
; font-family: Arial, Helvetica, sans-serif; font-weight: bolder; border-color: black black #CCCCCC; border-bottom-width: 1px}

a.actuator:hover {
  text-decoration: none;
; color: #FFFFFF}

.menu li a {
  background-color: transparent;
  color: #CCCCCC;
  font-size: 11px;
  text-decoration: none;
; font-family: Arial, Helvetica, sans-serif; font-weight: bolder}

.menu li a:hover {
  border-bottom: 1px dashed #000;
; color: #FFFFFF}

span.key {
  text-decoration: underline;
}.bottom_nolink { font-family: Arial, Helvetica, sans-serif; font-size: 9px; font-weight: normal; color: #FFFFFF; text-decoration: none }