div.menu {
  font-family:Verdana, Helvetica, Arial, sans-serif;
  font-size:8pt;
  font-weight:400;
  width:150px;
  background:#ffffff;
  padding:10;
}

div.menu a {
  display:block;
  padding:6px 6px 6px 6px;
  margin:0px;
  width:100%;
  text-decoration:none;
}

div.menu a:hover {background:#eeeeff;color:#000000;text-decoration:none;}
div.menu a:visited {color:#0000ff;text-decoration:none;}