/* Pygments code highlighting — light theme (default) with dark overrides */
.highlight { background: var(--bg-elevated); }
.highlight pre { margin: 0; }
.codehilite { background: var(--bg-elevated); }

/* ── Light theme tokens ─────────────────────────────────────────── */
.codehilite .hll, .highlight .hll { background: #f0f2f6; }
.codehilite .c, .highlight .c { color: #8a93a3; font-style: italic; }
.codehilite .err, .highlight .err { color: #dc2626; }
.codehilite .k, .highlight .k { color: #7c3aed; font-weight: 600; }
.codehilite .o, .highlight .o { color: #8a93a3; }
.codehilite .n, .highlight .n { color: #1a1d24; }
.codehilite .nf, .highlight .nf { color: #2563eb; }
.codehilite .nn, .highlight .nn { color: #0d9488; }
.codehilite .s, .highlight .s { color: #0d9488; }
.codehilite .s1, .highlight .s1 { color: #0d9488; }
.codehilite .s2, .highlight .s2 { color: #0d9488; }
.codehilite .sd, .highlight .sd { color: #8a93a3; }
.codehilite .si, .highlight .si { color: #d97706; }
.codehilite .nb, .highlight .nb { color: #7c3aed; }
.codehilite .bp, .highlight .bp { color: #7c3aed; }
.codehilite .nc, .highlight .nc { color: #d97706; font-weight: 600; }
.codehilite .no, .highlight .no { color: #d97706; }
.codehilite .nd, .highlight .nd { color: #7c3aed; }
.codehilite .ni, .highlight .ni { color: #2563eb; }
.codehilite .ne, .highlight .ne { color: #dc2626; font-weight: 600; }
.codehilite .nv, .highlight .nv { color: #d97706; }
.codehilite .vc, .highlight .vc { color: #d97706; }
.codehilite .vg, .highlight .vg { color: #d97706; }
.codehilite .vi, .highlight .vi { color: #d97706; }
.codehilite .vm, .highlight .vm { color: #d97706; }
.codehilite .m, .highlight .m { color: #d97706; }
.codehilite .mf, .highlight .mf { color: #d97706; }
.codehilite .mh, .highlight .mh { color: #d97706; }
.codehilite .mi, .highlight .mi { color: #d97706; }
.codehilite .il, .highlight .il { color: #d97706; }
.codehilite .kt, .highlight .kt { color: #7c3aed; }
.codehilite .kr, .highlight .kr { color: #7c3aed; font-weight: 600; }
.codehilite .kd, .highlight .kd { color: #7c3aed; font-weight: 600; }
.codehilite .kn, .highlight .kn { color: #7c3aed; font-weight: 600; }
.codehilite .kp, .highlight .kp { color: #7c3aed; }
.codehilite .ow, .highlight .ow { color: #7c3aed; font-weight: 600; }
.codehilite .ge, .highlight .ge { font-style: italic; }
.codehilite .gs, .highlight .gs { font-weight: 600; }
.codehilite .ld, .highlight .ld { color: #0d9488; }
.codehilite .sx, .highlight .sx { color: #0d9488; }
.codehilite .sr, .highlight .sr { color: #d97706; }
.codehilite .se, .highlight .se { color: #d97706; }
.codehilite .sc, .highlight .sc { color: #0d9488; }
.codehilite .sb, .highlight .sb { color: #0d9488; }
.codehilite .sh, .highlight .sh { color: #0d9488; }
.codehilite .fm, .highlight .fm { color: #2563eb; }
.codehilite .w, .highlight .w { color: #8a93a3; }
.codehilite .x, .highlight .x { color: #1a1d24; }
.codehilite .p, .highlight .p { color: #8a93a3; }

/* ── Dark theme overrides ───────────────────────────────────────── */
[data-theme="dark"] .codehilite .hll, [data-theme="dark"] .highlight .hll { background: #1c2230; }
[data-theme="dark"] .codehilite .c, [data-theme="dark"] .highlight .c { color: #6b7283; }
[data-theme="dark"] .codehilite .err, [data-theme="dark"] .highlight .err { color: #ef4444; }
[data-theme="dark"] .codehilite .n, [data-theme="dark"] .highlight .n { color: #e8eaed; }
[data-theme="dark"] .codehilite .nf, [data-theme="dark"] .highlight .nf { color: #6ea8fe; }
[data-theme="dark"] .codehilite .nn, [data-theme="dark"] .highlight .nn { color: #5eead4; }
[data-theme="dark"] .codehilite .s, [data-theme="dark"] .highlight .s { color: #5eead4; }
[data-theme="dark"] .codehilite .s1, [data-theme="dark"] .highlight .s1 { color: #5eead4; }
[data-theme="dark"] .codehilite .s2, [data-theme="dark"] .highlight .s2 { color: #5eead4; }
[data-theme="dark"] .codehilite .sd, [data-theme="dark"] .highlight .sd { color: #6b7283; }
[data-theme="dark"] .codehilite .nb, [data-theme="dark"] .highlight .nb { color: #a78bfa; }
[data-theme="dark"] .codehilite .bp, [data-theme="dark"] .highlight .bp { color: #a78bfa; }
[data-theme="dark"] .codehilite .nc, [data-theme="dark"] .highlight .nc { color: #facc15; }
[data-theme="dark"] .codehilite .no, [data-theme="dark"] .highlight .no { color: #facc15; }
[data-theme="dark"] .codehilite .nd, [data-theme="dark"] .highlight .nd { color: #a78bfa; }
[data-theme="dark"] .codehilite .ni, [data-theme="dark"] .highlight .ni { color: #6ea8fe; }
[data-theme="dark"] .codehilite .ne, [data-theme="dark"] .highlight .ne { color: #ef4444; }
[data-theme="dark"] .codehilite .nv, [data-theme="dark"] .highlight .nv { color: #facc15; }
[data-theme="dark"] .codehilite .vc, [data-theme="dark"] .highlight .vc { color: #facc15; }
[data-theme="dark"] .codehilite .vg, [data-theme="dark"] .highlight .vg { color: #facc15; }
[data-theme="dark"] .codehilite .vi, [data-theme="dark"] .highlight .vi { color: #facc15; }
[data-theme="dark"] .codehilite .vm, [data-theme="dark"] .highlight .vm { color: #facc15; }
[data-theme="dark"] .codehilite .k, [data-theme="dark"] .highlight .k { color: #a78bfa; }
[data-theme="dark"] .codehilite .kr, [data-theme="dark"] .highlight .kr { color: #a78bfa; }
[data-theme="dark"] .codehilite .kd, [data-theme="dark"] .highlight .kd { color: #a78bfa; }
[data-theme="dark"] .codehilite .kn, [data-theme="dark"] .highlight .kn { color: #a78bfa; }
[data-theme="dark"] .codehilite .kp, [data-theme="dark"] .highlight .kp { color: #a78bfa; }
[data-theme="dark"] .codehilite .ow, [data-theme="dark"] .highlight .ow { color: #a78bfa; }
[data-theme="dark"] .codehilite .kt, [data-theme="dark"] .highlight .kt { color: #a78bfa; }
[data-theme="dark"] .codehilite .m, [data-theme="dark"] .highlight .m { color: #f59e0b; }
[data-theme="dark"] .codehilite .mf, [data-theme="dark"] .highlight .mf { color: #f59e0b; }
[data-theme="dark"] .codehilite .mh, [data-theme="dark"] .highlight .mh { color: #f59e0b; }
[data-theme="dark"] .codehilite .mi, [data-theme="dark"] .highlight .mi { color: #f59e0b; }
[data-theme="dark"] .codehilite .il, [data-theme="dark"] .highlight .il { color: #f59e0b; }
[data-theme="dark"] .codehilite .si, [data-theme="dark"] .highlight .si { color: #facc15; }
[data-theme="dark"] .codehilite .sr, [data-theme="dark"] .highlight .sr { color: #facc15; }
[data-theme="dark"] .codehilite .se, [data-theme="dark"] .highlight .se { color: #facc15; }
[data-theme="dark"] .codehilite .fm, [data-theme="dark"] .highlight .fm { color: #6ea8fe; }
[data-theme="dark"] .codehilite .x, [data-theme="dark"] .highlight .x { color: #e8eaed; }
[data-theme="dark"] .codehilite .w, [data-theme="dark"] .highlight .w { color: #6b7283; }
[data-theme="dark"] .codehilite .o, [data-theme="dark"] .highlight .o { color: #6b7283; }
[data-theme="dark"] .codehilite .p, [data-theme="dark"] .highlight .p { color: #6b7283; }

/* Line numbers */
.highlight span[id^="span"] { color: #b0b8c4; margin-right: 12px; user-select: none; }
[data-theme="dark"] .highlight span[id^="span"] { color: #4a5568; }