div.popup {
  visibility: hidden;
  position: absolute;
  z-index: 100;
  margin-left: 3px;
  border-top: 1px solid #CCC;
  border-right: 1px solid #666;
  border-bottom: 1px solid #666;
  border-left: 1px solid #CCC;
  padding: 3px;
  background-color: #E5E5E5;
  font: 0.8em/1.5em Verdana, sans-serif;
}

div.popup a {
  white-space: nowrap;
}

  /* redefines #menubar in default.css */
#menubar {
  height: 25px;
  width: 750px;
  background: #666 url(../graphics/btn_menu_bg.gif);
}

td.menubtn {
  height: 25px;
  width: 139px;
}
