/* Surface v2 tokens. Ivory, charcoal, selective blue; Instrument Serif over Manrope, IBM Plex Mono for plates. */
@font-face{font-family:Instrument;src:url('./assets/instrument-serif.woff2') format('woff2');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:Instrument;src:url('./assets/instrument-serif-italic.woff2') format('woff2');font-weight:400;font-style:italic;font-display:swap}
@font-face{font-family:Manrope;src:url('./assets/manrope.woff2') format('woff2');font-weight:200 800;font-style:normal;font-display:swap}
@font-face{font-family:'Plex Mono';src:url('./assets/plex-mono-400.woff2') format('woff2');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:'Plex Mono';src:url('./assets/plex-mono-500.woff2') format('woff2');font-weight:500;font-style:normal;font-display:swap}
:root{
  /* colour */
  --paper:#f4f1e9;--paper-light:#faf8f3;--paper-warm:#eeebe2;--paper-deep:#e7e3d8;
  --ink:#202321;--ink-soft:#3b3f3c;--muted:#535854;--quiet:#7b7f79;--line:#c9cbc2;--line-soft:#dddcd3;
  --blue:#2c61e8;--blue-ink:#1f4cc0;--blue-deep:#0f2470;--blue-pale:#dce9f7;--blue-mid:#aec9ed;--blue-lens:#8db0f2;
  --dark:#1d211f;--dark-2:#262b28;--dark-line:#3c423e;--dark-text:#e9e6dd;--dark-muted:#a9aca4;
  --paper-rgb:244 241 233;--ink-rgb:32 35 33;--blue-rgb:44 97 232;--blue-deep-rgb:15 36 112;--blue-lens-rgb:150 178 236;
  /* legacy names used by the original sections */
  --diagram-paper:#edf2f5;--diagram-ink:#52616b;--diagram-mid:#83939e;--diagram-recess:#b8c3c9;--blue-rule:#a8bccd;
  /* type */
  --serif:Instrument,Georgia,serif;--sans:Manrope,Arial,sans-serif;--mono:'Plex Mono',ui-monospace,Menlo,monospace;
  --t-display:clamp(64px,7.6vw,140px);--t-display-2:clamp(52px,6vw,112px);--t-h2:clamp(46px,5vw,88px);--t-h3:clamp(28px,2.3vw,38px);
  --t-lede:clamp(17px,1.2vw,19px);--t-body:17px;--t-small:14px;--t-label:11px;
  /* space and layout */
  --gutter:clamp(22px,4.2vw,80px);--max:1600px;--space-s:16px;--space-m:32px;--space-l:64px;--space-xl:clamp(88px,9vw,144px);
  --nav-h:84px;
  /* motion */
  --ease:cubic-bezier(.22,.61,.36,1);--ease-out:cubic-bezier(.16,1,.3,1);--ease-in-out:cubic-bezier(.65,0,.35,1);
}
@media (max-width:760px){:root{--t-body:16px;--nav-h:68px}}
