/* Colour tokens for the workspace (DESIGN.md#colors): the Live recorder palette,
   ultramarine ink on sage graph paper with red pen failures. Stylesheets use these
   instead of literal colours, so a theme only has to redefine this block. */
:root {
  /* Ink and text; ink-soft is the ultramarine pen for traces and actions */
  --color-ink: #141d6b;
  --color-ink-strong: #0c1350;
  --color-ink-soft: #2337c6;
  --color-muted: #4f5a86;
  --color-subtle: #8d96bf;
  --color-on-ink: #ffffff;
  --color-slate: #182463;
  --color-slate-ink: #33407a;
  --color-slate-soft: #4a5690;
  --color-slate-muted: #5a6596;
  --color-slate-subtle: #7a84b0;

  /* Surfaces and rules */
  --color-paper: #eef3ea;
  --color-surface: #ffffff;
  --color-surface-alt: #f6f8f3;
  --color-surface-hover: #eef1f8;
  --color-surface-sunken: #e4eadf;
  --color-rule: #d3dccd;
  --color-rule-strong: #b9c6b1;
  --color-selection: #d6dcff;

  /* Passed checks */
  --color-pass: #187a43;
  --color-pass-strong: #12613a;
  --color-pass-mark: #1f9d55;
  --color-pass-rule: #a9d8bb;
  --color-pass-bg: #e3f4e9;
  --color-pass-tint: #f0f8f2;

  /* Verified failures and open incidents */
  --color-fail: #d0223a;
  --color-fail-strong: #a3162b;
  --color-fail-rust: #b23a2c;
  --color-fail-mark: #e0263c;
  --color-fail-rule: #f5c2c9;
  --color-fail-bg: #fde9ec;
  --color-fail-tint: #fff5f6;

  /* Coverage gaps, overdue and silenced */
  --color-warn: #a85600;
  --color-warn-strong: #7a3f00;
  --color-warn-mid: #e07b00;
  --color-warn-mark: #f08a00;
  --color-warn-rule: #f7cf9a;
  --color-warn-bg: #fff1dc;
  --color-warn-tint: #fff8ee;

  /* Queued and running work */
  --color-info: #2337c6;
  --color-info-rule: #c3cbf3;
  --color-info-bg: #e9ecfd;

  /* Plans and upgrades */
  --color-upgrade: #4636d8;
  --color-upgrade-strong: #3a2bbf;
  --color-upgrade-rule: #c9c4f4;
  --color-upgrade-bg: #f1f0fd;
}