:root {
    --bg: #ffffff;
    --surface: #ffffff;
    --surface-subtle: #f8f9f8;
    --surface-code: #f8f9f8;

    --border: #dfe3e1;
    --border-light: #e9eceb;
    --border-strong: #cbd2cf;

    --row-even: #ffffff;
    --row-odd: #f7f8f7;
    --row-hover: #eef1ee;

    --text: #343a36;
    --text-secondary: #59615c;
    --text-muted: #737b76;
    --text-faint: #929994;

    --green: #7f9f68;
    --green-light: #a7c080;
    --green-dark: #668052;

    --teal: #6b9890;
    --teal-light: #9bbcb7;
    --teal-dark: #527f78;

    --blue: #6f8faa;
    --blue-light: #8fa9bd;
    --blue-dark: #59758f;

    --gold: #b08a52;
    --gold-light: #d6b875;

    --danger: #a96f76;
    --danger-dark: #895960;

    --info-bg: #f2f6f4;
    --tip-bg: #f3f6ef;
    --warning-bg: #faf7ef;
    --danger-bg: #faf2f3;

    --admonition-background: #f8f9f8;
    --note-color: var(--teal);
    --note-on-color: #ffffff;

    --tip-color: var(--green);
    --tip-on-color: #ffffff;

    --important-color: var(--blue);
    --important-on-color: #ffffff;

    --warning-color: var(--gold);
    --warning-on-color: #ffffff;

    --caution-color: var(--danger);
    --caution-on-color: #ffffff;

    --font-body:
        "Inter",
        "Segoe UI",
        Roboto,
        Helvetica,
        Arial,
        sans-serif;

    --font-heading:
        "Inter",
        "Segoe UI",
        Roboto,
        Helvetica,
        Arial,
        sans-serif;

    --font-mono:
        "JetBrains Mono",
        "Fira Code",
        "Cascadia Code",
        "SFMono-Regular",
        Consolas,
        "Liberation Mono",
        monospace;

    --toc-width: 20rem;
    --content-width: 62rem;
    --content-gutter: 1.5rem;
}

html {
    background: var(--bg);
    font-size: 14px;
    scroll-behavior: smooth;
}

body {
    margin: 0;
    padding: 0;
    background: var(--bg);
    color: var(--text);
    font-family: var(--font-body);
    font-size: 0.92rem;
    line-height: 1.55;
    -webkit-font-smoothing: antialiased;
    text-rendering: optimizeLegibility;
}

#content {
    box-sizing: border-box;
    width: 100%;
    max-width: var(--content-width);
    margin: 0 auto;
    padding: 1.75rem var(--content-gutter) 4rem;
}

#header {
    box-sizing: border-box;
    width: 100%;
    max-width: var(--content-width);
    margin: 0 auto;
    padding: 2.25rem var(--content-gutter) 1.25rem;
    background: var(--bg);
    border-bottom: 1px solid var(--border);
}

#header h1 {
    margin: 0 0 0.45rem;
    color: var(--text);
    font-size: 2.05rem;
    font-weight: 700;
    line-height: 1.2;
    letter-spacing: -0.025em;
}

#header .details {
    color: var(--text-muted);
    font-size: 0.76rem;
}

#header .details span {
    margin-right: 0.8rem;
}

#header .details .author {
    color: var(--text-secondary);
    font-weight: 500;
}

#header .revnumber {
    color: var(--teal-dark);
    font-family: var(--font-mono);
}

@media screen and (min-width: 1000px) {
    body.toc2 #content,
    body.toc2 #header,
    body.toc2 #footer {
        width: var(--content-width);
        max-width: var(--content-width);
        margin-right: 0;
        margin-left: calc(
            var(--toc-width) +
            max(
                var(--content-gutter),
                (100vw - var(--toc-width) - var(--content-width)) / 2
            )
        );
    }
}

p {
    margin: 0 0 0.75rem;
}

.lead {
    color: var(--text-secondary);
    font-size: 1rem;
    line-height: 1.6;
}

strong, b {
    color: var(--text);
    font-weight: 650;
}

em, i {
    color: var(--text-secondary);
}

small {
    color: var(--text-muted);
}

a {
    color: var(--teal-dark);
    text-decoration: none;
}

a:hover {
    color: var(--green-dark);
    text-decoration: underline;
}

a:focus-visible {
    outline: 2px solid var(--teal-light);
    outline-offset: 2px;
}

h1, h2, h3, h4, h5, h6 {
    margin-top: 0;
    color: var(--text);
    font-family: var(--font-heading);
    font-weight: 650;
    line-height: 1.25;
    letter-spacing: -0.012em;
}

h1::before, h1::after,
h2::before, h2::after,
h3::before, h3::after,
h4::before, h4::after,
h5::before, h5::after,
h6::before, h6::after {
    display: none !important;
}

h1 {
    margin-bottom: 1rem;
    font-size: 2rem;
    font-weight: 700;
}

h2 {
    margin-bottom: 0.7rem;
    margin-top: 2.35rem;
    padding: 0;
    border: 0;
    font-size: 1.35rem;
}

h3 {
    margin-bottom: 0.55rem;
    margin-top: 1.65rem;
    font-size: 1.1rem;
}

h4 {
    margin-bottom: 0.45rem;
    margin-top: 1.3rem;
    font-size: 0.98rem;
}

h5 {
    margin-bottom: 0.4rem;
    margin-top: 1.1rem;
    font-size: 0.9rem;
}

h6 {
    margin-bottom: 0.35rem;
    margin-top: 1rem;
    font-size: 0.85rem;
}

#toc.toc2 {
    position: fixed;
    top: 0;
    left: 0;
    z-index: 20;
    box-sizing: border-box;
    width: var(--toc-width);
    height: 100vh;
    padding: 1.5rem 0.9rem;
    overflow-y: auto;
    background: var(--surface-subtle);
    border-right: 1px solid var(--border);
    scrollbar-width: thin;
    scrollbar-color: var(--border-strong) transparent;
}

#toc.toc2::-webkit-scrollbar {
    width: 4px;
}

#toc.toc2::-webkit-scrollbar-track {
    background: transparent;
}

#toc.toc2::-webkit-scrollbar-thumb {
    background: var(--border-strong);
    border-radius: 10px;
}

#toc.toc2 h2 {
    margin: 0 0 0.85rem;
    padding: 0;
    border: 0;
    color: var(--text-faint);
    font-size: 0.66rem;
    font-weight: 700;
    letter-spacing: 0.1em;
    text-transform: uppercase;
}

#toc.toc2 h2::after {
    display: none !important;
}

#toc ul {
    margin: 0;
    padding: 0;
    list-style: none;
}

#toc ul ul {
    padding-left: 0.65rem;
}

#toc li {
    margin: 0.03rem 0;
}

#toc .sectlevel1 > li > a {
    color: var(--text);
    font-weight: 600;
}

#toc .sectlevel2 > li > a {
    color: var(--text-muted);
    font-size: 0.72rem;
}

#toc .sectlevel3 > li > a,
#toc .sectlevel4 > li > a,
#toc .sectlevel5 > li > a,
#toc .sectlevel6 > li > a {
    color: var(--text-faint);
    font-size: 0.69rem;
    font-weight: 450;
    line-height: 1.38;
}

#toc a {
    display: block;
    padding: 0.2rem 0.45rem;
    border-left: 2px solid transparent;
    color: var(--text-secondary);
    font-size: 0.75rem;
    font-weight: 450;
    line-height: 1.38;
    transition:
        color 100ms ease,
        background 100ms ease,
        border-color 100ms ease;
}

#toc a:hover,
#toc .sectlevel3 > li > a:hover,
#toc .sectlevel4 > li > a:hover,
#toc .sectlevel5 > li > a:hover,
#toc .sectlevel6 > li > a:hover {
    color: var(--teal-dark);
    background: rgba(107, 152, 144, 0.08);
    border-left-color: var(--teal);
    text-decoration: none;
}

ul, ol {
    margin: 0 0 0.75rem;
    padding-left: 1.75rem;
}

li {
    margin: 0.15rem 0;
}

li > p {
    margin-bottom: 0.25rem;
}

ol {
    padding-left: 2.5rem;
    list-style-position: outside;
}

ol > li {
    padding-left: 0.15rem;
}

ol > li::marker {
    color: var(--green);
    font-family: var(--font-mono);
    font-size: 0.88em;
    font-weight: 600;
}

ul li::marker {
    color: var(--teal);
}

ul ul,
ol ol,
ul ol,
ol ul {
    margin-top: 0.15rem;
    margin-bottom: 0.15rem;
}

ol ol {
    padding-left: 2.35rem;
}

code {
    background: var(--surface-code);
    color: var(--teal-dark);
    font-family: var(--font-mono);
    font-size: 0.80rem;
}

kbd {
    background: var(--surface-subtle);
    border: 1px solid var(--border-strong);
    border-bottom-width: 2px;
    border-radius: 3px;
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 0.9em;
}

ul.square li ul, ul.circle li ul, ul.disc li ul { list-style: inherit; }
ul.square { list-style-type: square; }
ul.circle { list-style-type: circle; }
ul.disc { list-style-type: disc; }
ul.no-bullet { list-style: none; }
td.hdlist1 { padding-right: .8em; }
td.hdlist1, td.hdlist2 { vertical-align: middle; }

.listingblock,
.literalblock,
.exampleblock,
.sidebarblock,
.openblock {
    margin: 1rem 0;
    background: var(--surface-code);
    border: 1px solid var(--border);
    border-spacing: 0;
    border-radius: 0.45rem;
    overflow: hidden;
}

.listingblock .title,
.literalblock .title,
.exampleblock > .title,
.sidebarblock > .title,
.openblock > .title {
    box-sizing: border-box;
    margin: 0;
    padding: 0.28rem 0.65rem;
    border-bottom: 1px solid var(--border);
    color: var(--text-secondary);
    font-family: var(--font-body);
    font-size: 0.75rem;
    font-weight: 650;
    line-height: 1.35;
}

.listingblock .title,
.literalblock .title {
    background: #dcecea;
    border-bottom-color: #c2dcd8;
    color: var(--text-secondary);
}

.exampleblock > .title {
    background: #e3edda;
    border-bottom-color: #cbdcbe;
    color: var(--text-secondary);
}

.sidebarblock > .title,
.openblock > .title {
    background: var(--surface-subtle);
}

.listingblock > .content,
.literalblock > .content {
    margin: 0;
}

.exampleblock > .content,
.sidebarblock > .content,
.openblock > .content {
    padding: 0.6rem 0.8rem;
}

.listingblock pre,
.literalblock pre {
    box-sizing: border-box;
    margin: 0;
    padding: 0.75rem 0.9rem;
    overflow-x: auto;
    background: var(--surface-code);
    border: 0;
    color: #3f4843;
    font-family: var(--font-mono);
    font-size: 0.86rem;
    line-height: 1.55;
    tab-size: 2;
}

.listingblock pre::-webkit-scrollbar,
.literalblock pre::-webkit-scrollbar {
    height: 5px;
}

.listingblock pre::-webkit-scrollbar-track,
.literalblock pre::-webkit-scrollbar-track {
    background: var(--border-light);
}

.listingblock pre::-webkit-scrollbar-thumb,
.literalblock pre::-webkit-scrollbar-thumb {
    background: var(--border-strong);
    border-radius: 10px;
}

.admonitionblock {
    position: relative;
    margin: 1.3rem 0 0;
    padding-bottom: 0.65rem;
}

.admonitionblock > table {
    position: relative;
    width: 100%;
    table-layout: fixed;
    border-collapse: separate;
    border-spacing: 0;
    border-radius: 0.45rem;
}

.admonitionblock td.content {
    box-sizing: border-box;
    width: 100%;
    padding: 1rem 1rem 0.75rem;
    background: var(--admonition-background);
    border: 1px solid var(--border);
    border-radius: 0.45rem;
    color: var(--text-secondary);
    font-size: 0.92rem;
    line-height: 1.55;
    overflow-wrap: anywhere;
}

.admonitionblock td.content > :first-child {
    margin-top: 0;
}

.admonitionblock td.content > :last-child {
    margin-bottom: 0;
}

.admonitionblock td.content > .title + *,
.admonitionblock td.content > :not(.title):first-child {
    margin-top: 0;
}

.admonitionblock td.content p {
    margin: 0 0 0.75rem;
}

.admonitionblock td.content ul,
.admonitionblock td.content ol {
    margin-top: 0.5rem;
    margin-bottom: 0.5rem;
}

.admonitionblock td.content pre {
    font-size: 0.83rem;
}

.admonitionblock td.icon {
    position: absolute;
    top: 0;
    left: 0;
    width: auto;
    min-width: 0;
    padding: 0;
    transform: translate(0.75rem, -50%);
    font-size: 0.72rem;
    line-height: 1;
    text-align: left;
    z-index: 1;
}

.admonitionblock td.icon i {
    display: inline-flex;
    align-items: center;
    box-sizing: border-box;
    width: fit-content;
    height: 1.4rem;
    padding: 0 0.65rem;
    border-radius: 0.4rem;
    color: var(--admonition-on-color);
    font-style: normal;
    font-weight: 650;
    line-height: 1;
    letter-spacing: 0.035em;
    text-transform: uppercase;
    box-shadow:
        0 1px 2px rgb(52 58 54 / 10%),
        0 0 0 1px rgb(0 0 0 / 4%);
}

.admonitionblock td.icon i::before {
    display: block;
    width: 1rem;
    height: 1rem;
    margin-right: 0.4rem;
    background: no-repeat center / contain;
    filter: invert(100%);
    content: "";
}

.admonitionblock td.icon i::after {
    content: attr(title);
    font-style: normal;
    font-weight: 650;
}

.admonitionblock td.icon i.icon-note {
    --admonition-color: var(--note-color);
    --admonition-on-color: var(--note-on-color);
    background-color: var(--admonition-color);
}

.admonitionblock td.icon i.icon-note::before {
    background-image: url(../img/octicons-16.svg#view-info);
}

.admonitionblock td.icon i.icon-tip {
    --admonition-color: var(--tip-color);
    --admonition-on-color: var(--tip-on-color);
    background-color: var(--admonition-color);
}

.admonitionblock td.icon i.icon-tip::before {
    background-image: url(../img/octicons-16.svg#view-light-bulb);
}

.admonitionblock td.icon i.icon-important {
    --admonition-color: var(--important-color);
    --admonition-on-color: var(--important-on-color);
    background-color: var(--admonition-color);
}

.admonitionblock td.icon i.icon-important::before {
    background-image: url(../img/octicons-16.svg#view-stop);
}

.admonitionblock td.icon i.icon-warning {
    --admonition-color: var(--warning-color);
    --admonition-on-color: var(--warning-on-color);
    background-color: var(--admonition-color);
}

.admonitionblock td.icon i.icon-warning::before {
    background-image: url(../img/octicons-16.svg#view-alert);
}

.admonitionblock td.icon i.icon-caution {
    --admonition-color: var(--caution-color);
    --admonition-on-color: var(--caution-on-color);
    background-color: var(--admonition-color);
}

.admonitionblock td.icon i.icon-caution::before {
    background-image: url(../img/octicons-16.svg#view-flame);
}

@media screen and (max-width: 600px) {
    .admonitionblock {
        margin-top: 1.25rem;
    }

    .admonitionblock td.content {
        padding: 0.9rem 0.8rem 0.7rem;
    }

    .admonitionblock td.icon {
        transform: translate(0.6rem, -50%);
    }
}

.quoteblock {
    margin: 1.25rem 0;
    padding: 0.15rem 1.1rem;
    border-left: 3px solid var(--teal-light);
    color: var(--text-secondary);
    background: transparent;
}

.quoteblock .attribution {
    margin-top: 0.4rem;
    color: var(--text-muted);
    font-size: 0.82rem;
}

table.tableblock {
    width: 100%;
    margin: 0.9rem 0 1.2rem;
    border-collapse: collapse;
    background: var(--surface);
    font-size: 0.82rem;
}

table.tableblock th,
table.tableblock td {
    padding: 0.25rem 0.45rem;
    border: 1px solid var(--border);
    vertical-align: middle;
    text-align: center;
}

table.tableblock .halign-left {
    text-align: left;
}

table.tableblock .halign-center {
    text-align: center;
}

table.tableblock .halign-right {
    text-align: right;
}

table.tableblock td p:last-child,
table.tableblock th p:last-child {
    margin-bottom: 0;
}

table.tableblock thead th {
    background: var(--surface-subtle);
    color: var(--text);
    font-size: 0.72rem;
    font-weight: 650;
}

table.tableblock tbody tr:hover {
    background: var(--row-hover);
}

table.tableblock code {
    padding: 0;
    background: transparent;
    border: 0;
}

table.tableblock .listingblock,
table.tableblock .literalblock {
    margin: 0;
    border-radius: 0.3rem;
}

table.tableblock .listingblock pre,
table.tableblock .literalblock pre {
    padding: 0.3rem 0.5rem;
    font-size: 0.72rem;
    line-height: 1.3;
}

.grammar {
    margin: 0.8rem 0 1rem;
    padding: 0.65rem 0.8rem;
    background: var(--surface-code);
    border: 1px solid var(--border);
    border-radius: 3px;
    font-family: var(--font-mono);
    font-size: 0.82rem;
    line-height: 1.55;
    overflow-x: auto;
}

.grammar .lhs {
    color: var(--teal-dark);
    font-weight: 650;
}

.grammar .operator {
    color: var(--gold);
}

.grammar .rhs {
    color: var(--text-secondary);
}

.signature {
    margin: 0.7rem 0 1rem;
    padding: 0.55rem 0.75rem;
    background: var(--surface-code);
    border: 1px solid var(--border);
    border-radius: 3px;
    color: var(--text);
    font-family: var(--font-mono);
    font-size: 0.82rem;
    overflow-x: auto;
}

.description {
    margin: 0.8rem 0;
}

.description dt {
    margin-top: 0.55rem;
    color: var(--teal-dark);
    font-family: var(--font-mono);
    font-weight: 600;
}

.description dd {
    margin-left: 1.2rem;
    color: var(--text-secondary);
}


hr {
    height: 1px;
    margin: 1.75rem 0;
    border: 0;
    background: var(--border);
}

.imageblock {
    margin: 1.1rem 0;
    text-align: center;
}

.imageblock img {
    max-width: 100%;
    height: auto;
    border: 1px solid var(--border);
    border-radius: 3px;
}

.imageblock > .title {
    margin-top: 0.35rem;
    color: var(--text-muted);
    font-size: 0.7rem;
}

#footnotes {
    margin-top: 2.75rem;
    padding-top: 1rem;
    border-top: 1px solid var(--border);
    color: var(--text-muted);
    font-size: 0.73rem;
}

#footnotes h2 {
    margin-top: 0;
    border: 0;
    font-size: 0.88rem;
}

#footer {
    box-sizing: border-box;
    width: 100%;
    max-width: var(--content-width);
    margin: 0 auto;
    padding: 1rem var(--content-gutter) 2rem;
    border-top: 1px solid var(--border);
    color: var(--text-faint);
    font-size: 0.7rem;
}

::selection {
    color: #ffffff;
    background: var(--teal);
}

@media screen and (max-width: 999px) {
    #toc.toc2 {
        position: static;
        width: auto;
        height: auto;
        padding: 0.8rem 1.25rem;
        border-right: 0;
        border-bottom: 1px solid var(--border);
    }

    #toc.toc2 ul {
        max-height: 15rem;
        overflow-y: auto;
    }

    #content,
    #header,
    #footer,
    body.toc2 #content,
    body.toc2 #header,
    body.toc2 #footer {
        box-sizing: border-box;
        width: 100%;
        max-width: var(--content-width);
        margin: 0 auto;
        padding-left: 1.25rem;
        padding-right: 1.25rem;
    }

    #content {
        padding-top: 1.5rem;
    }

    #header {
        padding-top: 1.75rem;
    }
}

@media screen and (max-width: 650px) {
    html {
        font-size: 13px;
    }

    #content,
    #header,
    #footer,
    body.toc2 #content,
    body.toc2 #header,
    body.toc2 #footer {
        padding-left: 0.9rem;
        padding-right: 0.9rem;
    }

    #header h1 {
        font-size: 1.75rem;
    }

    h1 {
        font-size: 1.7rem;
    }

    h2 {
        font-size: 1.2rem;
    }

    h3 {
        font-size: 1.02rem;
    }

    .listingblock pre,
    .literalblock pre {
        padding: 0.65rem;
        font-size: 0.7rem;
    }

    table.tableblock {
        font-size: 0.74rem;
    }

    table.tableblock th,
    table.tableblock td {
        padding: 0.4rem 0.45rem;
    }
}

@media print {
    html,
    body {
        background: #ffffff;
    }

    body {
        color: #000000;
        font-size: 9.5pt;
    }

    #toc.toc2 {
        position: static;
        width: auto;
        height: auto;
        padding: 0;
        margin-bottom: 1.5rem;
        border: 0;
        background: transparent;
    }

    #content,
    #header,
    #footer,
    body.toc2 #content,
    body.toc2 #header,
    body.toc2 #footer {
        width: auto;
        max-width: none;
        margin: 0;
        padding-left: 0;
        padding-right: 0;
    }

    a {
        color: inherit;
        text-decoration: none;
    }

    .listingblock,
    .literalblock,
    .exampleblock,
    .sidebarblock,
    .openblock,
    .admonitionblock,
    .quoteblock,
    table {
        break-inside: avoid;
    }

    .listingblock pre,
    .literalblock pre {
        overflow: visible;
        white-space: pre-wrap;
        background: #f8f8f8;
        border: 1px solid #cccccc;
        color: #000000;
    }

    h1, h2, h3, h4, h5, h6 {
        break-after: avoid;
    }
}