#content_nav {
  color: #CFA924;
  background-color: transparent;
  text-align: center;
  border: 0px;
  float: left;
  height: 30px; /* IE5Xwin sees this (standards height plus padding and border on top and bottom) */
  margin: 0px;
  margin-top: 10px;
  padding: 0px;
  padding-top: 5px;
  width: 900px; /* IE5Xwin sees this (standards width plus padding and border on left and right)*/
  voice-family: "\"}\"";
  height: 25px; /* standards height */
  voice-family: inherit;
  width: 900px; /* standards width */
}
html>body #content_nav {
  heigth: 25px; /* standards height reinforcement */
  width: 900px; /* standards width reinforcement */
}

a.menu {
  font-weight: normal;
  color: #fff;
  background: #800000;
  border-right: 1px solid #FFFFFF;
  margin: 0px 0px;
  padding: 7px 10px;
  text-decoration: none;
}

a.menu:hover {
  font-weight: normal;
  color: #ffffff;
  background: #000080;
  margin: 0px 0px;
  padding: 7px 10px;
  text-decoration: none;
}

a.menu:active {
  font-weight: normal;
  color: #ffffff;
  background: #000080;
  margin:0px 0px;
  padding: 7px 10px;
  text-decoration: none;
}