div#menu {
  width: 210px;          /* menu width */
  font-family : Verdana, sans-serif;
  font-size : 10pt;
  font-weight: normal;
  text-decoration : none;
}

div#menu ul {
  background-color: navy;
  list-style-type: none; /* get rid of the bullets */
  padding:0;             /* no padding */
  margin:0;              /* no margin for IE either */
}

div#menu ul li {
  margin: 0;
  padding: 0;
  background-color: navy;
  display:block;
  border-top: 1px solid white; /* lines */
}

div#menu ul li a {
  display: block;         /* lines extend to right, make area clickable */
  color: white;
  background-color: navy;
  padding: 3px 3px 3px 3px;
  margin:0;
  text-decoration: none;
  height:16pt;           /* hint for IE, alternatively remove whitespace from HTML */
}

div#menu ul li.leaf a {
  background-image: none;
  background-repeat: no-repeat;
}
 
/*
 * currently selected/active item
 */
div#menu ul li.active a {
  /* color: red; */           /* highlight text */
  background-image: url(../images/smallball.gif);
  background-repeat: no-repeat;
  background-position: 95% center;
  background-color: #D70000;
}
 
/*
 *  highlight just anchor tag portion of any link we're rolling over
 */
div#menu ul li a:hover {
  color: white;
  background-color: blue; /* rollover effect */
  /*
  background-image: url(../images/smallball.gif);
  background-repeat: no-repeat;
  background-position: right center;
  */
}