body {
    margin: 0 auto;
    max-width: 800px;
}

span.smallcaps {
    font-variant: small-caps;
}

div.columns {
    display: flex;
    gap: min(4vw, 1.5em);
}

div.column {
    flex: auto;
    overflow-x: auto;
}

div.hanging-indent {
    margin-left: 1.5em;
    text-indent: -1.5em;
}

ul.task-list[class] {
    list-style: none;
}

ul.task-list li input[type="checkbox"] {
    font-size: inherit;
    width: 0.8em;
    margin: 0 0.8em 0.2em -1.6em;
    vertical-align: middle;
}

.display.math {
    display: block;
    margin: 0.5rem auto;
    text-align: center;
}

/* Pandoc syntax highlighting */
div.sourceCode {
    margin: 1em 0;
    overflow: auto;
}

pre[class] {
    padding: 0.75em 1em;
    overflow: auto;
    line-height: 1.35;
    font-family: ui-monospace, "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 0.95em;
    color: var(--solarized-base00);
    background-color: var(--solarized-base2);
}

div.sourceCode pre.sourceCode {
    margin: 0;
}

pre.sourceCode {
    overflow: visible;
    white-space: pre;
}

pre > code.sourceCode {
    position: relative;
    white-space: pre;
}

pre > code.sourceCode > span {
    display: inline-block;
    line-height: 1.35;
}

pre > code.sourceCode > span:empty {
    height: 1.35em;
}

.sourceCode {
    overflow: visible;
}

code.sourceCode > span {
    color: inherit;
    text-decoration: inherit;
}

@media print {
    pre > code.sourceCode {
        white-space: pre-wrap;
    }

    pre > code.sourceCode > span {
        padding-left: 5em;
        text-indent: -5em;
    }
}

pre.numberSource {
    margin-left: 3em;
    padding-left: 4px;
    border-left: 1px solid var(--solarized-base1);
}

div.sourceCode pre.numberSource {
    margin-left: 3em;
}

pre.numberSource code {
    counter-reset: source-line 0;
}

pre.numberSource code > span {
    position: relative;
    left: -4em;
    counter-increment: source-line;
}

pre.numberSource code > span > a:first-child::before {
    content: counter(source-line);
    position: relative;
    left: -1em;
    display: inline-block;
    width: 4em;
    padding: 0 4px;
    border: none;
    color: var(--solarized-base1);
    text-align: right;
    vertical-align: baseline;
    -webkit-touch-callout: none;
    user-select: none;
}

@media screen {
    pre > code.sourceCode > span > a:first-child::before {
        text-decoration: underline;
    }
}

code span.al { color: var(--solarized-red); font-weight: bold; } /* Alert */
code span.an { color: var(--solarized-base1); font-style: italic; } /* Annotation */
code span.at { color: var(--solarized-blue); } /* Attribute */
code span.bn { color: var(--solarized-orange); } /* BaseN */
code span.bu { color: var(--solarized-blue); } /* BuiltIn */
code span.cf { color: var(--solarized-green); font-weight: bold; } /* ControlFlow */
code span.ch { color: var(--solarized-cyan); } /* Char */
code span.cn { color: var(--solarized-orange); } /* Constant */
code span.co { color: var(--solarized-base1); font-style: italic; } /* Comment */
code span.cv { color: var(--solarized-base1); font-weight: bold; font-style: italic; } /* CommentVar */
code span.do { color: var(--solarized-base1); font-style: italic; } /* Documentation */
code span.dt { color: var(--solarized-yellow); } /* DataType */
code span.dv { color: var(--solarized-orange); } /* DecVal */
code span.er { color: var(--solarized-red); font-weight: bold; text-decoration: underline; } /* Error */
code span.ex { color: var(--solarized-blue); } /* Extension */
code span.fl { color: var(--solarized-orange); } /* Float */
code span.fu { color: var(--solarized-blue); } /* Function */
code span.im { color: var(--solarized-green); font-weight: bold; } /* Import */
code span.in { color: var(--solarized-base1); font-weight: bold; font-style: italic; } /* Information */
code span.kw { color: var(--solarized-green); font-weight: bold; } /* Keyword */
code span.op { color: var(--solarized-base01); } /* Operator */
code span.ot { color: var(--solarized-violet); } /* Other */
code span.pp { color: var(--solarized-yellow); } /* Preprocessor */
code span.sc { color: var(--solarized-cyan); } /* SpecialChar */
code span.ss { color: var(--solarized-magenta); } /* SpecialString */
code span.st { color: var(--solarized-cyan); } /* String */
code span.va { color: var(--solarized-violet); } /* Variable */
code span.vs { color: var(--solarized-cyan); } /* VerbatimString */
code span.wa { color: var(--solarized-orange); font-weight: bold; font-style: italic; } /* Warning */