body {
    color: #e8e8e0;
    background: black;
    font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
    font-size: 15px;
    line-height: 1.6;
    max-width: 800px;
    margin-top: 0;
    margin-left: auto;
    margin-right: auto;
    padding: 0 16px 58px 16px;
}

.page {
    border-left: 1px solid #303830;
    border-right: 1px solid #303830;
    min-height: 100%;
}

.masthead {
    border-top: 5px solid #99cc99;
    border-bottom: 1px solid #394839;
    align-items: flex-end;
    display: flex;
    gap: 0 16px;
    margin-bottom: 30px;
    padding: 16px 20px 0 20px;
}

.brand {
    flex: 1 1 auto;
    min-width: 0;
}

h1 {
    color: #f4f4ee;
    font-size: 31px;
    font-weight: normal;
    letter-spacing: 0;
    line-height: 1.1;
    margin: 0;
}

.cont {
    color: #a8b8a8;
    font-size: 13px;
    margin: 7px 0 16px 0;
}

.bar {
    display: flex;
    flex-shrink: 0;
    margin-left: auto;
}

.bar a {
    border: 1px solid #394839;
    border-bottom: 0;
    display: inline-block;
    font-size: 13px;
    letter-spacing: 0;
    margin-left: 4px;
    padding: 8px 11px 9px 11px;
}

.section {
    border-top: 1px solid #303830;
    margin: 0 20px 28px 20px;
    padding-top: 12px;
}

h2 {
    color: #99cc99;
    font-size: 17px;
    font-weight: normal;
    margin: 0 0 10px 0;
}

p {
    margin-top: 0;
}

ul {
    margin-top: 0;
    padding-left: 24px;
}

li {
    margin-bottom: 5px;
}

strong {
    color: #d8ffd8;
    font-weight: bold;
}

.formula {
    color: #d8ffd8;
    font-family: "Lucida Console", Monaco, "Courier New", Courier, monospace;
}

p.formula {
    background: #071107;
    border-left: 3px solid #99cc99;
    margin: 8px 0 14px 0;
    padding: 7px 10px;
}

.informula {
    color: #d8ffd8;
}

.article-page .section {
    margin-bottom: 31px;
}

.resources {
    margin: 0;
}

.resources dt {
    border-left: 3px solid #99cc99;
    margin-top: 18px;
    padding-left: 10px;
}

.resources dt:first-child {
    margin-top: 0;
}

.resources dd {
    color: #d8d8d0;
    margin: 4px 0 0 13px;
}

.foot {
    border-top: 1px solid #303830;
    color: #a8b8a8;
    font-size: 12px;
    margin: 40px 20px 0 20px;
    padding-top: 11px;
    text-align: center;
    text-transform: uppercase;
}

a {
    color: #99cc99;
    text-decoration: none;
}

a:hover,
a:focus {
    background: #132013;
    color: #d8ffd8;
    text-decoration: underline;
}

@media screen and (max-width: 560px) {
    body {
        font-size: 14px;
        padding-left: 10px;
        padding-right: 10px;
    }

    .masthead {
        display: block;
    }

    .brand,
    .bar {
        width: 100%;
        text-align: left;
    }

    .bar {
        border-top: 1px solid #303830;
        flex-wrap: wrap;
        margin-top: 13px;
    }

    .bar a {
        margin: 0 4px 0 0;
        padding-left: 9px;
        padding-right: 9px;
    }

    h1 {
        font-size: 25px;
    }
}