div.linkrev {
    white-space: nowrap;
}
div.linkrev div.pn {
    margin: 0.5em 0 0;
}
div.linkrev div.prev:before {
    content: "← ";
}
div.linkrev div.pn div.prev {
    display: inline;
    max-width: 50%;
    margin: 0.5em 2em 0;
}
div.linkrev div.pn div.next {
    display: inline;
    max-width: 50%;
    margin: 0.5em 2em 0;
}
div.linkrev div.next:after {
    content: " →";
}
.current {
    color: red;
    background: transparent;
    font-style: italic;
    font-weight: bold;
}
h1 {
    margin-top: 0;
    text-align: center;
    font-size: 200%;
}
h2 {
    margin-top: 1em;
    text-align: left;
    font-size: 144%;
}
h3 {
    margin-top: 1em;
    text-align: left;
    font-size: 110%;
}
p {
    margin: 0.3em auto;
    text-indent: 1em;
}
p.sp {
    margin-top: 1em;
}
em {
    color: blue;
    font-style: italic;
}
strong {
    color: red;
    font-weight: bold;
}
address {
    text-align: right;
}
ul {
    margin-top: 1em;
    width: 90%;
}
ul ul {
    width: auto;
    margin-top: auto;
}
li {
    line-height: 1.4em;
}
li + li {
    margin-top: 0.2em;
}
table {
    margin: 1em auto;
}
caption {
    color: black;
    background-color: #f0f0e0;
    margin: auto;
    font-size: 120%;
}
thead {
    color: red;
    background-color: white;
    font-weight: bold;
}
tfoot {
    color: blue;
    background-color: white;
    font-weight: bold;
}
tbody th {
    color: blue;
    background-color: #fcf8ff;
}
tbody td {
    color: black;
    background-color: #f8fcfc;
}
tbody td.subhead {
    color: red;
    background-color: white;
    text-align: center;
    font-weight: bold;
}
a img {
    border: blue solid 1px;
}
img[title] {
    cursor: help;
    border: red solid 1px;
}
 {
    font-weight: normal;
    text-decoration: underline;
}
a[title] {
    font-weight: bold;
}
a:link {
    color: blue;
    background-color: transparent;
}
a:visited {
    color: purple;
    background-color: transparent;
}
a:hover {
    color: red;
    background-color: #f0ffff;
}
a:active {
    color: red;
    background-color: transparent;
}
h2 a:link {
    color: #ffc0a0;
    background-color: #ffffd0;
}
h2 a:visited {
    color: #ffc0a0;
    background-color: #ffffd0;
}
h2 a:hover {
    color: red;
    background-color: #fff0ff;
}
h2 a:active {
    color: red;
    background-color: transparent;
}

/* special for plain */
body#plain {
    color: black;
    background-color: white;
}
body#plain h1 {
    color: #ffc0a0;
    background-color: #ffffd0;
}
body#plain h2 {
    color: #ffc0a0;
    background-color: #ffffd0;
}
body#plain h3 {
    color: black;
    background-color: #e8f8e8;
    line-height: 1.4em;
}
body#plain p {
    width: 95%;
    line-height: 1.2em;
}
body#plain div.p {
    color: black;
    background-color: #f8f8f8;
    margin: 1em 0;
}
body#plain div.p h3 {
    margin: 0 0 0.5em;
    font-style: italic;
}
body#plain div.p div.n {
    color: black;
    background-color: #f8fff8;
}
body#plain div.p div.s {
    color: black;
    background-color: #fffff8;
    border: black 1px solid;
    padding: 0.5em;
    height: 8em;
    overflow: auto;
}
body#plain div.p div.s h3 {
    margin: 0 0 8em;
}
body#plain div.p div.s h3.inner {
    margin: 0;
}
body#plain div.p li {
    line-height: 1em;
}
body#plain span.estimation {
    color: black;
    background-color: #e0fff0;
}
body#plain blockquote {
    margin: 1em 3em;
    padding: 0.5em;
    border: black 1px dashed;
    color: green;
    background-color: #fffff0;
}
body#plain blockquote pre {
    margin: 0;
}
body#plain p > q {
    color: #c00000;
    background-color: #ffffe0;
}
body#plain pre {
    color: black;
    background-color: #f0f8ff;
    margin: 1em 2em;
}

/* 以下、逐次雑記目次用 */
body#plain ul.yindex {
    list-style-type: none;
    font-size: 120%;
}
body#plain ul.yindex > li {
    margin-top: 0.5em;
    clear: left;
}
body#plain ul.mindex {
    list-style-type: none;
    font-size: 83%;
}
body#plain ul.mindex > li {
    margin: 0 0.5em 0.5em;
    border: blue 1px solid;
    padding: 0.1em;
    float: left;
}
body#plain ul.td {
    list-style-type: none;
    margin: 0;
    padding: 0;
}
body#plain ul.td > li {
    margin: 0.1em 0 0;
    padding: 0;
}
body#plain span.award {
    font-size: 80%;
}
body#plain hr {
    clear: left;
}

/* special for sakura*/
body#sakura {
    color: black;
    background-color: #ffe8ec;
}
body#sakura h1 {
    color: #ff80b0;
    background-color: #ffccd0;
}
body#sakura h2 {
    color: #8040e0;
    background-color: #ffd8dc;
}
body#sakura h3 {
    color: #d040d0;
    background-color: #ffd8d8;
}
body#sakura p {
    width: 85%;
    line-height: 1.4em;
}
body#sakura div.noticeArticle {
    margin: auto 2em;
}
body#sakura div.noticeArticle cite {
    color: black;
    background-color: #fff8e0;
}
body#sakura div.noticeArticle blockquote {
    margin: 0.5em 0 1em;
}
body#sakura div.noticeArticle pre {
    color: black;
    background-color: #fff8f0;
    margin: 0;
    white-space: pre;
    line-height: 1em;
}
body#sakura div.noticeArticle pre.header {
    border: teal 1px dashed;
}
body#sakura div.noticeArticle pre + pre {
    margin-top: 0.5em;
}
body#sakura div.noticeArticle pre + p {
    margin-top: 0;
    margin-bottom: 0;
}
body#sakura div.noticeArticle p {
    margin: 0 0 1em;
    width: 100%;
}
ul#contentsList {
    margin: 2em 0 1em 2em;
    width: auto;
    font-size: 110%;
}
span.date {
    color: red;
    background-color: transparent;
    font-size: 80%;
}
div#footer {
    float: left;
}
div#footer img {
    border-width: 0;
    vertical-align: middle;
}