/* generated from highlight style tango */
code {
    white-space: pre-wrap;
}

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

/* The extra [class] is a hack that increases specificity enough to
       override a similar rule in reveal.js */
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;
}

/* CSS for syntax highlighting */
html {
    -webkit-text-size-adjust: 100%;
}

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

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

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

.sourceCode {
    overflow: visible;
}

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

div.sourceCode {
    margin: 1em 0;
}

pre.sourceCode {
    margin: 0;
}

@media screen {
    div.sourceCode {
        overflow: auto;
    }
}

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

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

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;
    text-align: right;
    vertical-align: baseline;
    border: none;
    display: inline-block;
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    padding: 0 4px;
    width: 4em;
    color: #aaaaaa;
}

pre.numberSource {
    margin-left: 3em;
    border-left: 1px solid #aaaaaa;
    padding-left: 4px;
}

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

@import "theme.css";

/* Alert */
code span.al {
    color: var(--yellow);
    font-weight: bold;
}

/* Annotation */
code span.label {
    color: var(--blue);
    font-weight: bold;
    font-style: italic;
}

/* Attribute */
code span.property {
    color: var(--blue);
}

/* BaseN */
code span.boolean {
    color: var(--purple);
}

/* BuiltIn */
code span.constructor {
    color: var(--green);
}

/* ControlFlow */
code span.cf {
    color: var(--red);
    font-weight: bold;
}

/* Char */
code span.character {
    color: var(--purple);
}

/* Constant */
code span.constant {
    color: var(--purple);
}

/* Comment */
code span.comment {
    color: var(--gray);
    font-style: italic;
}

/* CommentVar */
code span.cv {
    color: var(--gray);
    font-weight: bold;
    font-style: italic;
}

/* Documentation */
code span.do {
    color: #ba2121;
    font-style: italic;
}

/* DataType */
code span.type {
    color: var(--yellow);
}

/* DecVal */
code span.number {
    color: var(--purple);
}

/* Error */
code span.error {
    color: var(--red);
    font-weight: bold;
}

/* Extension */
code span.ex {}

/* Float */
code span.float {
    color: var(--purple);
}

/* Function */
code span.function {
    color: var(--green);
}

/* Import */
code span.namespace {
    color: var(--aqua);
    font-weight: bold;
}

/* Information */
code span.in {
    color: var(--blue);
    font-weight: bold;
    font-style: italic;
}

/* Keyword */
code span.keyword {
    color: var(--red);
    font-weight: bold;
}

/* Operator */
code span.operator {
    color: var(--text-color);
}

/* Other */
code span.punctuation {
    color: var(--text-color);
}

/* Preprocessor */
code span.preproc {
    color: var(--aqua);
}

/* SpecialChar */
code span.sc {
    color: var(--purple);
}

/* SpecialString */
code span.string.spacial {
    color: var(--green);
}

/* String */
code span.string {
    color: var(--green);
}

/* Variable */
code span.variable {
    color: var(--blue);
}

/* VerbatimString */
code span.string.regex {
    color: var(--green);
}

/* Warning */
code span.wa {
    color: var(--yellow);
    font-weight: bold;
    font-style: italic;
}