:root {
    --bg: #c3ef9d;
    --paper: #f0fed8;
    --paper-2: #b2e986;
    --ink: #172500;
    --muted: #526322;
    --rule: #6a9d3d;
    --heavy: #426b28;
    --link: #0033cc;
    --visited: #6a2488;
    --button: #ddf79b;
}

* {
    box-sizing: border-box;
}

html {
    background: var(--bg);
}

body {
    margin: 0;
    color: var(--ink);
    background: var(--bg);
    font-family: Arial, Helvetica, sans-serif;
    font-size: 16px;
    line-height: 1.45;
}

a {
    color: var(--link);
}

a:visited {
    color: var(--visited);
}

a:hover,
a:focus {
    color: #000;
    background: #c0ed72;
}

.skip-link {
    position: absolute;
    left: 8px;
    top: -40px;
    padding: 4px 8px;
    border: 1px solid var(--heavy);
    background: var(--paper);
}

.skip-link:focus {
    top: 8px;
}

.site-header,
.site-main,
.site-footer {
    width: 960px;
    max-width: calc(100% - 24px);
    margin: 0 auto;
}

.site-header {
    padding: 20px 0 8px;
}

.banner {
    width: 100%;
    margin: 0 0 16px;
    padding: 10px;
    overflow-x: auto;
    border: 1px solid var(--heavy);
    color: #000;
    background: var(--paper);
    font-family: "Courier New", Courier, monospace;
    font-weight: 700;
    font-size: 11px;
    line-height: 1;
    text-align: center;
    white-space: pre;
}

.banner-art {
    display: inline-block;
    text-align: left;
    text-shadow: 0.35px 0 #000;
}

h1,
h2,
h3,
h4 {
    font-family: Georgia, "Times New Roman", serif;
    font-weight: normal;
    color: #102400;
}

h1 {
    margin: 0;
    font-size: 42px;
    line-height: 1.1;
}

.tagline {
    margin: 4px 0 16px;
    font-size: 18px;
}

.top-links,
.compact-links {
    color: var(--muted);
}

.doc-group {
    margin-top: 34px;
}

.doc-group > h2 {
    margin: 34px 0 12px;
    padding-bottom: 2px;
    border-bottom: 2px solid var(--rule);
    font-size: 30px;
}

.section > h3 {
    margin: 24px 0 6px;
    padding-bottom: 1px;
    border-bottom: 1px solid var(--rule);
    font-size: 22px;
}

h4 {
    margin: 18px 0 6px;
    font-size: 18px;
}

p,
ul {
    margin: 8px 0 14px;
}

ul {
    padding-left: 24px;
}

li {
    margin: 3px 0;
}

code,
.code,
.terminal-demo {
    font-family: "Courier New", Courier, monospace;
}

code {
    color: #2d3300;
    background: var(--paper);
}

.code {
    margin: 8px 0 14px;
    padding: 8px;
    overflow-x: auto;
    border: 1px solid var(--rule);
    background: var(--paper);
    color: #111;
    white-space: pre;
}

.terminal-demo {
    margin: 10px 0 18px;
    padding: 10px;
    overflow-x: auto;
    border: 1px solid var(--heavy);
    background: var(--paper);
    color: #000;
    font-size: 13px;
    line-height: 1.25;
    white-space: pre;
}

table {
    width: 100%;
    margin: 10px 0 18px;
    border-collapse: collapse;
    background: var(--paper);
}

caption {
    padding: 4px;
    border: 1px solid var(--heavy);
    border-bottom: 0;
    background: var(--paper-2);
    font-family: Georgia, "Times New Roman", serif;
    font-size: 18px;
    text-align: left;
}

th,
td {
    padding: 7px 8px;
    border: 1px solid var(--rule);
    vertical-align: top;
    text-align: left;
    overflow-wrap: anywhere;
}

th {
    background: var(--paper-2);
    font-weight: bold;
}

td code,
th code {
    word-break: break-word;
}

.coffee-button {
    display: inline-block;
    padding: 8px 14px;
    border: 2px outset var(--rule);
    color: #111;
    background: var(--button);
    font-weight: bold;
    text-decoration: none;
}

.coffee-button:visited {
    color: #111;
}

.coffee-button:hover,
.coffee-button:focus {
    border-style: inset;
    color: #000;
    background: #bdeb70;
}

.site-footer {
    margin-top: 28px;
    padding: 12px 0 30px;
    border-top: 1px solid var(--rule);
    color: var(--muted);
    font-size: 14px;
}

@media (max-width: 640px) {
    body {
        font-size: 15px;
    }

    .site-header,
    .site-main,
    .site-footer {
        width: 960px;
        max-width: calc(100% - 16px);
    }

    .banner {
        font-size: 9px;
    }

    h1 {
        font-size: 34px;
    }

    .tagline {
        font-size: 16px;
    }

    .doc-group > h2 {
        font-size: 24px;
    }

    .section > h3 {
        font-size: 20px;
    }

    th,
    td {
        padding: 6px;
    }

}