/* Syntax-highlight token colors, emitted by src/highlight_*.c as
 * <span class="tok-*">. Kept in a separate file from layout so the
 * palette can be tuned independently per theme. */

[data-theme="light"] {
  --tok-kw: #a6260a;
  --tok-str: #0a6e31;
  --tok-num: #1a5fb4;
  --tok-com: #7a7a7a;
  --tok-pre: #7a4b9e;
}

[data-theme="dark"] {
  --tok-kw: #f08a5d;
  --tok-str: #8fd19e;
  --tok-num: #7cb0f0;
  --tok-com: #8a8a8a;
  --tok-pre: #c79ee8;
}

.tok-kw  { color: var(--tok-kw); font-weight: 700; }
.tok-str { color: var(--tok-str); }
.tok-num { color: var(--tok-num); }
.tok-com { color: var(--tok-com); font-style: italic; }
.tok-pre { color: var(--tok-pre); }