@font-face {
  font-family: standard;
  src: url(/fonts/Ubuntu-Regular.woff2);
  font-display: swap;
}

@font-face {
  font-family: monospaced;
  src: url(/fonts/DejaVuSansMono.woff2);
  font-display: swap;
}

a {
    color: rgb(74, 111, 74);
    text-decoration: none;
    font-weight: bold;
}

a:visited {
    color: rgb(74, 111, 74);
}

a:hover {
    color: rgb(95, 140, 95);
}

a:focus-visible {
    outline: 2px solid rgb(74, 111, 74);
    outline-offset: 2px;
    border-radius: 2px;
}

blockquote {
    border-left: 3.5px dotted rgb(74, 111, 74);
    margin-left: 1.5px;
    padding-left: 0.8em;
}

body {
    border: 0;
    font-family: standard, serif;
    line-height: 1.5;
    margin: 0 auto;
    max-width: 50em;
    padding: 1em 1em 0 1em;
    font-size: 1.05em;
    background-color: rgb(250, 248, 242);
    color: rgb(30, 30, 28);
}

article {
    min-width: 0;
}

h1 {
    margin: .4em 0 .4em -2px;
    font-size: 2.5em;
    line-height: 1;
}

h2 {
    margin-top: -5px;
    font-size: 1.2em;
}

h3 {
    font-size: 0.9em;
}

dd {
    line-height: 1.5;
}

pre {
    margin-bottom: 18px;
    margin-left: 1.5em;
    overflow-x: auto;
    padding: 1em 1.5em;
}

code {
    font-family: monospaced;
    font-size: 0.8em;
    line-height: 1;
}

ul {
    margin-left: 1em;
}

ol {
    margin-left: 1em;
}

dl {
    margin-left: 1em;
    padding: 1em 1.5em;
}

img {
    width: 100%;
}

nav {
    padding-bottom: 1.2em;
}

body>header {
    padding-bottom: 0.5em;
}

footer {
    padding-bottom: 1em;
}

input, label {
    display: block;
}

input[type=text], textarea {
    margin-bottom: 1.5em;
    font-size: 1.1em;
    width: 100%;
    box-sizing: border-box;
}

label {
    padding-bottom: 0.5em;
}

.tree {
    list-style: none;
    padding-left: 0;
    padding-inline-start: 0;
    margin: 0;
    font-family: monospaced;
    font-size: 0.85em;
    line-height: 1.8;
    overflow-x: auto;
}

.tree li {
    list-style: none;
    white-space: nowrap;
}

.tree:last-child {
    margin-bottom: 2em;
}

.arrow {
    position: relative;
    top: -0.1em;
}

@media only screen and (max-width: 500px) {
    body {
        font-size: 1em;
    }

    pre {
        font-size: 1.1em;
    }

    .next-link {
        float: none;
        margin-left: 0;
        display: block;
    }

    .next-link::after {
        content: "";
    }

    .next-link::before {
        content: "-> ";
    }

    .prev-link {
        float: none;
        margin-right: 0;
        display: block;
        margin-bottom: 0.5em;
    }

    pre {
        margin-left: 0;
        padding-left: 0;
    }

    dl {
        margin-left: 0;
        padding-left: 0;
    }

    .arrow {
        position: relative;
        top: -0.2em;
    }

    ul {
        margin-left: 0em;
    }

    ol {
        margin-left: 0em;
    }
}

@media (prefers-color-scheme: dark) {
    a {
        color: rgb(110, 160, 100);
    }

    a:visited {
        color: rgb(110, 160, 100);
    }

    a:hover {
        color: rgb(145, 195, 130);
    }

    a:focus-visible {
        outline-color: rgb(110, 160, 100);
    }

    body {
        background-color: rgb(15, 13, 13);
        color: rgb(220, 218, 212);
    }

    blockquote {
        border-left-color: rgb(75, 110, 70);
    }
}