/* Menu style sheet -=- Copyright 2005 Manuel M T Chakravarty
 */

h5.menu {
  margin: 1em 0 0 0.2em;
  color: black;
}

ul.menu {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  list-style-type: none;
}

.menu li {
  font: 15px Helvetica, sans-serif;
  margin: 0 .2em .2em .2em;
  padding: 0 0 0 .3em;
  border-left: orange .2em solid;
  color: white;
}

.menu li:visited {
  color: #444;
}

.menu li:hover { 
  border-left-color: black;
}

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

a.menu:visited { 
  color: white;
}