div.menu {
  font-family: Comic Sans MS, sans-serif;
}

div.menu td {
  padding-left: .6em;
  border-bottom: 1px dashed #999;
}

div.menu table tr:last-child > td {
  border-bottom: none;
}

div.menu a {
  text-decoration: none;
  color: black;
}

div.menu a:hover {
  background: url(/images/highlighting_menu.png) no-repeat center;
}

div.menu td.selected {
  font-weight: bold;
}