/**************************************************************************/
/* Horizontal menu
/**************************************************************************/

div#horizontalmenu {
}

div#horizontalmenu ul {
  margin:0;
  padding:0;
  padding-top:5px;
  padding-bottom:5px;
  list-style:none;
  white-space:nowrap;
  background-color:RGB(219,213,175);
  border-bottom:1px solid RGB(160,160,160);
  border-top:1px solid RGB(160,160,160);
}

div#horizontalmenu ul li {
  margin:0;
  display:inline;
}

div#horizontalmenu ul li.first {
  display:none;
}

div#horizontalmenu ul li a {
  padding-top:5px;
  padding-bottom:5px;
  padding-left:10px;
  padding-right:10px;
  color:RGB(115,23,14);
  border-right:1px solid RGB(160,160,160);
  font-size:10pt;
}

div#horizontalmenu ul li a.hidden {
  color:RGB(190,190,190);
}

div#horizontalmenu ul li a.current {
  background-color:RGB(115,23,14);
  color:white;
  font-weight:bold;
}