  #menu_is a, #menu_is a:visited
  {
  text-decoration:none; 
  text-align:center; 
  background-color:#0000FF; 
  color:#ffffff;
  font-weight:bold;
  font-size:75%;
  display:block; 
  width:10em; 
  border:1px solid #000000;
  border-color:#000000;
  padding:0.25em;
  margin:0.2em auto;
  }

#menu_is a:hover
{
  top:2px;
  left:2px;
  color:#ffffff;
  background-color:#99CCFF; 
  }
