/* GENERATED from web/graph/src/themes.js by web/site/build.py.
   Do not edit. Change the colour in themes.js and rebuild —
   BRAND.md §5 makes that file the single source for the palette. */
:root {
  --paper: #F7F8FC;
  --ink: #0D1020;
  --wire: #C5C9D6;
  --label: #525260;
  --sheet: #FFFFFF;
  --hairline: #E6E8EF;
  --accent: #6E3BFF;
  --live: #19C37D;
  --secondary: #676B7A;
  --shadow: 0 6px 24px rgba(13, 16, 32, 0.14);
  --agent-1: #6E3BFF;
  --agent-2: #00C2FF;
  --agent-3: #FF4FDB;
  --agent-4: #FF9A1F;

  /* The dark graph panel, from DARK_THEME. */
  --panel-bg: #0D1020;
  --panel-ink: #EDEEF4;
  --panel-edge: #39406B;
  --panel-label: #C4C7D4;
  --panel-hud: #9BA0B4;
  --panel-hud-value: #EDEEF4;
  --panel-live: #2EE6A8;
  --panel-initial: #F4F7FF;
  --panel-agent-1: #8259FF;
  --panel-agent-2: #2BD1FF;
  --panel-agent-3: #FF6BE2;
  --panel-agent-4: #FFAC45;
}