.menu {
	background-color: #FF0000;
	margin: 0px;
	width: 750px;
	height: 20px;
	border: 0px solid #000000;
	display: block;
	padding: 0px;
	font-family: arial;
	font-size: 13px;
	font-weight: bold;
        list-style-type: none;
}

.menu .marker {
  background-color: #FFFFFF;
  color: #FF0000;
}


.menu li {
  float: left;
  border-right: 1px solid #FFFFFF; 
  display: block;
  white-space:nowrap;
}

.menu li, .menu a {
  text-align: center;
  color: #FFFFFF;
  width: 90px;
  height: 20px;
  display: block;
}

.menu a {
  padding-top: 2px;
  margin-bottom: -2px;
  text-decoration: none;
  height: 18px;
  color: #FFFFFF;
}

.menu li a:visited {
  color: #FFFFFF; 
}

.menu li .marker:visited {
  color: #FF0000; 
}

.menu li a:hover, .menu li .marker:hover {
  background-color: #000000;  
  text-decoration: underline;
  color: #FFFFFF;
}