body {
    background-color: #fff;
    margin: 0;
    padding: 0;
}

#title {
    color: #acf;
    margin: 0pt 8pt;
    text-align: right;
}

ul#menu {
    margin: 1em 10% 0em 10%;
    padding: 0pt 6pt 0pt 6pt;
    position: absolute;
    background-color: #bdf;
    font-size: 11pt;
    border: 1px solid #000;
    list-style-type: none;
}
#menu li {
    color: #007;
    padding: 6pt 0pt 6pt 0pt;
    float: left;
}
#menu a {
    color: #007;
    padding: 0pt 6pt 0pt 6pt;
    margin: 0;
    text-decoration: none;
    border-left: 1px solid #000;
}
#menu a.active {
    font-weight: bold;
    color: #007;
}

#content {
    padding: 12pt 14pt;
    margin: 2em 5% 2em 5%;
    width: 35em;
    border: 2px solid #000;
    background-color: #ffc;
    color: #000;
}
#content p, #content li, #content pre {
    font-size: 10pt;
    line-height: 11pt;
    margin: 10px 16px;
    padding-left: 16px;
    text-align: left;
}
#content pre {
    margin: 8px 30px;
    padding: 2px 2px;
    border: 1px solid #008;
    background-color: #fff;
}
#content li {
    padding-left: 5pt;
}
#content ul {
    list-style-type: circle;
}
#content h1 {
    border-bottom: 1px solid #410;
    font-size: 1.3em;
    margin: 18px 0 12px 0;
    padding-left: 16px;
}
#content h2, #content h3 {
    font-size: 1em;
    letter-spacing: 1px;
    margin: 8px 0 0 16px;
}
#content h3 {
    font-size: .8em;
}
#content a {
    color: #00e;
    text-decoration: none;
}
#content a:visited {
    color: #518;
}
#content a:hover {
    color: #e00;
}
#content a.old {
    color: #aae;
}
#content div.remark {
    font-size: 8pt;
    color: #aaa;
}
#content p.quotation {
    padding-left: 32px;
    color: #666;
}