body, div, p, th, td, li {
    font-family: Arial, Geneva, Helvetica, sans-serif;
    }
body {
    
    background-color: #fffff8;
    color: black;
    margin: 0.2em 0.5em 1em 0.5em;
    padding-top: 4px;
    }

.mxc {
    max-width: 754px;
    margin-left: auto; margin-right: auto;
    }
h1, h2, h3, h4 {
    line-height: normal;
}
p, li, td {
    line-height: 125%;
}
h1 {
    text-align: center;
    font-size: 1.6em;
    }
h2 {
    background-color: #e8e8e8;
    margin-left: -0.25em;
    padding-left: 0.25em;
    font-size: 1.2em;
    }
h3 {
    font-size: 1em;
    margin-bottom: 0;
    font-weight: bold;
    }
h4 {
    font-size: 1em;
    }
.ft {
    font-size: 83%;
    }
a.nal {
    white-space: nowrap;
    }
.nbx a.nal {
    color: black;
    }

.nol {
    white-space: nowrap;
    font-weight: bold;
    color: #666;
    }
a.el {
    background-color: #efffff;
    }

.bt {
    margin: 0;
    padding: 0;
    }

.tc {
    margin: 0;
    padding: 0.5em 1em;
    }

.tb {
    margin: 0;
    padding: 1em 2em 1.5em;
    }

.tic {
    padding: 0;
    margin: 0;
    }
.tic h1 {
    line-height: 150%;
    margin-top : 0;
    margin-bottom : 0;
    }

pre.kd {
    margin: 1em 1em 1em 1em;
    font-size: 83%;
    font-family: Courier, monospace;
    }
ul {
    margin-left: 0.7em;
    padding-left: 0.7em;
    }
ul {
    list-style-type: square;
    }
ul ul {
    list-style-type: disc;
    }
ul ul ul {
    list-style-type: circle;
    }
li {
    margin-bottom: 0.4em;
    }
code {
    color: black;
    background-color: #eee;
    font-family: Courier, monospace;
    }
.sbl {
    text-align: center;
    padding: 0.2em;
    }
.hide { display: none; }
.upd { font-size: 0.8em; }
.upd2 { font-size: 0.8em; text-align: right; }
.hr { font-size: 0.8em; text-align: right; clear: right; }
.hr a { color: black; }

blockquote { font-style: italic; }

.q { font-style: italic; }

    body.bkg {
    background-color: #e8e8e8;
    }
.nbx {
    background-color: #66ccff;
    color: black;
    padding: 4px;
    }
input {
    line-height: normal;
}
.bt {
    background-color: #fffff8;
    color: black;
    }
.gb {
    padding : 1em;
    }
div.tn {
    width: auto;
    float: right;
    clear: right;
    }
div.ic {
    background-color: #e8e8e8;
    font-family: Georgia, "Times New Roman", Times, "New York", serif;
    max-width: 100%;
    margin-top: 0;
    }