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

.menu li { margin-bottom: 3px; }

.menu a:link, .menu a:visited 
{
    display: block;
    width: 150px;
    color: #ffffff;
    border-left: solid 3px #cccccc; /* the borders can be defined separately */
    border-top: solid 3px #eeeeee;
    border-right: solid 3px #888888;
    border-bottom: solid 3px #666666;
    background: #000064;
    text-align: center; 
    padding: 2px 3px 4px 3px; 
    text-decoration: none;
    font: 9pt Verdana, Arial, Helvetica, sans-serif;
}

.menu a:active, .menu a:hover {
    border-left: solid 3px #888888; 
    border-top: solid 3px #666666;
    border-right: solid 3px #cccccc;
    border-bottom: solid 3px #eeeeee;
    background: #000064;
    padding: 3px; /* this slightly changes the spacing of the text to help with the push effect */
}