.menu {
  background-color:white;
  background-repeat:repeat-y;
  background-position:top left;
  background-image:url(../pictures/menu/menu_marker_invisible.gif);
}

.menu_over {
  color:white;
  background-color:#525252;
  cursor:pointer;
  font-size:10pt;
  background-repeat:repeat-y;
  background-position:top left;
  background-image:url(../pictures/menu/menu_marker.gif);
}

.menu_active {
  color:white;
  background-color:#525252;
  cursor:pointer;
}