body {
    background-color: rgb(95%,95%,95%);
    color: black;
}

div.body {
    padding-left: 270px;
}

h1 {
    font: bold 20pt serif;
    text-align: center;
}

/* Menu Styles */
@media print {
    div.menu {
        visibility: hidden;
        height: 0;
        width: 0;
        overflow: hidden;
    }

    div.body {
        padding-left: 0;
    }
}

div.menu {
    overflow: visible;
    color: white;
    background-color: rgb(90%,90%,90%);
    position: absolute;
    width: 250px;
    padding: 5px;
    top: 0;
    left: 0;
/*    border: 3px outset rgb(0, 0, 128); */
    margin: 5px;
}

table.menu {
    color: rgb(0, 0, 128);
    background-color: rgb(0, 0, 128);
    width: 100%;
}

table.menu tr td.header {
    background-color: rgb(192,192,255);
    color: rgb(0, 0, 128);
    text-align: center;
    font: bold 12pt serif;
    line-height: 1em;
    border: 5px ridge rgb(0, 0, 128);
}

table.menu tr td.menuitem {
    text-align: left;
    background-color: white;
    color: rgb(0, 0, 128);
    font-size: 8pt;
    font-family: sans-serif;
    padding-left: 1.5em;
    padding-right: 0.5em;
/*    border: 1px solid rgb(0, 0, 128); */
/*    border-bottom: 1px solid rgb(0, 0, 128); */
}

table.menu tr td.menuitem a {
    background-color: white;
    color: rgb(0,0,128);
    font: bold 10pt serif;
    margin-left: -1em;
    margin-right: -1em;
}

table.menu a:link, table.menu a:visited {
    background-color: transparent;
}

table.menu tr td.menuitem a:hover {
    background-color: rgb(192,192,255);
}