body {
    text-align: center;
    font-style: normal;
    font-variant: normal;
    font-weight: normal;
    font-size: 10pt;
    line-height: 125%;
    font-family: monospace;
    background-color: #778899;
}
#page {
    margin: auto;
    padding: 0%;
    padding-bottom: 2em;
    max-width: 600px;
    background-color: #FFFFFF;
    border: 1px solid #B2B2B2;
    border: 1px solid #000000;
}
#logo {
    float: left;
    margin: 1ex; margin-bottom: 2ex;
    background-color: #778899;
}
#css2 {
    margin-top: 1ex;
}
#xhtml {
    margin-top: 1ex;
}
#menu {
    clear:left;
    padding-left: 1ex;
    padding-right: 1ex;
    text-align: left;
    line-height: 150%;
    background-color: #E4E4E4;
    border-top: 3px double #B2B2B2;
    border-bottom: 1px solid #B2B2B2;
}
#menu a {
    padding: .5ex 1ex;
    color: black;
    font-weight: bold;
    text-decoration: underline;
}
#menu b {
    padding: .5ex 1ex;
    color: black;
    font-weight: bold;
}
#menu a:hover {
    color: blue;
    text-decoration: underline;
}