html {
    font-family: 'DejaVu Sans Mono', 'Courier New', monospace;
}

body {
    <!-- font-family: Open Sans, Arial; -->
    font-family: 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #454545;
    font-size: 14px;
    margin: 2em auto;
    max-width: 1200px;
    padding: 1em;
    line-height: 1.4;
    text-align: justify;
    hyphens: auto;
}
html.contrast body {
    color: #050505;
}
html.contrast blockquote {
    color: #11151a;
}
html.contrast blockquote:before {
    color: #262626;
}
html.contrast a {
    color: #0051c9;
}
html.contrast a:visited {
    color: #7d013e;
}
html.contrast span.wr {
    color: #800;
}
html.contrast span.mfw {
    color: #4d0000;
}
@media screen and (prefers-color-scheme: light) {
    html.inverted {
        background-color: #000;
    }
    html.inverted body {
        color: #d9d9d9;
    }
    html.inverted div#contrast,
    html.inverted div#invmode {
        color: #fff;
        background-color: #000;
    }
    html.inverted blockquote {
        color: #d3c9be;
    }
    html.inverted blockquote:before {
        color: #b8b8b8;
    }
    html.inverted a {
        color: #00a2e7;
    }
    html.inverted a:visited {
        color: #ca1a70;
    }
    html.inverted span.wr {
        color: #d24637;
    }
    html.inverted span.mfw {
        color: #b00000;
    }
    html.inverted.contrast {
        background-color: #000;
    }
    html.inverted.contrast body {
        color: #fff;
    }
    html.inverted.contrast div#contrast,
    html.inverted.contrast div#invmode {
        color: #fff;
        background-color: #000;
    }
    html.inverted.contrast blockquote {
        color: #f8f6f5;
    }
    html.inverted.contrast blockquote:before {
        color: #e5e5e5;
    }
    html.inverted.contrast a {
        color: #44c7ff;
    }
    html.inverted.contrast a:visited {
        color: #e9579e;
    }
    html.inverted.contrast span.wr {
        color: #db695d;
    }
    html.inverted.contrast span.mfw {
        color: #ff0d0d;
    }
}
@media (prefers-color-scheme: dark) {
    html:not(.inverted) {
        background-color: #000;
    }
    html:not(.inverted) body {
        color: #d9d9d9;
    }
    html:not(.inverted) div#contrast,
    html:not(.inverted) div#invmode {
        color: #fff;
        background-color: #000;
    }
    html:not(.inverted) blockquote {
        color: #d3c9be;
    }
    html:not(.inverted) blockquote:before {
        color: #b8b8b8;
    }
    html:not(.inverted) a {
        color: #00a2e7;
    }
    html:not(.inverted) a:visited {
        color: #ca1a70;
    }
    html:not(.inverted) span.wr {
        color: #d24637;
    }
    html:not(.inverted) span.mfw {
        color: #b00000;
    }
    html:not(.inverted).contrast {
        background-color: #000;
    }
    html:not(.inverted).contrast body {
        color: #fff;
    }
    html:not(.inverted).contrast div#contrast,
    html:not(.inverted).contrast div#invmode {
        color: #fff;
        background-color: #000;
    }
    html:not(.inverted).contrast blockquote {
        color: #f8f6f5;
    }
    html:not(.inverted).contrast blockquote:before {
        color: #e5e5e5;
    }
    html:not(.inverted).contrast a {
        color: #44c7ff;
    }
    html:not.inverted).contrast a:visited {
        color: #e9579e;
    }
    html:not(.inverted).contrast span.wr {
        color: #db695d;
    }
    html:not(.inverted).contrast span.mfw {
        color: #ff0d0d;
    }
    html.inverted html {
        background-color: #fefefe;
    }
}
a {
    color: #07a;
}
a:visited {
    color: #941352;
}
.noselect {
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}
span.citneed {
    vertical-align: top;
    font-size: 0.7em;
    padding-left: 0.3em;
}
small {
    font-size: 0.4em;
}
p.st {
    margin-top: -1em;
}
div.fancyPositioning div.picture-left {
    float: left;
    width: 40%;
    overflow: hidden;
    margin-right: 1em;
}
div.fancyPositioning div.picture-left img {
    width: 100%;
}
div.fancyPositioning div.picture-left figure {
    margin: 10px;
}
div.fancyPositioning div.picture-left figure figcaption {
    font-size: 0.7em;
}
div.fancyPositioning div.tleft {
    float: left;
    width: 55%;
}
div.fancyPositioning div.tleft p:first-child {
    margin-top: 0;
}
div.fancyPositioning:after {
    display: block;
    content: "";
    clear: both;
}
ul li img {
    height: 1em;
}
a.anchor {
    color: inherit;
    display: inline-block;
    text-decoration: none;
    /* margin-left: -1em; */
}
a.anchor:before {
    content: '¶';
    opacity: 0.2;
    position: relative;
    width: 1.5em;
    text-align: center;
    display: inline-block;
    margin-left: -1.5em;
}
blockquote {
    color: #456;
    margin-left: 0;
    margin-top: 2em;
    margin-bottom: 2em;
}
blockquote span {
    float: left;
    margin-left: 1rem;
    padding-top: 1rem;
}
blockquote author {
    display: block;
    clear: both;
    font-size: 0.6em;
    margin-left: 2.4rem;
    font-style: oblique;
}
blockquote author:before {
    content: "- ";
    margin-right: 1em;
}
blockquote:before {
    <!-- font-family: Times New Roman, Times, Arial; -->
    font-family: 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #666;
    content: open-quote;
    font-size: 2.2em;
    font-weight: 600;
    float: left;
    margin-top: 0;
    margin-right: 0.2rem;
    width: 1.2rem;
}
blockquote:after {
    content: "";
    display: block;
    clear: both;
}
@media screen and (max-width: 500px) {
    body {
        text-align: left;
    }
    div.fancyPositioning div.picture-left,
    div.fancyPositioning div.tleft {
        float: none;
        width: inherit;
    }
    blockquote span {
        width: 80%;
    }
    blockquote author {
        padding-top: 1em;
        width: 80%;
        margin-left: 15%;
    }
    blockquote author:before {
        content: "";
        margin-right: inherit;
    }
}
span.visited {
    color: #941352;
}
span.visited-maroon {
    color: #85144b;
}
span.wr {
    color: #c0392b;
    font-weight: 600;
    text-decoration: underline;
}
div#contrast {
    color: #000;
    top: 10px;
}
div#contrast,
div#invmode {
    cursor: pointer;
    position: fixed;
    right: 10px;
    font-size: 0.8em;
    text-decoration: underline;
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}
div#invmode {
    color: #fff;
    background-color: #000;
    top: 34px;
    padding: 2px 5px;
}
@media screen and (max-width: 1080px) {
    div#contrast,
    div#invmode {
        position: absolute;
    }
}
span.sb {
    color: #00e;
}
span.sb,
span.sv {
    cursor: not-allowed;
}
span.sv {
    color: #551a8b;
}
span.foufoufou {
    color: #444;
    font-weight: 700;
}
span.foufoufou:before {
    content: "";
    display: inline-block;
    width: 1em;
    height: 1em;
    margin-left: 0.2em;
    margin-right: 0.2em;
    background-color: #444;
}
span.foufivfoufivfoufiv {
    color: #454545;
    font-weight: 700;
}
span.foufivfoufivfoufiv:before {
    content: "";
    display: inline-block;
    width: 1em;
    height: 1em;
    margin-left: 0.2em;
    margin-right: 0.2em;
    background-color: #454545;
}
span.mfw {
    color: #730000;
}
a.kopimi,
a.kopimi img.kopimi {
    display: block;
    margin-left: auto;
    margin-right: auto;
}
a.kopimi img.kopimi {
    height: 2em;
}
p.fakepre {
    font-family: monospace;
    font-size: 0.9em;
}