div.menu a.menuItem {
  font-family: inherit;
  font-size: 80%;
  font-style: normal;
  font-weight: normal;
  color: #b5b5b5;
}

div.menu {
  background-color: #b5b5b5;
  border-left: 1px solid #f4f4f4;
  border-top: 1px solid #f4f4f4;
  border-right: 1px solid #9d9d9d;
  border-bottom: 1px solid #9d9d9d;
  left: 0px;
  position: absolute;
  top: 0px;
  visibility: hidden;
  z-index: 101;
  width: 150px;
}

div.menu a.menuItem {
  display: block;
  text-decoration: none;
  border-bottom: 1px solid #9d9d9d;
  color: black;
}

div.menu a.menuItem {
  padding: 2px 1ex;
}

div.menu a.menuItem:hover, div.menu a.menuItemHighlight {
  color: white;
  background-color: #4b3757;
}