/* The product theme (work/theme_tokens.py writes this file; edit THEME there). Dark is the default; light is
   html[data-theme=light]. Every text/background pair in PAIRS passes WCAG AA in both themes. */
:root{--bg:#0f1114;--panel:#171a1e;--panel2:#1e2126;--ink:#e8e6e3;--muted:#9aa0a6;--line:#2a2e34;--accent:#5fd4b8;--accent-tx:#7bf2d3;--accent-ink:#06201a;--ok:#51cf66;--ok-tx:#69db7c;--flag:#ff6b6b;--flag-tx:#ff8787;--new:#ffd43b;--new-tx:#ffd43b;--m-opus:#4dabf7;--m-opus-tx:#74c0fc;--warn:#f59f00;--warn-tx:#ffb347;--s-none:#2a2e34;--s-none-ink:#c9ced4;--s-prog:#1d3a5c;--s-prog-ink:#a5d8ff;--s-done:#12392f;--s-done-ink:#8cf0d8;--focus:#74c0fc;}
html[data-theme=light]{--bg:#f3f4f6;--panel:#ffffff;--panel2:#eceef1;--ink:#16191d;--muted:#4f5761;--line:#cfd4da;--accent:#1f6f5c;--accent-tx:#1a5f4f;--accent-ink:#ffffff;--ok:#2f9e44;--ok-tx:#1b6e2e;--flag:#e03131;--flag-tx:#b02525;--new:#fcc419;--new-tx:#7a5c00;--m-opus:#1c7ed6;--m-opus-tx:#1864ab;--warn:#f59f00;--warn-tx:#8a5300;--s-none:#e6e9ed;--s-none-ink:#3d444c;--s-prog:#dbeafe;--s-prog-ink:#1d4f91;--s-done:#d8f3ea;--s-done-ink:#145c4b;--focus:#1864ab;}