#menu9 ul {margin:0; padding: 5px 0;}
#menu9 ul li {display:inline; list-style-type: none;}
#menu9 ul li a:link, #menu9 ul li a:visited { background-color: darkgreen; color:black;text-decoration:none; padding: 5px; border: .2em outset gray; }
#menu9 ul li a:hover { background-color: blue; color:white; border: .2em inset gray; } 
#menu9 ul li a#current11 { background-color:blue; border-bottom: 5px groove blue;}