/* Erzeugt von tools/make_tokens.py, bitte dort aendern. */
:root { color-scheme: light dark; }
:root[data-theme="light"] { color-scheme: light; }
:root[data-theme="dark"] { color-scheme: dark; }

:root {
  --bg: light-dark(#eef3fa, #071427);
  --surface: light-dark(#ffffff, #0c1f3d);
  --fg: light-dark(#0e2140, #e3edfb);
  --muted: light-dark(#4a5f80, #94aacb);
  --line: light-dark(#d0dcee, #1a3560);
  --brand: light-dark(#0a3170, #050f20);
  --brand2: light-dark(#0d4290, #0a3170);
  --brandfg: #ffffff;
  --brandmuted: #bcd0f2;
  --accent: light-dark(#0a5a9e, #66dcff);
  --accentfill: #4cd7ff;
  --onaccent: #03223a;
  --code-bg: #071a36;
  --code-fg: #e3edfb;
  --code-head: #051225;
  --code-line: #163361;
  --tok-kw: #7cc4ff;
  --tok-str: #ffb38a;
  --tok-com: #86a4cc;
  --tok-num: #d9a8f5;
  --tok-api: #6de2ff;
  --hero-pattern: linear-gradient(rgba(255,255,255,.09) 1px, transparent 1px) 0 0 / 32px 32px, linear-gradient(90deg, rgba(255,255,255,.09) 1px, transparent 1px) 0 0 / 32px 32px, linear-gradient(rgba(255,255,255,.05) 1px, transparent 1px) 0 0 / 8px 8px, linear-gradient(90deg, rgba(255,255,255,.05) 1px, transparent 1px) 0 0 / 8px 8px, var(--brand);
  --lvl1-bg: light-dark(#dcf3e5, #123526);
  --lvl1-fg: light-dark(#145a35, #7fdba9);
  --lvl2-bg: light-dark(#e1e9fb, #172a52);
  --lvl2-fg: light-dark(#1f469f, #9dbcff);
  --lvl3-bg: light-dark(#f6e3c9, #3a2a10);
  --lvl3-fg: light-dark(#7a4300, #f5c15c);
  --ok: light-dark(#157347, #59d08f);
  --mark: light-dark(#ffe08a, #5c4700);
}