#mainMenu {
  color: #000;
  margin: 0px;
  padding: 0px;
}

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

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

#menuList li {
  display: list-item;
  list-style: none;
  white-space: nowrap;
}

.menutitle {
  color: #000;
  font-weight: bold;
  font-size: 9px;
  padding-left: 0px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-top: 1px solid #a1a5a9;
  border-bottom: 1px solid #a1a5a9;
  text-decoration: none;
  text-transform: uppercase;
  background-color: #eee;
}

.menu li a, .menu li a:visited {
  color: #000;
  display: block;
  font-size: 10px;
  padding-left: 15px;
  padding-bottom: 2px;
  padding-top: 2px;
  border-bottom: 0px solid #a1a5a9;
  text-decoration: none;
  white-space: nowrap;
  height: 1%;			// This is an IE specific hack to remove the weird IE padding.
}

.menu li a:hover, .current {
  color: #00F;
  background: #edf3fe; 
}

span.key {
  text-decoration: underline;
}