/* Clauseline — generated from tokens.json */
:root, [data-theme="light"] {
  --surface-0: #f6f4ef;
  --surface-1: #ffffff;
  --surface-2: #eeebe3;
  --line: #dcd7cb;
  --line-strong: #8a8373;
  --ink: #1d1f1c;
  --ink-muted: #585b54;
  --ink-icon: #7d7f77;
  --brand: #1f5c4a;
  --on-brand: #ffffff;
  --brand-soft: #e2eee8;
  --change: #8a5200;
  --change-soft: #fbefd9;
  --danger: #b42318;
  --danger-soft: #fde6e2;
  --info: #1d4f91;
  --info-soft: #e4ecf7;
  --focus: var(--info);
  --scrim: rgba(20, 20, 18, 0.32);
  --shadow-raised: 0 1px 2px rgba(29, 31, 28, 0.06);
  --shadow-overlay: 0 16px 40px rgba(29, 31, 28, 0.18);
}
[data-theme="dark"] {
  --surface-0: #141412;
  --surface-1: #1c1c19;
  --surface-2: #262621;
  --line: #36352f;
  --line-strong: #77746a;
  --ink: #ecebe5;
  --ink-muted: #a9a9a0;
  --ink-icon: #7f7f76;
  --brand: #74c4a6;
  --on-brand: #0d1f18;
  --brand-soft: #1c3029;
  --change: #f0b85a;
  --change-soft: #3a2c12;
  --danger: #ff8f80;
  --danger-soft: #3f1d19;
  --info: #8fb8f2;
  --info-soft: #1a2639;
  --focus: var(--info);
  --scrim: rgba(0, 0, 0, 0.56);
  --shadow-raised: 0 1px 2px rgba(0, 0, 0, 0.4);
  --shadow-overlay: 0 16px 40px rgba(0, 0, 0, 0.6);
}
:root {
  --space-1: 4px;
  --space-2: 8px;
  --space-3: 12px;
  --space-4: 16px;
  --space-5: 24px;
  --space-6: 32px;
  --space-7: 48px;
  --radius-sm: 4px;
  --radius-md: 6px;
  --radius-lg: 10px;
  --radius-pill: 999px;
  --font-sans: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", sans-serif;
  --font-serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --font-mono: "IBM Plex Mono", ui-monospace, Menlo, monospace;
}
.display { font-family: var(--font-sans); font-size: 28px; line-height: 36px; font-weight: 600; letter-spacing: -0.01em; }
.title { font-family: var(--font-sans); font-size: 20px; line-height: 28px; font-weight: 600; }
.heading { font-family: var(--font-sans); font-size: 15px; line-height: 22px; font-weight: 600; }
.body { font-family: var(--font-sans); font-size: 14px; line-height: 22px; font-weight: 400; }
.small { font-family: var(--font-sans); font-size: 13px; line-height: 20px; font-weight: 400; }
.label { font-family: var(--font-sans); font-size: 12px; line-height: 16px; font-weight: 600; letter-spacing: 0.02em; }
.clause { font-family: var(--font-serif); font-size: 15px; line-height: 26px; font-weight: 400; }
.ref { font-family: var(--font-mono); font-size: 12px; line-height: 16px; font-weight: 500; }
.figure { font-family: var(--font-mono); font-size: 24px; line-height: 28px; font-weight: 500; }