/* Doc Intelligence: "light table" tokens. Pages are paper objects; the chrome is the table. */
/* metric-matched local fallbacks so the web-font swap does not reflow text (Onest runs ~4.9% wider than Arial) */
@font-face { font-family: "Onest Fallback"; src: local("Arial"), local("Liberation Sans"), local("Helvetica"); size-adjust: 104.9%; }
@font-face { font-family: "IBM Plex Mono Fallback"; src: local("Courier New"), local("Liberation Mono"), local("Cousine"); size-adjust: 100%; }
:root {
  --table: #e6e4dc;      /* light-table surface */
  --table-glow: #f0eee8; /* backlight centre */
  --panel: #efede6;
  --sheet: #fbfaf6;      /* paper, identical in both themes */
  --ink: #14171c;        /* the one ink */
  --ink-2: #454952;
  --ink-3: #5b5f68;
  --rule: #cdcabf;
  --rule-strong: #14171c;
  --signal: #e5391b;     /* the one signal: proofreader's red */
  --signal-ink: #bf2a0e; /* signal for text and fills that carry text */
  --signal-wash: rgb(229 57 27 / .14);
  --on-signal: #fff;     /* text on signal-ink fills */
  --focus: #14171c;

  --font-ui: "Onest", "Onest Fallback", ui-sans-serif, system-ui, sans-serif;
  --font-mono: "IBM Plex Mono", "IBM Plex Mono Fallback", ui-monospace, "SFMono-Regular", monospace;
  --font-doc: "EB Garamond", Georgia, serif;

  /* shape rule: paper is square (2px), tool chrome 14px, controls are pills */
  --r-paper: 2px;
  --r-panel: 14px;
  --r-pill: 999px;

  --ease: cubic-bezier(0.32, 0.72, 0, 1);            /* drawer curve: long, soft settle */
  --ease-out: cubic-bezier(0.23, 1, 0.32, 1);        /* strong ease-out: entrances, press, hover */
  --ease-in-out: cubic-bezier(0.77, 0, 0.175, 1);    /* on-screen movement */
  --dur-press: 160ms;
  --dur-fast: 200ms;
  --dur-ui: 250ms;
  --dur-explain: 500ms;  /* demo/explanatory motion only */
  --gutter: 16px;
  --max: 1280px;
}
@media (min-width: 720px) { :root { --gutter: 28px; } }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --table: #14161a; --table-glow: #1b1e23; --panel: #1b1e23;
    --ink: #ecebe4; --ink-2: #bdbcb4; --ink-3: #a2a199;
    --rule: #333740; --rule-strong: #ecebe4;
    --signal: #ff6a4d; --signal-ink: #ff8a70; --signal-wash: rgb(255 106 77 / .18); --on-signal: #14161a;
    --focus: #ecebe4;
  }
}