body {
    background-color: #8a8784;
    color: #000000;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 2em;
    margin-right: 2em;
}

h1.section {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

a {
    text-decoration: none;
    color: #113377;
}

a:visited {
    color: #113377;
}    

a:hover {
    text-decoration: underline;
}

table.topbar {
    font-size: 120%;
    margin-bottom: .5em;
    padding: 0;
    background-color: #8a7774;
    border: 1px solid #000000;
    width: 100%;
}

table.topbar a.topbar {
    color: #000000;
}

#menu a.plain {
    color: #000000;
    font-weight: normal;
    border: 0;
    padding: 0;
}

#menu a:hover.plain {
    text-decoration: underline;
}

table.topbar th.left {
    text-align: left;
}

table.topbar th.right {
    text-align: right;    
}

#content {
    padding-left: 11em;
}

#menu {
    float: left;
    font-size: 80%;
    background-color: #8a7774;
    border: 1px solid #000000;
    padding: .5em 1em 1em .5em;
    display: inline;
    white-space: nowrap;
    width: 10em; /* IE 5 Mac */
    position: absolute; /* IE 5 Mac */
}

#menu ul.menulist {
    list-style-type: none;
    /*padding: 0 0 0 1em;*/
    margin-left: 1em;
    margin-right: 0;
    margin-bottom: 1em;
    margin-top: 0;
    padding: 0;
    border-top: 1px solid #000000;
/*
    border-left: 1px solid #000000;
    border-right: 1px solid #000000;
*/
    display: block;
    background-color: #8a8784;
}

#menu ul.menulist li {
    display: inline; /* IE 6 Windows */
    margin: 0;
    padding: 0;
    background-color: #8a8784;
/*    border-bottom: 1px solid #000000;*/
}

#menu ul.menulist li a {
    display: block;
    color: #113377;
    background-color: #8a8784;
    text-decoration: none;
    vertical-align: middle;
    padding: .5em;
/*    border-bottom: 1px solid #000000;*/
    border-bottom: 1px solid #000000;
    border-left: 1px solid #000000;
    border-right: 1px solid #000000;
    margin: 0;
    width: 8em; /* IE 6 Windows */
}

#menu ul.menulist li a.selected {
    background-color: #999999;
}

#menu ul.menulist li a:hover {
    background-color: #999999;
}

hr {
    color: #000000;
}

img {
    border: 0;
}

#center {
    text-align: center;
}

pre {
    background-color: #aaa7a4;
}

code {
    background-color: #aaa7a4;
}