:root {
    --bg: #ffffff;
    --bg-sidebar: #f8f9fa;
    --bg-code: #f4f5f7;
    --text: #1a1a2e;
    --text-muted: #6c757d;
    --border: #e2e6ea;
    --accent: #2563eb;
    --accent-light: #eff6ff;
    --heading: #0f172a;
    --link: #2563eb;
    --map-sense: #0284c7;
    --map-model: #7c3aed;
    --map-action: #0d9488;
    --map-robot: #16a34a;
    --map-production: #d97706;
    /* Fluid layout metrics — everything scales with the viewport and is
       clamped to a sane min/max, so no width is hard-coded. */
    --sidebar-w: clamp(220px, 17vw, 300px);
    --toc-w: clamp(200px, 15vw, 280px);
    --content-pad: clamp(20px, 3.2vw, 56px);
    --content-max: clamp(640px, 58vw, 1080px);   /* prose reading measure */
    --wide-max: clamp(640px, 76vw, 1500px);      /* diagrams, tables, cards */
    --table-stripe: #f8fafc;
}

@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) {
        --bg: #0f172a;
        --bg-sidebar: #1e293b;
        --bg-code: #1e293b;
        --text: #e2e8f0;
        --text-muted: #94a3b8;
        --border: #334155;
        --accent: #60a5fa;
        --accent-light: #1e3a5f;
        --heading: #f1f5f9;
        --link: #60a5fa;
        --table-stripe: #1e293b;
        --map-sense: #38bdf8;
        --map-model: #a78bfa;
        --map-action: #2dd4bf;
        --map-robot: #4ade80;
        --map-production: #fbbf24;
    }
}

/* Explicit override via the toggle button */
:root[data-theme="dark"] {
    --bg: #0f172a;
    --bg-sidebar: #1e293b;
    --bg-code: #1e293b;
    --text: #e2e8f0;
    --text-muted: #94a3b8;
    --border: #334155;
    --accent: #60a5fa;
    --accent-light: #1e3a5f;
    --heading: #f1f5f9;
    --link: #60a5fa;
    --table-stripe: #1e293b;
    --map-sense: #38bdf8;
    --map-model: #a78bfa;
    --map-action: #2dd4bf;
    --map-robot: #4ade80;
    --map-production: #fbbf24;
}

* { margin: 0; padding: 0; box-sizing: border-box; }

body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans SC", sans-serif;
    background: var(--bg);
    color: var(--text);
    line-height: 1.7;
    display: flex;
    min-height: 100vh;
    overflow-x: hidden;
}

/* Sidebar */
.sidebar {
    width: var(--sidebar-w);
    /* Bound the fixed panel so long navigation lists scroll inside it. */
    height: 100vh;
    height: 100dvh;
    background: var(--bg-sidebar);
    border-right: 1px solid var(--border);
    padding: 24px 0;
    position: fixed;
    top: 0;
    left: 0;
    overflow-y: auto;
    overscroll-behavior-y: contain;
    z-index: 100;
    transition: transform 0.3s;
}

.sidebar-header {
    padding: 0 20px 20px;
    border-bottom: 1px solid var(--border);
    margin-bottom: 12px;
}

.sidebar-header h2 {
    font-size: 16px;
    color: var(--heading);
    font-weight: 700;
    letter-spacing: -0.02em;
}

.sidebar-header p {
    font-size: 12px;
    color: var(--text-muted);
    margin-top: 4px;
}

.sidebar nav a {
    display: block;
    padding: 8px 20px;
    color: var(--text);
    text-decoration: none;
    font-size: 14px;
    font-weight: 500;
    border-left: 3px solid transparent;
    transition: all 0.15s;
}

.sidebar nav a:hover {
    background: var(--accent-light);
    color: var(--accent);
}

.sidebar nav a.active {
    background: var(--accent-light);
    color: var(--accent);
    border-left-color: var(--accent);
    font-weight: 600;
}

/* Mobile toggle */
.menu-toggle {
    display: none;
    position: fixed;
    top: 12px;
    left: 12px;
    z-index: 200;
    background: var(--bg-sidebar);
    border: 1px solid var(--border);
    border-radius: 6px;
    padding: 8px 12px;
    cursor: pointer;
    font-size: 18px;
    color: var(--text);
}

/* Theme toggle */
.theme-toggle {
    position: fixed;
    top: 16px;
    right: 16px;
    z-index: 200;
    width: 38px;
    height: 38px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--bg-sidebar);
    border: 1px solid var(--border);
    border-radius: 50%;
    cursor: pointer;
    font-size: 17px;
    line-height: 1;
    color: var(--text);
    transition: border-color 0.2s, background 0.2s;
}

.theme-toggle:hover {
    border-color: var(--accent);
    color: var(--accent);
}

/* Swap the glyph with the active theme */
.theme-toggle .icon-dark { display: none; }
.theme-toggle .icon-light { display: inline; }

@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) .theme-toggle .icon-dark { display: inline; }
    :root:not([data-theme="light"]) .theme-toggle .icon-light { display: none; }
}

:root[data-theme="dark"] .theme-toggle .icon-dark { display: inline; }
:root[data-theme="dark"] .theme-toggle .icon-light { display: none; }
:root[data-theme="light"] .theme-toggle .icon-dark { display: none; }
:root[data-theme="light"] .theme-toggle .icon-light { display: inline; }

/* Keep the toggle clear of the in-page TOC on wide screens */
@media (min-width: 1400px) {
    .theme-toggle {
        right: calc(var(--toc-w) + 16px);
    }
}

/* Content */
.content {
    margin-left: var(--sidebar-w);
    flex: 1;
    min-width: 0;
    padding: 40px var(--content-pad) 80px;
}

/* Wide layouts reserve room for the in-page TOC */
@media (min-width: 1400px) {
    .content {
        margin-right: var(--toc-w);
    }
}

/* The column fills whatever space is left, then centres a capped reading
   measure inside it. Blocks that cannot reflow — diagrams, tables, card
   grids — are allowed to run wider than the prose. */
.content-inner {
    max-width: var(--wide-max);
    margin: 0 auto;
}

/* Two classes deep so this beats the per-element `margin: a b c` shorthands
   below, which would otherwise reset margin-inline to 0 and kill the centring. */
.content .content-inner > * {
    max-width: var(--content-max);
    margin-inline: auto;
}

.content .content-inner > .diagram,
.content .content-inner > .table-wrap,
.content .content-inner > .cat,
.content .content-inner > .card-grid,
.content .content-inner > .knowledge-overview,
.content .content-inner > .domain-landscape {
    max-width: var(--wide-max);
}

/* In-page table of contents */
.toc {
    position: fixed;
    top: 0;
    right: 0;
    width: var(--toc-w);
    max-height: 100vh;
    overflow-y: auto;
    padding: 40px 20px 40px 12px;
    border-left: 1px solid var(--border);
    background: var(--bg);
    display: none;
}

@media (min-width: 1400px) {
    .toc {
        display: block;
    }
}

.toc-title {
    font-size: 11px;
    font-weight: 700;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    color: var(--text-muted);
    margin-bottom: 10px;
}

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

.toc li {
    margin: 0;
}

.toc a {
    display: block;
    padding: 4px 8px;
    font-size: 12.5px;
    line-height: 1.45;
    color: var(--text-muted);
    text-decoration: none;
    border-left: 2px solid var(--border);
    transition: color 0.15s, border-color 0.15s;
}

.toc a:hover {
    color: var(--accent);
}

.toc a.toc-h3 {
    padding-left: 20px;
    font-size: 12px;
}

.toc a.active {
    color: var(--accent);
    border-left-color: var(--accent);
    font-weight: 600;
}

.content h1 {
    font-size: 28px;
    color: var(--heading);
    font-weight: 800;
    margin-bottom: 16px;
    padding-bottom: 12px;
    border-bottom: 2px solid var(--border);
    letter-spacing: -0.03em;
}

.content h2 {
    font-size: 22px;
    color: var(--heading);
    font-weight: 700;
    margin-top: 40px;
    margin-bottom: 12px;
    padding-bottom: 6px;
    border-bottom: 1px solid var(--border);
    letter-spacing: -0.02em;
}

.content h3 {
    font-size: 18px;
    color: var(--heading);
    font-weight: 600;
    margin-top: 28px;
    margin-bottom: 8px;
}

/* Anchor offset so linked headings aren't hidden under the viewport edge */
.content h2, .content h3, .content h4 {
    scroll-margin-top: 24px;
}

/* Heading permalinks: revealed on hover */
.content .headerlink {
    float: right;
    margin-left: 12px;
    color: var(--border);
    text-decoration: none;
    font-weight: 400;
    opacity: 0;
    transition: opacity 0.15s;
}

.content h2:hover .headerlink,
.content h3:hover .headerlink,
.content h4:hover .headerlink {
    opacity: 1;
}

.content .headerlink:hover {
    color: var(--accent);
}

.content h4 {
    font-size: 15px;
    color: var(--heading);
    font-weight: 600;
    margin-top: 20px;
    margin-bottom: 6px;
}

.content p {
    margin-bottom: 12px;
}

.content a {
    color: var(--link);
    text-decoration: none;
}

.content a:hover {
    text-decoration: underline;
}

.content ul, .content ol {
    /* Indent via padding, not margin-left, so the block can still be centred. */
    margin: 8px 0 12px;
    padding-left: 24px;
}

.content li {
    margin-bottom: 4px;
}

.content strong {
    font-weight: 600;
    color: var(--heading);
}

/* Code */
.content code {
    font-family: "JetBrains Mono", "Fira Code", "Cascadia Code", monospace;
    font-size: 13px;
    background: var(--bg-code);
    padding: 2px 6px;
    border-radius: 4px;
}

.content pre {
    background: var(--bg-code);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 16px 20px;
    overflow-x: auto;
    margin: 12px 0 16px;
    font-size: 13px;
    line-height: 1.6;
}

.content pre code {
    background: none;
    padding: 0;
}

/* Mermaid */
.mermaid {
    background: var(--bg);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 20px;
    margin: 16px 0;
    text-align: center;
    overflow-x: auto;
}

/* Zoomable diagram wrapper (built by JS around each .mermaid) */
.diagram {
    position: relative;
    margin: 16px 0;
}

.diagram .mermaid {
    margin: 0;
    max-width: 100%;
    overflow: auto;
    contain: layout paint;
    cursor: grab;
}

.diagram .mermaid.is-zoomed {
    max-height: 80vh;
    text-align: left;
}

.diagram .mermaid.is-panning {
    cursor: grabbing;
    user-select: none;
}

.diagram-tools {
    position: absolute;
    top: 8px;
    right: 8px;
    z-index: 5;
    display: flex;
    gap: 2px;
    padding: 2px;
    background: var(--bg-sidebar);
    border: 1px solid var(--border);
    border-radius: 6px;
    opacity: 0;
    transition: opacity 0.15s;
}

.diagram:hover .diagram-tools,
.diagram-tools:focus-within {
    opacity: 1;
}

.diagram-tools button {
    width: 26px;
    height: 26px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: none;
    border: none;
    border-radius: 4px;
    cursor: pointer;
    font-size: 13px;
    line-height: 1;
    color: var(--text-muted);
}

.diagram-tools button:hover {
    background: var(--accent-light);
    color: var(--accent);
}

.diagram-zoom {
    min-width: 40px;
    padding: 0 4px;
    font-size: 11px;
    font-variant-numeric: tabular-nums;
    color: var(--text-muted);
    display: flex;
    align-items: center;
    justify-content: center;
}

/* Fullscreen: the wrapper becomes the whole viewport */
.diagram:fullscreen {
    background: var(--bg);
    padding: 12px;
}

.diagram:fullscreen .mermaid {
    height: 100%;
    max-height: none;
    border: none;
}

/* Touch devices have no hover — keep the controls visible */
@media (hover: none) {
    .diagram-tools { opacity: 1; }
}

/* Tables */
.table-wrap {
    overflow-x: auto;
    margin: 12px 0 16px;
    border: 1px solid var(--border);
    border-radius: 8px;
}

.content table {
    width: 100%;
    border-collapse: collapse;
    margin: 0;
    font-size: 14px;
}

.content th, .content td {
    padding: 10px 14px;
    border-bottom: 1px solid var(--border);
    border-right: 1px solid var(--border);
    text-align: left;
    vertical-align: top;
}

.content th:last-child, .content td:last-child {
    border-right: none;
}

.content tbody tr:last-child td {
    border-bottom: none;
}

.content th {
    background: var(--bg-code);
    font-weight: 600;
    color: var(--heading);
    white-space: nowrap;
    position: sticky;
    top: 0;
}

.content tbody tr:nth-child(even) {
    background: var(--table-stripe);
}

/* Keep inline code readable inside tables */
.content td code, .content th code {
    font-size: 12.5px;
    white-space: nowrap;
}

/* Blockquotes */
.content blockquote {
    border-left: 4px solid var(--accent);
    background: var(--accent-light);
    padding: 12px 16px;
    margin: 12px 0;
    border-radius: 0 6px 6px 0;
}

/* Horizontal rule */
.content hr {
    border: none;
    border-top: 1px solid var(--border);
    margin: 32px 0;
}

/* Back to top */
.back-to-top {
    position: fixed;
    bottom: 24px;
    right: 24px;
    background: var(--accent);
    color: white;
    border: none;
    border-radius: 50%;
    width: 40px;
    height: 40px;
    font-size: 18px;
    cursor: pointer;
    opacity: 0;
    transition: opacity 0.3s;
    z-index: 50;
}

.back-to-top.visible {
    opacity: 1;
}

/* Responsive */
@media (max-width: 768px) {
    :root {
        /* No sidebar or TOC below this width — let the text use the full page. */
        --content-max: none;
        --wide-max: none;
    }
    .sidebar {
        transform: translateX(-100%);
    }
    .sidebar.open {
        transform: translateX(0);
    }
    .menu-toggle {
        display: block;
    }
    .content {
        margin-left: 0;
        margin-right: 0;
        padding: 60px 20px 60px;
    }
    .content h1 {
        font-size: 24px;
    }
    .content h2 {
        font-size: 20px;
    }
    .table-wrap {
        font-size: 13px;
    }
}

/* Overview knowledge map */
.knowledge-overview,
.domain-landscape {
    margin-top: 36px;
}

.overview-section-title {
    margin: 0 0 6px;
    padding-bottom: 8px;
    border-bottom: 1px solid var(--border);
}

.overview-section-desc {
    color: var(--text-muted);
    font-size: 14px;
    margin: 0 0 16px;
}

.knowledge-map {
    margin-top: 20px;
}

.knowledge-path {
    display: flex;
    align-items: stretch;
    gap: 0;
}

.knowledge-stage {
    --stage-accent: var(--accent);
    position: relative;
    display: flex;
    flex-direction: column;
    flex: 1 1 0;
    min-width: 0;
    padding: 18px 14px 16px;
    overflow: hidden;
    border: 1px solid color-mix(in srgb, var(--stage-accent) 30%, var(--border));
    border-radius: 16px;
    background:
        linear-gradient(145deg,
            color-mix(in srgb, var(--stage-accent) 12%, var(--bg-code)),
            var(--bg-code) 58%);
    box-shadow: 0 12px 28px color-mix(in srgb, var(--stage-accent) 8%, transparent);
}

.knowledge-stage:first-child {
    flex-grow: 1.28;
}

.knowledge-stage::before {
    content: "";
    position: absolute;
    inset: 0 0 auto;
    height: 4px;
    background: var(--stage-accent);
}

.knowledge-stage-sense { --stage-accent: var(--map-sense); }
.knowledge-stage-model { --stage-accent: var(--map-model); }
.knowledge-stage-action { --stage-accent: var(--map-action); }
.knowledge-stage-robot { --stage-accent: var(--map-robot); }
.knowledge-stage-production { --stage-accent: var(--map-production); }

.knowledge-stage-header {
    display: flex;
    align-items: center;
    gap: 8px;
    margin-bottom: 14px;
}

.knowledge-stage-header h3 {
    margin: 0;
    color: var(--heading);
    font-size: 14px;
    font-weight: 700;
    line-height: 1.25;
}

.knowledge-step {
    color: var(--stage-accent);
    font-size: 11px;
    font-weight: 800;
    letter-spacing: 0.08em;
}

.knowledge-nodes {
    display: grid;
    flex: 1;
    align-content: center;
    gap: 8px;
}

.knowledge-node {
    display: block;
    min-width: 0;
    padding: 10px 10px 9px;
    border: 1px solid color-mix(in srgb, var(--stage-accent) 16%, var(--border));
    border-radius: 10px;
    background: color-mix(in srgb, var(--bg) 86%, var(--stage-accent));
    color: var(--text);
    text-decoration: none;
    transition: transform 0.16s ease, border-color 0.16s ease, box-shadow 0.16s ease;
}

.knowledge-node:hover {
    transform: translateY(-2px);
    border-color: var(--stage-accent);
    box-shadow: 0 7px 16px color-mix(in srgb, var(--stage-accent) 13%, transparent);
    text-decoration: none;
}

.knowledge-node:focus-visible {
    outline: 2px solid var(--stage-accent);
    outline-offset: 2px;
}

.knowledge-node-title,
.knowledge-node-detail {
    display: block;
}

.knowledge-node-title {
    color: var(--heading);
    font-size: 12px;
    font-weight: 700;
    line-height: 1.25;
}

.knowledge-node-detail {
    margin-top: 3px;
    color: var(--text-muted);
    font-size: 10px;
    line-height: 1.35;
}

.knowledge-flow {
    flex: 0 0 42px;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    color: var(--text-muted);
    text-align: center;
}

.knowledge-flow span {
    max-width: 42px;
    font-size: 9px;
    line-height: 1.2;
}

.knowledge-flow b {
    color: var(--accent);
    font-size: 22px;
    font-weight: 500;
    line-height: 1;
}

.knowledge-feedback {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 10px;
    margin: 14px 24px 0;
    padding: 10px 16px;
    border-radius: 999px;
    background: color-mix(in srgb, var(--map-production) 10%, var(--bg-code));
    color: var(--text-muted);
    font-size: 12px;
}

.knowledge-feedback strong {
    color: var(--heading);
}

.feedback-mark {
    color: var(--map-production);
    font-size: 20px;
    line-height: 1;
}

.feedback-arrow {
    color: var(--map-production);
}

/* Filterable honeycomb: counts are tagged-document coverage, not percentages. */
.domain-honeycomb {
    display: grid;
    grid-template-columns: repeat(5, minmax(112px, 172px));
    grid-template-rows: repeat(3, minmax(124px, 150px));
    justify-content: center;
    align-items: center;
    gap: 2px 8px;
    margin: 12px auto 4px;
}

.domain-hex {
    grid-column: var(--hex-col);
    grid-row: var(--hex-row);
    place-self: center;
    width: min(100%, 164px);
    aspect-ratio: 1.1547;
    border: 0;
    padding: 22px 20px;
    clip-path: polygon(25% 0, 75% 0, 100% 50%, 75% 100%, 25% 100%, 0 50%);
    background: color-mix(in srgb, var(--accent) var(--hex-heat), var(--bg));
    color: var(--text);
    cursor: pointer;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    text-align: center;
    font: inherit;
    transition: transform 0.16s ease, filter 0.16s ease, background 0.16s ease;
}

.domain-hex:hover {
    transform: translateY(-3px);
    filter: drop-shadow(0 5px 7px color-mix(in srgb, var(--accent) 28%, transparent));
}

.domain-hex:focus-visible {
    filter: drop-shadow(0 0 0.35rem var(--accent));
}

.domain-hex.is-active {
    background: var(--accent);
    color: var(--bg);
    filter: drop-shadow(0 5px 8px color-mix(in srgb, var(--accent) 36%, transparent));
}

.domain-count {
    font-size: clamp(24px, 2.2vw, 34px);
    font-weight: 800;
    line-height: 1;
    font-variant-numeric: tabular-nums;
}

.domain-label {
    margin-top: 6px;
    font-size: 13px;
    font-weight: 700;
    line-height: 1.25;
}

.domain-unit {
    margin-top: 3px;
    color: currentColor;
    opacity: 0.72;
    font-size: 11px;
    line-height: 1.2;
}

.domain-filter-status {
    min-height: 1.7em;
    margin: 8px 0 0;
    text-align: center;
    color: var(--text-muted);
    font-size: 13px;
}

[hidden] {
    display: none !important;
}

@media (max-width: 700px) {
    .knowledge-path {
        flex-direction: column;
        gap: 0;
    }

    .knowledge-stage,
    .knowledge-stage:first-child {
        flex: none;
        width: 100%;
    }

    .knowledge-flow {
        flex: 0 0 46px;
        flex-direction: row;
        gap: 8px;
    }

    .knowledge-flow span {
        max-width: none;
        font-size: 10px;
    }

    .knowledge-flow b {
        transform: rotate(90deg);
    }

    .knowledge-feedback {
        flex-wrap: wrap;
        gap: 6px 8px;
        margin-inline: 0;
        border-radius: 14px;
        text-align: center;
    }

    .domain-honeycomb {
        grid-template-columns: repeat(2, minmax(0, 1fr));
        grid-template-rows: none;
        gap: 8px;
        max-width: 360px;
    }

    .domain-hex {
        grid-column: auto !important;
        grid-row: auto !important;
        width: 100%;
        max-width: 164px;
    }

    .domain-hex-all {
        grid-column: 1 / -1 !important;
    }
}

/* Index cards */
.card-grid {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(380px, 1fr));
    gap: 16px;
    margin-top: 24px;
}

.card {
    background: var(--bg-code);
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 20px 24px;
    transition: border-color 0.2s, box-shadow 0.2s;
}

.card:hover {
    border-color: var(--accent);
    box-shadow: 0 2px 12px rgba(37, 99, 235, 0.08);
}

.card h3 {
    margin: 0 0 8px;
    font-size: 17px;
}

.card h3 a {
    color: var(--accent);
    text-decoration: none;
}

.card p {
    font-size: 13px;
    color: var(--text-muted);
    line-height: 1.6;
    margin: 0;
}

.publication-guide {
    margin-top: 32px;
    padding: 12px 16px;
    border-left: 3px solid var(--accent);
    border-radius: 4px;
    background: var(--bg-code);
    color: var(--text-muted);
    font-size: 13px;
    line-height: 1.7;
}

.card-meta {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px 12px;
    margin: 0 0 12px;
    font-size: 12px;
}

.card-date {
    display: inline-flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px;
    padding: 4px 9px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg);
}

.card-date time {
    color: var(--heading);
    font-size: 14px;
    font-weight: 700;
    font-variant-numeric: tabular-nums;
    letter-spacing: 0.035em;
}

.card-date-kind, .card-date-pending {
    color: var(--text-muted);
}

.card-date-source {
    color: var(--link);
    white-space: nowrap;
}

.card .card-date-note {
    margin: -4px 0 10px;
    font-size: 12px;
}

/* Category sections on the index page */
.cat {
    margin-top: 44px;
}

.cat:first-of-type {
    margin-top: 28px;
}

.cat-title {
    display: flex;
    align-items: center;
    gap: 10px;
    margin: 0 0 4px;
    padding-bottom: 8px;
    border-bottom: 1px solid var(--border);
}

.cat-count {
    font-size: 12px;
    font-weight: 600;
    color: var(--text-muted);
    background: var(--bg-code);
    border: 1px solid var(--border);
    border-radius: 999px;
    padding: 1px 9px;
}

.cat-desc {
    font-size: 13px;
    color: var(--text-muted);
    margin: 0;
}

.cat .card-grid {
    margin-top: 16px;
}

/* Overview card that owns sub-documents */
.card-lead {
    border-color: var(--accent);
    background: var(--accent-light);
}

.card-badge {
    display: inline-block;
    font-size: 11px;
    font-weight: 600;
    letter-spacing: 0.02em;
    color: var(--accent);
    background: var(--bg);
    border: 1px solid var(--accent);
    border-radius: 4px;
    padding: 1px 7px;
    margin-bottom: 8px;
}

.card-badge-sub {
    color: var(--text-muted);
    border-color: var(--border);
    background: var(--bg);
}

/* Sidebar category headings */
.sidebar nav .nav-group {
    padding: 16px 20px 6px;
    font-size: 11px;
    font-weight: 700;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    color: var(--text-muted);
}

.sidebar nav a.nav-child {
    padding-left: 36px;
    font-size: 13px;
    color: var(--text-muted);
}

.sidebar nav a.nav-child::before {
    content: "└ ";
    opacity: 0.5;
}

.sidebar nav a.nav-child.active {
    color: var(--accent);
}

/* Syntax highlighting (Pygments) */
pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight { background: #f8f8f8; }
.highlight .c { color: #3D7B7B; font-style: italic } /* Comment */
.highlight .err { border: 1px solid #F00 } /* Error */
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
.highlight .o { color: #666 } /* Operator */
.highlight .ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
.highlight .cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #9C6500 } /* Comment.Preproc */
.highlight .cpf { color: #3D7B7B; font-style: italic } /* Comment.PreprocFile */
.highlight .c1 { color: #3D7B7B; font-style: italic } /* Comment.Single */
.highlight .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
.highlight .gd { color: #A00000 } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #E40000 } /* Generic.Error */
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #008400 } /* Generic.Inserted */
.highlight .go { color: #717171 } /* Generic.Output */
.highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.highlight .gt { color: #04D } /* Generic.Traceback */
.highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008000 } /* Keyword.Pseudo */
.highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #B00040 } /* Keyword.Type */
.highlight .m { color: #666 } /* Literal.Number */
.highlight .s { color: #BA2121 } /* Literal.String */
.highlight .na { color: #687822 } /* Name.Attribute */
.highlight .nb { color: #008000 } /* Name.Builtin */
.highlight .nc { color: #00F; font-weight: bold } /* Name.Class */
.highlight .no { color: #800 } /* Name.Constant */
.highlight .nd { color: #A2F } /* Name.Decorator */
.highlight .ni { color: #717171; font-weight: bold } /* Name.Entity */
.highlight .ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #00F } /* Name.Function */
.highlight .nl { color: #767600 } /* Name.Label */
.highlight .nn { color: #00F; font-weight: bold } /* Name.Namespace */
.highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #19177C } /* Name.Variable */
.highlight .ow { color: #A2F; font-weight: bold } /* Operator.Word */
.highlight .w { color: #BBB } /* Text.Whitespace */
.highlight .mb { color: #666 } /* Literal.Number.Bin */
.highlight .mf { color: #666 } /* Literal.Number.Float */
.highlight .mh { color: #666 } /* Literal.Number.Hex */
.highlight .mi { color: #666 } /* Literal.Number.Integer */
.highlight .mo { color: #666 } /* Literal.Number.Oct */
.highlight .sa { color: #BA2121 } /* Literal.String.Affix */
.highlight .sb { color: #BA2121 } /* Literal.String.Backtick */
.highlight .sc { color: #BA2121 } /* Literal.String.Char */
.highlight .dl { color: #BA2121 } /* Literal.String.Delimiter */
.highlight .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
.highlight .s2 { color: #BA2121 } /* Literal.String.Double */
.highlight .se { color: #AA5D1F; font-weight: bold } /* Literal.String.Escape */
.highlight .sh { color: #BA2121 } /* Literal.String.Heredoc */
.highlight .si { color: #A45A77; font-weight: bold } /* Literal.String.Interpol */
.highlight .sx { color: #008000 } /* Literal.String.Other */
.highlight .sr { color: #A45A77 } /* Literal.String.Regex */
.highlight .s1 { color: #BA2121 } /* Literal.String.Single */
.highlight .ss { color: #19177C } /* Literal.String.Symbol */
.highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #00F } /* Name.Function.Magic */
.highlight .vc { color: #19177C } /* Name.Variable.Class */
.highlight .vg { color: #19177C } /* Name.Variable.Global */
.highlight .vi { color: #19177C } /* Name.Variable.Instance */
.highlight .vm { color: #19177C } /* Name.Variable.Magic */
.highlight .il { color: #666 } /* Literal.Number.Integer.Long */
.highlight pre, .highlight { background: none; }

@media (prefers-color-scheme: dark) {
    pre { line-height: 125%; }
    td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
    span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
    td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
    span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
    :root:not([data-theme="light"]) .highlight .hll { background-color: #6e7681 }
    :root:not([data-theme="light"]) .highlight { background: #0d1117; color: #E6EDF3 }
    :root:not([data-theme="light"]) .highlight .c { color: #8B949E; font-style: italic } /* Comment */
    :root:not([data-theme="light"]) .highlight .err { color: #F85149 } /* Error */
    :root:not([data-theme="light"]) .highlight .esc { color: #E6EDF3 } /* Escape */
    :root:not([data-theme="light"]) .highlight .g { color: #E6EDF3 } /* Generic */
    :root:not([data-theme="light"]) .highlight .k { color: #FF7B72 } /* Keyword */
    :root:not([data-theme="light"]) .highlight .l { color: #A5D6FF } /* Literal */
    :root:not([data-theme="light"]) .highlight .n { color: #E6EDF3 } /* Name */
    :root:not([data-theme="light"]) .highlight .o { color: #FF7B72; font-weight: bold } /* Operator */
    :root:not([data-theme="light"]) .highlight .x { color: #E6EDF3 } /* Other */
    :root:not([data-theme="light"]) .highlight .p { color: #E6EDF3 } /* Punctuation */
    :root:not([data-theme="light"]) .highlight .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
    :root:not([data-theme="light"]) .highlight .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
    :root:not([data-theme="light"]) .highlight .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
    :root:not([data-theme="light"]) .highlight .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
    :root:not([data-theme="light"]) .highlight .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
    :root:not([data-theme="light"]) .highlight .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
    :root:not([data-theme="light"]) .highlight .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
    :root:not([data-theme="light"]) .highlight .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
    :root:not([data-theme="light"]) .highlight .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
    :root:not([data-theme="light"]) .highlight .gr { color: #FFA198 } /* Generic.Error */
    :root:not([data-theme="light"]) .highlight .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
    :root:not([data-theme="light"]) .highlight .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
    :root:not([data-theme="light"]) .highlight .go { color: #8B949E } /* Generic.Output */
    :root:not([data-theme="light"]) .highlight .gp { color: #8B949E } /* Generic.Prompt */
    :root:not([data-theme="light"]) .highlight .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
    :root:not([data-theme="light"]) .highlight .gu { color: #79C0FF } /* Generic.Subheading */
    :root:not([data-theme="light"]) .highlight .gt { color: #FF7B72 } /* Generic.Traceback */
    :root:not([data-theme="light"]) .highlight .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
    :root:not([data-theme="light"]) .highlight .kc { color: #79C0FF } /* Keyword.Constant */
    :root:not([data-theme="light"]) .highlight .kd { color: #FF7B72 } /* Keyword.Declaration */
    :root:not([data-theme="light"]) .highlight .kn { color: #FF7B72 } /* Keyword.Namespace */
    :root:not([data-theme="light"]) .highlight .kp { color: #79C0FF } /* Keyword.Pseudo */
    :root:not([data-theme="light"]) .highlight .kr { color: #FF7B72 } /* Keyword.Reserved */
    :root:not([data-theme="light"]) .highlight .kt { color: #FF7B72 } /* Keyword.Type */
    :root:not([data-theme="light"]) .highlight .ld { color: #79C0FF } /* Literal.Date */
    :root:not([data-theme="light"]) .highlight .m { color: #A5D6FF } /* Literal.Number */
    :root:not([data-theme="light"]) .highlight .s { color: #A5D6FF } /* Literal.String */
    :root:not([data-theme="light"]) .highlight .na { color: #E6EDF3 } /* Name.Attribute */
    :root:not([data-theme="light"]) .highlight .nb { color: #E6EDF3 } /* Name.Builtin */
    :root:not([data-theme="light"]) .highlight .nc { color: #F0883E; font-weight: bold } /* Name.Class */
    :root:not([data-theme="light"]) .highlight .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
    :root:not([data-theme="light"]) .highlight .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
    :root:not([data-theme="light"]) .highlight .ni { color: #FFA657 } /* Name.Entity */
    :root:not([data-theme="light"]) .highlight .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
    :root:not([data-theme="light"]) .highlight .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
    :root:not([data-theme="light"]) .highlight .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
    :root:not([data-theme="light"]) .highlight .nn { color: #FF7B72 } /* Name.Namespace */
    :root:not([data-theme="light"]) .highlight .nx { color: #E6EDF3 } /* Name.Other */
    :root:not([data-theme="light"]) .highlight .py { color: #79C0FF } /* Name.Property */
    :root:not([data-theme="light"]) .highlight .nt { color: #7EE787 } /* Name.Tag */
    :root:not([data-theme="light"]) .highlight .nv { color: #79C0FF } /* Name.Variable */
    :root:not([data-theme="light"]) .highlight .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
    :root:not([data-theme="light"]) .highlight .pm { color: #E6EDF3 } /* Punctuation.Marker */
    :root:not([data-theme="light"]) .highlight .w { color: #6E7681 } /* Text.Whitespace */
    :root:not([data-theme="light"]) .highlight .mb { color: #A5D6FF } /* Literal.Number.Bin */
    :root:not([data-theme="light"]) .highlight .mf { color: #A5D6FF } /* Literal.Number.Float */
    :root:not([data-theme="light"]) .highlight .mh { color: #A5D6FF } /* Literal.Number.Hex */
    :root:not([data-theme="light"]) .highlight .mi { color: #A5D6FF } /* Literal.Number.Integer */
    :root:not([data-theme="light"]) .highlight .mo { color: #A5D6FF } /* Literal.Number.Oct */
    :root:not([data-theme="light"]) .highlight .sa { color: #79C0FF } /* Literal.String.Affix */
    :root:not([data-theme="light"]) .highlight .sb { color: #A5D6FF } /* Literal.String.Backtick */
    :root:not([data-theme="light"]) .highlight .sc { color: #A5D6FF } /* Literal.String.Char */
    :root:not([data-theme="light"]) .highlight .dl { color: #79C0FF } /* Literal.String.Delimiter */
    :root:not([data-theme="light"]) .highlight .sd { color: #A5D6FF } /* Literal.String.Doc */
    :root:not([data-theme="light"]) .highlight .s2 { color: #A5D6FF } /* Literal.String.Double */
    :root:not([data-theme="light"]) .highlight .se { color: #79C0FF } /* Literal.String.Escape */
    :root:not([data-theme="light"]) .highlight .sh { color: #79C0FF } /* Literal.String.Heredoc */
    :root:not([data-theme="light"]) .highlight .si { color: #A5D6FF } /* Literal.String.Interpol */
    :root:not([data-theme="light"]) .highlight .sx { color: #A5D6FF } /* Literal.String.Other */
    :root:not([data-theme="light"]) .highlight .sr { color: #79C0FF } /* Literal.String.Regex */
    :root:not([data-theme="light"]) .highlight .s1 { color: #A5D6FF } /* Literal.String.Single */
    :root:not([data-theme="light"]) .highlight .ss { color: #A5D6FF } /* Literal.String.Symbol */
    :root:not([data-theme="light"]) .highlight .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
    :root:not([data-theme="light"]) .highlight .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
    :root:not([data-theme="light"]) .highlight .vc { color: #79C0FF } /* Name.Variable.Class */
    :root:not([data-theme="light"]) .highlight .vg { color: #79C0FF } /* Name.Variable.Global */
    :root:not([data-theme="light"]) .highlight .vi { color: #79C0FF } /* Name.Variable.Instance */
    :root:not([data-theme="light"]) .highlight .vm { color: #79C0FF } /* Name.Variable.Magic */
    :root:not([data-theme="light"]) .highlight .il { color: #A5D6FF } /* Literal.Number.Integer.Long */
}

pre { line-height: 125%; }
td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
:root[data-theme="dark"] .highlight .hll { background-color: #6e7681 }
:root[data-theme="dark"] .highlight { background: #0d1117; color: #E6EDF3 }
:root[data-theme="dark"] .highlight .c { color: #8B949E; font-style: italic } /* Comment */
:root[data-theme="dark"] .highlight .err { color: #F85149 } /* Error */
:root[data-theme="dark"] .highlight .esc { color: #E6EDF3 } /* Escape */
:root[data-theme="dark"] .highlight .g { color: #E6EDF3 } /* Generic */
:root[data-theme="dark"] .highlight .k { color: #FF7B72 } /* Keyword */
:root[data-theme="dark"] .highlight .l { color: #A5D6FF } /* Literal */
:root[data-theme="dark"] .highlight .n { color: #E6EDF3 } /* Name */
:root[data-theme="dark"] .highlight .o { color: #FF7B72; font-weight: bold } /* Operator */
:root[data-theme="dark"] .highlight .x { color: #E6EDF3 } /* Other */
:root[data-theme="dark"] .highlight .p { color: #E6EDF3 } /* Punctuation */
:root[data-theme="dark"] .highlight .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
:root[data-theme="dark"] .highlight .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
:root[data-theme="dark"] .highlight .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
:root[data-theme="dark"] .highlight .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
:root[data-theme="dark"] .highlight .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
:root[data-theme="dark"] .highlight .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
:root[data-theme="dark"] .highlight .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
:root[data-theme="dark"] .highlight .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
:root[data-theme="dark"] .highlight .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
:root[data-theme="dark"] .highlight .gr { color: #FFA198 } /* Generic.Error */
:root[data-theme="dark"] .highlight .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
:root[data-theme="dark"] .highlight .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
:root[data-theme="dark"] .highlight .go { color: #8B949E } /* Generic.Output */
:root[data-theme="dark"] .highlight .gp { color: #8B949E } /* Generic.Prompt */
:root[data-theme="dark"] .highlight .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
:root[data-theme="dark"] .highlight .gu { color: #79C0FF } /* Generic.Subheading */
:root[data-theme="dark"] .highlight .gt { color: #FF7B72 } /* Generic.Traceback */
:root[data-theme="dark"] .highlight .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
:root[data-theme="dark"] .highlight .kc { color: #79C0FF } /* Keyword.Constant */
:root[data-theme="dark"] .highlight .kd { color: #FF7B72 } /* Keyword.Declaration */
:root[data-theme="dark"] .highlight .kn { color: #FF7B72 } /* Keyword.Namespace */
:root[data-theme="dark"] .highlight .kp { color: #79C0FF } /* Keyword.Pseudo */
:root[data-theme="dark"] .highlight .kr { color: #FF7B72 } /* Keyword.Reserved */
:root[data-theme="dark"] .highlight .kt { color: #FF7B72 } /* Keyword.Type */
:root[data-theme="dark"] .highlight .ld { color: #79C0FF } /* Literal.Date */
:root[data-theme="dark"] .highlight .m { color: #A5D6FF } /* Literal.Number */
:root[data-theme="dark"] .highlight .s { color: #A5D6FF } /* Literal.String */
:root[data-theme="dark"] .highlight .na { color: #E6EDF3 } /* Name.Attribute */
:root[data-theme="dark"] .highlight .nb { color: #E6EDF3 } /* Name.Builtin */
:root[data-theme="dark"] .highlight .nc { color: #F0883E; font-weight: bold } /* Name.Class */
:root[data-theme="dark"] .highlight .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
:root[data-theme="dark"] .highlight .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
:root[data-theme="dark"] .highlight .ni { color: #FFA657 } /* Name.Entity */
:root[data-theme="dark"] .highlight .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
:root[data-theme="dark"] .highlight .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
:root[data-theme="dark"] .highlight .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
:root[data-theme="dark"] .highlight .nn { color: #FF7B72 } /* Name.Namespace */
:root[data-theme="dark"] .highlight .nx { color: #E6EDF3 } /* Name.Other */
:root[data-theme="dark"] .highlight .py { color: #79C0FF } /* Name.Property */
:root[data-theme="dark"] .highlight .nt { color: #7EE787 } /* Name.Tag */
:root[data-theme="dark"] .highlight .nv { color: #79C0FF } /* Name.Variable */
:root[data-theme="dark"] .highlight .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
:root[data-theme="dark"] .highlight .pm { color: #E6EDF3 } /* Punctuation.Marker */
:root[data-theme="dark"] .highlight .w { color: #6E7681 } /* Text.Whitespace */
:root[data-theme="dark"] .highlight .mb { color: #A5D6FF } /* Literal.Number.Bin */
:root[data-theme="dark"] .highlight .mf { color: #A5D6FF } /* Literal.Number.Float */
:root[data-theme="dark"] .highlight .mh { color: #A5D6FF } /* Literal.Number.Hex */
:root[data-theme="dark"] .highlight .mi { color: #A5D6FF } /* Literal.Number.Integer */
:root[data-theme="dark"] .highlight .mo { color: #A5D6FF } /* Literal.Number.Oct */
:root[data-theme="dark"] .highlight .sa { color: #79C0FF } /* Literal.String.Affix */
:root[data-theme="dark"] .highlight .sb { color: #A5D6FF } /* Literal.String.Backtick */
:root[data-theme="dark"] .highlight .sc { color: #A5D6FF } /* Literal.String.Char */
:root[data-theme="dark"] .highlight .dl { color: #79C0FF } /* Literal.String.Delimiter */
:root[data-theme="dark"] .highlight .sd { color: #A5D6FF } /* Literal.String.Doc */
:root[data-theme="dark"] .highlight .s2 { color: #A5D6FF } /* Literal.String.Double */
:root[data-theme="dark"] .highlight .se { color: #79C0FF } /* Literal.String.Escape */
:root[data-theme="dark"] .highlight .sh { color: #79C0FF } /* Literal.String.Heredoc */
:root[data-theme="dark"] .highlight .si { color: #A5D6FF } /* Literal.String.Interpol */
:root[data-theme="dark"] .highlight .sx { color: #A5D6FF } /* Literal.String.Other */
:root[data-theme="dark"] .highlight .sr { color: #79C0FF } /* Literal.String.Regex */
:root[data-theme="dark"] .highlight .s1 { color: #A5D6FF } /* Literal.String.Single */
:root[data-theme="dark"] .highlight .ss { color: #A5D6FF } /* Literal.String.Symbol */
:root[data-theme="dark"] .highlight .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
:root[data-theme="dark"] .highlight .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
:root[data-theme="dark"] .highlight .vc { color: #79C0FF } /* Name.Variable.Class */
:root[data-theme="dark"] .highlight .vg { color: #79C0FF } /* Name.Variable.Global */
:root[data-theme="dark"] .highlight .vi { color: #79C0FF } /* Name.Variable.Instance */
:root[data-theme="dark"] .highlight .vm { color: #79C0FF } /* Name.Variable.Magic */
:root[data-theme="dark"] .highlight .il { color: #A5D6FF } /* Literal.Number.Integer.Long */