/* ── Syntax highlighting — light mode (Pygments GitHub theme) ──────────────── */

.highlight .hll { background-color: #ffffcc }
.highlight .c   { color: #999988; font-style: italic }
.highlight .err { color: #a61717; background-color: #e3d2d2 }
.highlight .k   { color: #000000; font-weight: normal }
.highlight .o   { color: #000000; font-weight: normal }
.highlight .cm  { color: #999988; font-style: italic }
.highlight .cp  { color: #999999; font-weight: normal; font-style: italic }
.highlight .c1  { color: #999988; font-style: italic }
.highlight .cs  { color: #999999; font-weight: normal; font-style: italic }
.highlight .gd  { color: #000000; background-color: #ffdddd }
.highlight .ge  { color: #000000; font-style: italic }
.highlight .gr  { color: #aa0000 }
.highlight .gh  { color: #999999 }
.highlight .gi  { color: #000000; background-color: #ddffdd }
.highlight .go  { color: #888888 }
.highlight .gp  { color: #555555 }
.highlight .gs  { font-weight: normal }
.highlight .gu  { color: #aaaaaa }
.highlight .gt  { color: #aa0000 }
.highlight .kc  { color: #000000; font-weight: normal }
.highlight .kd  { color: #000000; font-weight: normal }
.highlight .kn  { color: #000000; font-weight: normal }
.highlight .kp  { color: #000000; font-weight: normal }
.highlight .kr  { color: #000000; font-weight: normal }
.highlight .kt  { color: #445588; font-weight: normal }
.highlight .m   { color: #009999 }
.highlight .s   { color: #d01040 }
.highlight .na  { color: #008080 }
.highlight .nb  { color: #0086B3 }
.highlight .nc  { color: #445588; font-weight: normal }
.highlight .no  { color: #008080 }
.highlight .nd  { color: #3c5d5d; font-weight: normal }
.highlight .ni  { color: #800080 }
.highlight .ne  { color: #990000; font-weight: normal }
.highlight .nf  { color: #990000; font-weight: normal }
.highlight .nl  { color: #990000; font-weight: normal }
.highlight .nn  { color: #555555 }
.highlight .nt  { color: #000080 }
.highlight .nv  { color: #008080 }
.highlight .ow  { color: #000000; font-weight: normal }
.highlight .w   { color: #bbbbbb }
.highlight .mf  { color: #009999 }
.highlight .mh  { color: #009999 }
.highlight .mi  { color: #009999 }
.highlight .mo  { color: #009999 }
.highlight .sb  { color: #d01040 }
.highlight .sc  { color: #d01040 }
.highlight .sd  { color: #d01040 }
.highlight .s2  { color: #d01040 }
.highlight .se  { color: #d01040 }
.highlight .sh  { color: #d01040 }
.highlight .si  { color: #d01040 }
.highlight .sx  { color: #d01040 }
.highlight .sr  { color: #009926 }
.highlight .s1  { color: #d01040 }
.highlight .ss  { color: #990073 }
.highlight .bp  { color: #999999 }
.highlight .vc  { color: #008080 }
.highlight .vg  { color: #008080 }
.highlight .vi  { color: #008080 }
.highlight .il  { color: #009999 }

/* ── Syntax highlighting — dark mode ───────────────────────────────────────── */

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    .highlight { background-color: #122536; }
    .highlight .hll { background-color: #3d3800; }
    .highlight .c, .highlight .cm, .highlight .c1, .highlight .cs { color: #888; font-style: italic; }
    .highlight .cp  { color: #888; font-weight: normal; font-style: italic; }
    .highlight .err { color: #f97583; background-color: #3d1010; }
    .highlight .k, .highlight .kc, .highlight .kd, .highlight .kn,
    .highlight .kp, .highlight .kr { color: #c792ea; font-weight: normal; }
    .highlight .kt  { color: #c792ea; font-weight: normal; }
    .highlight .o, .highlight .ow  { color: #abb2bf; font-weight: normal; }
    .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi,
    .highlight .mo, .highlight .il { color: #d19a66; }
    .highlight .s, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2,
    .highlight .se, .highlight .sh, .highlight .si, .highlight .sx,
    .highlight .sr, .highlight .s1, .highlight .ss { color: #98c379; }
    .highlight .na  { color: #56b6c2; }
    .highlight .nb, .highlight .bp { color: #61afef; }
    .highlight .nc  { color: #e5c07b; font-weight: normal; }
    .highlight .no  { color: #56b6c2; }
    .highlight .nd  { color: #61afef; font-weight: normal; }
    .highlight .ni  { color: #c678dd; }
    .highlight .ne, .highlight .nf, .highlight .nl { color: #61afef; font-weight: normal; }
    .highlight .nn  { color: #abb2bf; }
    .highlight .nt  { color: #e06c75; }
    .highlight .nv, .highlight .vc, .highlight .vg, .highlight .vi { color: #56b6c2; }
    .highlight .w   { color: #5c6370; }
    .highlight .gd  { color: #f97583; background-color: #3d1010; }
    .highlight .ge  { color: #d4d4d4; font-style: italic; }
    .highlight .gr  { color: #f97583; }
    .highlight .gh  { color: #888; }
    .highlight .gi  { color: #98c379; background-color: #103d10; }
    .highlight .go  { color: #888; }
    .highlight .gp  { color: #888; }
    .highlight .gs  { font-weight: normal; }
    .highlight .gu  { color: #888; }
    .highlight .gt  { color: #f97583; }
  }
}

:root[data-theme="dark"] {
  .highlight { background-color: #122536; }
  .highlight .hll { background-color: #3d3800; }
  .highlight .c, .highlight .cm, .highlight .c1, .highlight .cs { color: #888; font-style: italic; }
  .highlight .cp  { color: #888; font-weight: normal; font-style: italic; }
  .highlight .err { color: #f97583; background-color: #3d1010; }
  .highlight .k, .highlight .kc, .highlight .kd, .highlight .kn,
  .highlight .kp, .highlight .kr { color: #c792ea; font-weight: normal; }
  .highlight .kt  { color: #c792ea; font-weight: normal; }
  .highlight .o, .highlight .ow  { color: #abb2bf; font-weight: normal; }
  .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi,
  .highlight .mo, .highlight .il { color: #d19a66; }
  .highlight .s, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2,
  .highlight .se, .highlight .sh, .highlight .si, .highlight .sx,
  .highlight .sr, .highlight .s1, .highlight .ss { color: #98c379; }
  .highlight .na  { color: #56b6c2; }
  .highlight .nb, .highlight .bp { color: #61afef; }
  .highlight .nc  { color: #e5c07b; font-weight: normal; }
  .highlight .no  { color: #56b6c2; }
  .highlight .nd  { color: #61afef; font-weight: normal; }
  .highlight .ni  { color: #c678dd; }
  .highlight .ne, .highlight .nf, .highlight .nl { color: #61afef; font-weight: normal; }
  .highlight .nn  { color: #abb2bf; }
  .highlight .nt  { color: #e06c75; }
  .highlight .nv, .highlight .vc, .highlight .vg, .highlight .vi { color: #56b6c2; }
  .highlight .w   { color: #5c6370; }
  .highlight .gd  { color: #f97583; background-color: #3d1010; }
  .highlight .ge  { color: #d4d4d4; font-style: italic; }
  .highlight .gr  { color: #f97583; }
  .highlight .gh  { color: #888; }
  .highlight .gi  { color: #98c379; background-color: #103d10; }
  .highlight .go  { color: #888; }
  .highlight .gp  { color: #888; }
  .highlight .gs  { font-weight: normal; }
  .highlight .gu  { color: #888; }
  .highlight .gt  { color: #f97583; }
}