div.menu {
    background-color: #093f76;
    color: white;
    left: 0px;
    position: absolute;
    top: 0px;
    visibility: hidden;
    z-index: 101;
    font-size: 80%;
    border: 1px solid white;
}

div.menu a {
    display: block;
    white-space: nowrap;
    padding: 1px 1em;
    color: white;
}

div.menu a:hover {
    background-color: #236590;
}