*, * :before, * :after {
    box-sizing:border-box
}

html {
    font-size:62.5%
}

body {
    font-size: 16px;
    font-size: 1.6rem;
    font-family: -apple-system, BlinkMacSystemFont, segoe ui, Helvetica, Arial, sans-serif, apple color emoji, segoe ui emoji, segoe ui symbol;
    color: #313a3d;
    width: 100%;
    margin: 0 auto;
    padding: 0 16px;
    line-height:1.6
}

header#banner {
    margin:25px 0
}

header#banner a {
    color: #313a3d;
    text-decoration:none
}

header#banner a:hover {
    text-decoration:underline
}

header#banner h2 {
    display: inline;
    font-size: 21px;
    font-size: 2.1rem;
    margin:0 8px 0 0
}

header#banner nav {
    display:inline-block
}

header#banner nav ul {
    list-style-type: none;
    font-size: 1.05em;
    text-transform: lowercase;
    margin: 0;
    padding:0
}

header#banner nav ul li {
    display: inline;
    margin:0 3px
}

header#banner nav ul li a {
    color:#454545
}

main#content a {
    color: #007dfa;
    text-decoration:none
}

main#content a:hover {
    text-decoration:underline
}

main#content h1, main#content h2, main#content h3, main#content h4, main#content h5, main#content h6 {
    margin-bottom: 0;
    line-height:1.15
}

main#content h3 {
    font-size: 19px;
    font-size:1.9rem
}

main#content h1 + p, main#content h2 + p, main#content h3 + p, main#content h4 + p, main#content h5 + p, main#content h6 + p {
    margin-top:5px
}

main#content p {
    color: #394548;
    margin:16px 0
}

main#content hr {
    height: 1px;
    border: 0;
    background:#d8d8d8
}

main#content abbr {
    cursor:help
}

main#content ul#posts {
    list-style-type: none;
    font-size: 16px;
    font-size: 1.6rem;
    margin-top: 0;
    padding:0
}

main#content ul#posts li {
    margin: 5px 0;
    padding:0
}

main#content ul#posts small {
    font-size: .8em;
    color: #767676;
    margin-left:10px
}

main#content ul#posts li a {
    text-decoration:none
}

main#content ul#posts li a:hover {
    color:#369aff
}

main#content ul#posts li a:hover small {
    color:inherit
}

main#content header#post-header h1 {
    display: block;
    font-size: 23px;
    font-size: 2.3rem;
    font-weight: 600;
    line-height:1.15
}

main#content header#post-header > div {
    display: block;
    font-size: .85em;
    color:#767676
}

main#content #toc {
    border: 1px solid #b1b1b1;
    border-radius: 1px;
    line-height: 26px;
    margin: 16px 0;
    padding:9px 14px
}

main#content #toc h4 {
    font-size: 1.06em;
    color: #3d3d3d;
    margin:0
}

main#content #toc nav#TableOfContents {
    margin-top:4px
}

main#content #toc nav#TableOfContents > ul, main#content #toc nav#TableOfContents > ol {
    margin-left:-40px
}

main#content #toc ul, main#content #toc ol {
    font-size: .98em;
    margin: 0;
    padding:0 0 0 40px
}

main#content #toc ul {
    list-style-type:none
}

main#content #toc ol {
    counter-reset:item
}

main#content #toc ol li {
    display:block
}

main#content #toc ol li:before {
    content: counters(item, ".") ". ";
    counter-increment:item
}

main#content img {
    max-width: 100%;
    margin:0 auto
}

main#content figure {
    margin:16px 0
}

main#content figure img {
    display: block;
    max-width: 100%;
    margin:0 auto
}

main#content figure figcaption {
    font-size: .92em;
    font-style: italic;
    line-height: 22px;
    text-align: center;
    margin-top: 6px;
    padding:0 10px
}

main#content figure figcaption h4 {
    font-style: normal;
    display: inline;
    margin:0
}

main#content figure figcaption p {
    display: inline;
    margin: 0;
    padding-left:8px
}

main#content blockquote {
    font-style: italic;
    margin-top: 10px;
    margin-bottom: 10px;
    margin-left: 50px;
    padding-left: 15px;
    border-left:3px solid #ccc
}

main#content code, main#content pre {
    font-family:menlo, monospace
}

main#content code {
    font-size: .96em;
    padding:0 5px
}

main#content pre {
    display: block;
    overflow-x: auto;
    font-size: 14px;
    font-size: 1.4rem;
    white-space: pre;
    margin: 20px 0;
    padding: 1.5rem;
    line-height:1.4
}

main#content pre code {
    padding:0
}

main#content section.footnotes {
    font-size:.9em
}

footer#footer {
    font-size: 14px;
    font-size: 1.4rem;
    font-weight: 400;
    color: #b3b3b3;
    margin:40px 0
}

@media (min-width: 770px) {
    body {
        width: 600px;
        line-height:1.5
    }

    main#content hr {
        width: 108%;
        margin-left:-3.8%
    }

    header#banner h2 {
        font-size: 25px;
        font-size:2.5rem
    }

    main#content h3 {
        font-size: 20px;
        font-size:2rem
    }

    main#content ul#posts {
        font-size: 18px;
        font-size:1.8rem
    }

    main#content header#post-header h1 {
        font-size: 24px;
        font-size:2.4rem
    }

    main#content img {
        max-width: 108%;
        margin-left:-3.8%
    }

    main#content figure {
        margin-left:-3.8%
    }

    main#content figure img {
        max-width:108%
    }

    main#content pre {
        width: 108%;
        margin-left: -3.8%;
        padding:1.5rem 2.2rem
    }
}

@media (prefers-color-scheme: dark) {
    html {
        scrollbar-color:#6c6c6c #2e2e2e
    }

    body {
        color: #ebebeb;
        background: #121212;
        -webkit-font-smoothing: antialiased;
        -moz-osx-font-smoothing:grayscale
    }

    header#banner a {
        color: #e0e0e0;
        text-decoration:none
    }

    header#banner nav ul li a {
        color:#ccc
    }

    main#content a {
        color:#00b1ed
    }

    main#content p {
        color:#f5f5f5
    }

    main#content hr {
        background:#5c5c5c
    }

    main#content #toc h4 {
        color:#d4d4d4
    }

    main#content ul#posts small {
        color:#a7a7a7
    }

    main#content ul#posts li a:hover {
        color:#21c7ff
    }

    main#content header#post-header div {
        color:#a7a7a7
    }
}

.chroma {
    color: #f8f8f2;
    background-color:#272822
}

.chroma .err {
    color: #960050;
    background-color:#1e0010
}

.chroma .lntd {
    vertical-align: top;
    padding: 0;
    margin: 0;
    border:0
}

.chroma .lntable {
    border-spacing: 0;
    padding: 0;
    margin: 0;
    border: 0;
    width: auto;
    overflow: auto;
    display:block
}

.chroma .hl {
    display: block;
    width: 100%;
    background-color:#ffc
}

.chroma .lnt {
    margin-right: .4em;
    padding: 0 .4em;
    color:#7f7f7f
}

.chroma .ln {
    margin-right: .4em;
    padding: 0 .4em;
    color:#7f7f7f
}

.chroma .k {
    color:#66d9ef
}

.chroma .kc {
    color:#66d9ef
}

.chroma .kd {
    color:#66d9ef
}

.chroma .kn {
    color:#f92672
}

.chroma .kp {
    color:#66d9ef
}

.chroma .kr {
    color:#66d9ef
}

.chroma .kt {
    color:#66d9ef
}

.chroma .na {
    color:#a6e22e
}

.chroma .nc {
    color:#a6e22e
}

.chroma .no {
    color:#66d9ef
}

.chroma .nd {
    color:#a6e22e
}

.chroma .ne {
    color:#a6e22e
}

.chroma .nf {
    color:#a6e22e
}

.chroma .nx {
    color:#a6e22e
}

.chroma .nt {
    color:#f92672
}

.chroma .l {
    color:#ae81ff
}

.chroma .ld {
    color:#e6db74
}

.chroma .s {
    color:#e6db74
}

.chroma .sa {
    color:#e6db74
}

.chroma .sb {
    color:#e6db74
}

.chroma .sc {
    color:#e6db74
}

.chroma .dl {
    color:#e6db74
}

.chroma .sd {
    color:#e6db74
}

.chroma .s2 {
    color:#e6db74
}

.chroma .se {
    color:#ae81ff
}

.chroma .sh {
    color:#e6db74
}

.chroma .si {
    color:#e6db74
}

.chroma .sx {
    color:#e6db74
}

.chroma .sr {
    color:#e6db74
}

.chroma .s1 {
    color:#e6db74
}

.chroma .ss {
    color:#e6db74
}

.chroma .m {
    color:#ae81ff
}

.chroma .mb {
    color:#ae81ff
}

.chroma .mf {
    color:#ae81ff
}

.chroma .mh {
    color:#ae81ff
}

.chroma .mi {
    color:#ae81ff
}

.chroma .il {
    color:#ae81ff
}

.chroma .mo {
    color:#ae81ff
}

.chroma .o {
    color:#f92672
}

.chroma .ow {
    color:#f92672
}

.chroma .c {
    color:#75715e
}

.chroma .ch {
    color:#75715e
}

.chroma .cm {
    color:#75715e
}

.chroma .c1 {
    color:#75715e
}

.chroma .cs {
    color:#75715e
}

.chroma .cp {
    color:#75715e
}

.chroma .cpf {
    color:#75715e
}

.chroma .gd {
    color:#f92672
}

.chroma .ge {
    font-style:italic
}

.chroma .gi {
    color:#a6e22e
}

.chroma .gs {
    font-weight:700
}

.chroma .gu {
    color: #75715e
}