@charset "UTF-8";
h1 {
    border: double 6px;
    padding: 5px;
}
div.return {
    text-align: right;
}
h2 {
    border-bottom: solid 2px #666666;
    background-color: #EEEEEE;
    margin-left: 10px;
    margin-top: 2em;
    padding: 5px;
}
body.index dt {
    border-bottom: dashed 1px;
    margin-top: 10px;
    margin-left: 20px;
}
body.index dd dl {
    margin: 2px;
    background-color: #EFEFEF;
}
body.index dd dt {
    border-bottom: hidden;
    float: left;
    margin: 0 10px;
}
body.index dd dd {
    text-align: right;
}
h3 {
    border-bottom: dashed 1px;
    margin-left: 20px;
}
h4 {
    border-left: solid 5px #FF6600;
    background-color: #EFEFEF;
    padding-left: 5px;
    margin-left: 20px;
}
p {
    margin-left: 30px;
}
h5 {
    border-left: solid 2px #0066FF;
    padding-left: 5px;
    margin-left: 30px;
    margin-bottom: 2px;
}
table {
    margin: 2px auto 10px 30px;
    border-collapse: collapse;
    border-bottom: solid 1px;
}
td {
    border: solid 1px;
    border-bottom: none;
    padding: 5px;
}
th {
    border: solid 1px;
    background-color: #DDEEFF;
}
td.space {
    border-top: none;
    width: 10px;
}
address {
    border-top: solid 1px;
    margin: 30px 0 10px 0;
}
dl.example {
    margin: 0 0 0 30px;
}
dl.example dt {
    border: none;
    margin-left: 0;
}
dl.example dd {
    background-color: #EFEFEF;
    padding: 5px;
    margin-left: 1em;
}
dl.example dd pre {
    background-color: #F8F8F8;
    margin: 5px;
    padding: 5px;
    overflow: auto;
}
pre{
    border: dashed 1px #AAAAAA;
    margin-left: 40px;
    margin-right: auto;
    padding: 5px;
    background-color: #EEEEEE;
}
p.supplement {
    font-size: 80%;
    margin-left: 40px;
}