#navigation {
    position: absolute;
    left: 0;
    top: 0;
    width: 12em;
    font-size: 80%;
    padding-left: 1%;
    padding-right: 1%;
    margin-left: 0;
    margin-right: 0;
}
#main {
    margin-left: 11em;
    padding-left: 1em;
    padding-right: 1em;
}
table.menu {
    margin: 1em;
    padding: 2px;
    width: 100%;
    border-width: medium;
    border-style: solid;
    border-color: #000000;
}
tr.menu-header {
    background: #99CC99;
}
td.menu-header {
    padding-left: .5em;
    padding-right: .5em;
    font-size: 125%;
}
H1 {
    background: #FFFFCC;
    border-style: solid;
    border-width: medium;
    padding-left: .5em;
    width: 8em;
}
