div.menu {
    text-align: left;
    font-family: helvetica, verdana, arial;
    font-weight: 700;
    font-size: 10px;
    margin-top: 10px;
}

div.menu a  {
     display: block;
     text-decoration: none;
     padding: 4px;
}

div.menu a:active  {
     display: block;
     text-decoration: underline;
}

div.menu ul {
    list-style: none;
    margin: 0px;
    padding-left: 0px;
}

div.menu ul li {
    margin: 0px;
}

div.menu ul a:link,
div.menu ul a:active,
div.menu ul a:visited {
    background-color: white;
    color: black;
    border-bottom: 1px solid #888888;
    text-decoration: none;
    display: block;
    padding-top: 1px;
    padding-bottom: 2px;
}

div.menu ul a:hover {
    background-color: #386945;
    color: white;
}