div#tabs {
  float:left;
  width:100%;
  font-size:130%;
  line-height:normal;
  margin-top: 4px;
  margin-bottom: 0px;
/*  border-bottom: solid 1px #aaa; */
}

div#tabs ul {
  margin:0;
  padding:0;
  list-style:none;
}

div#tabs li {
  font-weight: bold;
  font-size: 110%;
  float:left;
  margin-right:   0px;
  padding-left:   10px;
  padding-right:  10px;
  border-right: 1px solid #672517;
/*  background-color: #672517; */
  color: white; 
/*  color: #672517;*/
}

div#tabs a {
  font-weight: bold;
  display:block;
  text-decoration: none;
  color: white; 
/*  color: #672517;*/
}

div#tabs #current {
/*  background-color: #13395e; */
/*  color: white; */
  color: #672517;
}

div#tabs #current a {
/*  color: white; */
  color: #672517;
}

div#tabs li:hover, div#tabs li.over {
/*  background-color: #13395e; */
/*  color: white; */
  color: #672517;
}