/**************************************************************************/
/* Vertical menu
/**************************************************************************/

div#verticalmenu {
  font-size:8pt;
}

div#verticalmenu ul {
  margin:0;
  padding:0;
  margin-right:20px;
  list-style:none;
  white-space:nowrap;
}

div#verticalmenu ul li {
  margin:0;
  padding:0;
  line-height:18px;
  border-bottom:1px solid RGB(225,234,245);
}

div#verticalmenu ul li.current {
  /*background:RGB(225,234,245);*/
}

div#verticalmenu ul li a {
  display:block;
  padding:2px;
  padding-left:15px;
  color:RGB(37,83,135);
  font-weight:bold;
}

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

div#verticalmenu ul li a.current {
}