table {
    color: inherit;
}
table.brews {
    border-color: #909000;
    border-width: 2px;
    border-style: solid;
    border-collapse: collapse;
    font-size: small;
}
table.brews thead {
    border-color: #909000;
    border-width: 2px;
    border-style: solid;
}
table.brews thead td,th {
    border-color: #909000;
    border-width: 0 1px 0 1px;
    border-style: solid;
    padding: 0 0.15em 0 0.15em;
    text-align: center;
}
table.brews tbody td {
    border-color: #909000;
    border-width: 0 1px 0 1px;
    border-style: solid;
    padding: 0 0.15em 0 0.15em;
}
table.brews tbody td.num {
    text-align: center;
}
table.brews tbody td {
    text-align: ".";
}
body {
    background-color: #d0d060;
    color: black;
    margin: 0.25em;
}
div.body {
    border-color: #909000;
    border-width: 1px;
    border-style: solid;
    margin-left: 9.5em;
    margin-bottom: 0.25em;
    background-color: #f8f870;
    color: #505000;
    padding: 6px;
    padding/**/: 0.5em; /* fooling IE, does do 6px but screws up with 0.5em */
}
div.content {
    margin: 0.25em 0em 0.25em 0em;
    border-width: 0;
}
div.pageheader {
    border-color: #909000;
    border-width: 1px;
    border-style: solid;
    background-color: #303000;
    color: #606000;
    margin: 0.25em 0 0 0;
    padding: 0.5em;
}
div.pageheader span {
    background-color: #303000;
    color: #606000;
}
div.pageheader span a {
    background-color: inherit;
    color: #808000;
    text-decoration: none;
}
div.pageheader span span a {
    background-color: inherit;
    color: black;
    text-decoration: none;
}
div.head {
    border-color: #909000;
    border-width: 1px;
    border-style: solid;
    background-color: #606000;
    color: #606000;
    margin: 0.25em 0 0 0;
    padding: 0.5em;
    text-align: center;
}
h1 {
    background-color: #606000;
    color: #f8f870;
    padding: 0.05em;
    border-style: solid;
    border-width: 1px;
    border-color: #909000;
    text-align: center;
    margin-top: 0;
}
h2 {
    background-color: #ffd840;
    color: #505000;
    padding: 0em 0.5em 0em 0.5em;
    border-style: solid;
    border-width: 1px;
    border-color: #909000;
    font-size: medium;
    margin-top: 1.5em;
}
code {
    background-color: inherit;
    color: #504030;
}
pre {
    background-color: #fff0b0;
    color: black;
}
pre.code {
    background-color: #fffdc8;
    color: #504030;
    margin-left: 2em;
    margin-right: 2em;
    padding: 0.5em;
}
div.menubar {
    border-color: #909000;
    border-width: 1px;
    border-style: solid;
    background-color: #f8f870;
    color: gray; /* not used */
    width: 8em;
    position: fixed;
    float: left;
    right: auto;
    padding: 0.5em;
    font-weight: bold;
}
span.button-down {
    display: block;
    background-color: inherit;
    color: #d0d000;
    padding: 0.5em;
}
span.button-up {
    padding: 0.5em 0 0.5em 0;
}
span.button-up a {
    display: block;
    padding: 0.5em;
}
span.button-up a {
    background-color: inherit;
    color: #808000;
    text-decoration: none;
}
span.button-up a:visited {
    background-color: inherit;
    color: #a0a000;
}
span.button-up a:hover {
    color: #f8f870;
    background-color: #606000;
}
table.menubar {
    border-style: solid;
    border-width: 1px;
    border-color: #909000;
}
td.button-down {
    background-color: #303000;
    color: #606000;
    font-weight: bold;
    border-style: inset;
    border-width: 2px;
    border-color: #303000;
    text-align: center;
}
td.button-up {
    background-color: #303000;
    color: #d0d000;
    font-weight: bold;
    border-style: outset;
    border-width: 2px;
    border-color: #303000;
    text-align: center;
}
td.button-up a {
    background-color: #303000;
    color: #d0d000;
    text-decoration: none;
}
td.button-up a:visited {
    background-color: #303000;
    color: #d0d000;
    text-decoration: none;
}
td.button-up a:hover {
    background-color: #303000;
    color: #f8f870;
}
a {
    background-color: inherit;
    color: #808000;
}
table.brews tbody td a {
    color: #505000;
}
a:visited {
    background-color: inherit;
    color: #a0a000;
}
a:hover {
    color: #f8f870;
    background-color: #606000;
}
hr.sep {
    width: 25%;
    height: 2px;
    background-color: #606000;
    color: #606000;
    border-style: solid;
}