div#menu {
    margin-top: 100px;
    height: auto;
    width: 10em;
    float: left;
}
div#menu li {
    height: 37px;
    width: 185px;
    margin: 7px;
    font-family: Arial, Helvetica, sans-serif;
    font-size: small;
    text-align: center;
    line-height: 200%;
    list-style-type: none;
    background-image: url(buidln/buttonface_up.png);
    background-repeat: no-repeat;
}
div#menu li a {
    display: block;
    width: 100%;
    height: 100%;
    text-decoration: none;
}
div#menu li a:link {
    color: blue:
}
div#menu li a:visited {
    color: #900;
}
div#menu li a:hover {
    background-image: url(buidln/buttonface_down.png);
    background-repeat: no-repeat;
    text-decoration: underline;
    color: blue;
}

div#menu li a:active {
    text-decoration: underline;
    color: blue;
    background-image: url(buidln/buttonface_down.png);
    background-repeat: no-repeat;
}