.menu
{
  width: auto;
  margin: auto;
  border: none;
  padding: 5px;

  font-family: verdana, arial, sans serif;
  font-weight: bold;
  font-size: 9pt;

  background-color: #AC8E74;

  text-align: center;
}
.menu .separator
{
  font-size: 1px;
  height: 6px;
}

.button
{
  margin: 2px 0px;
}
.button a
{
  display: block;
  text-align: center;
  text-decoration: none;
  padding: 4px;
  color: #800000;
  background-color: #FFFFFF;
  border: 2px solid #CCCCCC;
  border-bottom-color: #666666;
  border-right-color: #666666;
}
.button a:hover, .button a.pressed, .button a.pressed:hover
{
  text-indent: 5px;
  color: #5A4F45;
  background-color: #DFB794;
  border: 2px solid #666666;
  border-bottom-color: #CCCCCC;
  border-right-color: #CCCCCC;
}
.button a.pressed
{
  text-indent: 0px;
  background-color: #E4C4A4;
}

.hide
{
  display: none;
}
.show
{
  display: block;
}