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

div#horizontalmenu {
  font-size:10pt;
}

div#horizontalmenu ul {
  margin:0;
  padding:0;
  list-style:none;
  white-space:nowrap;
  padding-top:5px; /* to match li below */
  padding-bottom:5px; /* to match li below */
  border-bottom:1px solid RGB(160,160,160);
  border-left:1px solid RGB(160,160,160);
}

div#horizontalmenu ul li {
  margin:0;
  display:inline;
  border-left:none;
}

div#horizontalmenu ul li a {
  padding-top:4px;
  padding-bottom:5px;
  padding-left:10px;
  padding-right:10px;
  color:black;
  border:1px solid RGB(160,160,160);
  border-left:none;
  background-color:RGB(220,220,220);
}

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

div#horizontalmenu ul li a.current {
  border-bottom:1px solid white;
  background-color:white;
  font-weight:bold;
}