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

html {
    font-size: 62.5%
}

body {
    font-size: 16px;
    font-size: 1.6rem;
    font-family: helvetica neue, arial, sans-serif;
    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 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;
    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: 300;
    color: #949494;
    margin: 40px 0
}

table {
    width: 100%;
    border-collapse: collapse;
    border: 1px solid #000
}

th {
    background-color: #000;
    color: #fff
}

tr,
td {
    border: 1px solid
}

@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: 26px;
        font-size: 2.6rem
    }

    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
    }
}

.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
}

.rat {
    color: red;
}