/*.vertical-menu a {
    background-color: #cccccc;
    color: black; 
    display: block;
    padding: 14px; 
    text-decoration: none; 
    font-family: Gill Sans, Helvética, Arial;
    border-radius: 5px;
    text-decoration: none;
}*/

.vertical-menu {
   /* padding: 20px 20px 10px 20px;*/
    overflow-y: auto;
    width: 100%;
    height: 470px;
    /*background-color: #cccccc;*/
    border-radius: 5px;
    text-decoration: none;

}
/*.vertical-menu li a:hover{
text-decoration: none;
background-color: #eeeeee;
padding: 10px 115px 10px 0px;
border-radius: 5px;
}

.vertical-menu li{
text-decoration: none;
background-color: #cccccc;

}*/