body {
  margin: 0;
}
#menuBar {
  background-color: buttonface;
  border-style: solid;
  border-width: 0px;
  border-top-color: buttonhighlight;
  border-top-width: 1px;
  border-bottom-color: buttonshadow;
  border-bottom-width: 1px;
  border-left-color: buttonhighlight;
  border-left-width: 1px;
  border-right-color: buttonshadow;
  border-right-width: 1px;
  color: #000000;
  padding: 0px;
  padding-top: 2px;
  padding-bottom: 3px;
  position: absolute;
  left: 0px;
  top: 0px;
  text-align: left;
  width: 100%;
  z-index: 100;
}

a.menuButton {
  border-style: solid;
  border-width: 1px;
  border-top-color: buttonface;
  border-right-color: buttonface;
  border-bottom-color: buttonface;
  border-left-color: buttonface;
  color: #000000;
  cursor: default;
  font-family: menu;
  font-size: 8pt;
  font-style: none;
  font-weight: bold;
  padding: 2px;
  padding-left: 6px;
  padding-right: 6px;
  text-decoration: none;
}

a.menuButton:visited {
  color: #000000;
}

a.menuButton:active {
  color: #000000;
}

a.menuButton:hover {
  border-style: solid;
  border-top-color: buttonhighlight;
  border-right-color: buttonshadow;
  border-bottom-color: buttonshadow;
  border-left-color: buttonhighlight;
  color: #000000;
  text-decoration: none;
}

.menu {
  background-color: buttonface;
  border-style: solid;
  border-width: 2px;
  border-top-color: buttonhighlight;
  border-right-color: buttonshadow;
  border-bottom-color: buttonshadow;
  border-left-color: buttonhighlight;
  padding: 2px;
  position: absolute;
  text-align: left;
  visibility: hidden;
  z-index: 101;
}

a.menuItem {
  color: #000000;
  cursor: default;
  display: block;
  font-family: menu;
  font-size: 8pt;
  font-style: normal;
  margin: 0px;
  padding: 2px;
  padding-left: 12px;
  padding-right: 12px;
  text-decoration: none;
  hr-color: buttonhighlight;
}

a.menuItem:visited {
  color: #000000;
  text-decoration: none;
}

a.menuItem:active {
  background-color: buttonshadow;
  color: #ffffff;
  text-decoration: none;
}

a.menuItem:hover {
  background-color: buttonshadow;
  color: #ffffff;
  text-decoration: none;
}