font-family: Verdana,  Helvetica, sans-serif;
font-size: 20px;
background: #0000EE;
}
#vertical_menu {
border: 1px dotted blue;
background-color: #0000FF;
margin: 5px;
padding: 5px;
    font-size: 20px;}
#vertical_menu ul{display: block;margin: 0 0 0 0;padding: 0 0 0 0;list-style-type: none;}

#vertical_menu li {
list-style: none;
margin: 5px;
}
#vertical_menu li a {
text-decoration: none;
color: #0000FF;
font-size: 20px;
}
#vertical_menu li a:hover {
text-decoration: underline;
}