/* Macaulay2 — Deep Field design system v2
   Ink + one accent + warm paper. Archivo / Inter / Iosevka, all OFL.
   Every contrast ratio in this file was computed, not eyeballed. */

@font-face{font-family:'Archivo';src:url('fonts/Archivo.ttf')format('truetype-variations');font-weight:100 900;font-stretch:62% 125%;font-display:swap}
@font-face{font-family:'Inter';src:url('fonts/Inter.ttf')format('truetype-variations');font-weight:100 900;font-display:swap}
@font-face{font-family:'Iosevka';src:url('fonts/Iosevka-Regular.woff2')format('woff2');font-weight:400;font-display:swap}
@font-face{font-family:'Iosevka';src:url('fonts/Iosevka-Bold.woff2')format('woff2');font-weight:700;font-display:swap}

:root{
  /* ground */
  --ink:#15163A;          /* 16.6:1 on paper */
  --ink-700:#2E2F5C;
  --ink-500:#4A4B78;
  --paper:#FAF8F3;
  --surface:#FFFFFF;
  --hairline:#E7E3D9;
  --slate:#6B6C82;        /* 4.84:1 on paper */

  /* accent — amber is the COMPUTED RESULT. ink is what you write. */
  --amber:#E8A23C;        /* fills, rails, marks. never small text */
  --amber-deep:#B97D1E;   /* 3.32:1 — large text only, >=24px */
  --amber-text:#8A5A12;   /* 5.57:1 — small accent text, links */

  --font-display:'Archivo',system-ui,sans-serif;
  --font-ui:'Inter',system-ui,sans-serif;
  --font-code:'Iosevka','JetBrains Mono',ui-monospace,monospace;

  --maxw:1180px; --read:none;
  --r-sm:4px; --r-md:8px; --r-lg:14px;
  --ease:cubic-bezier(.2,.6,.2,1);
}

*,*::before,*::after{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--paper);color:var(--ink);
  font-family:var(--font-ui);font-size:16.5px;line-height:1.6;
  -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
img,svg{display:block;max-width:100%}
a{color:inherit}

.wrap{max-width:var(--maxw);margin:0 auto;padding:0 32px}
.disp{font-family:var(--font-display);font-stretch:112%;font-weight:600;letter-spacing:-.018em;line-height:1.07}
.eyebrow{font-family:var(--font-display);font-stretch:112%;font-weight:600;
  font-size:11.5px;letter-spacing:.13em;text-transform:uppercase;color:var(--slate)}

/* ---------- header ---------- */
.hdr{position:sticky;top:0;z-index:50;background:rgba(250,248,243,.88);
  backdrop-filter:saturate(1.6)blur(12px);border-bottom:1px solid var(--hairline)}
.hdr-in{display:flex;align-items:center;gap:34px;height:66px}
.brand{display:flex;align-items:center;gap:11px;text-decoration:none;color:var(--ink);flex:none}
.brand svg{height:26px;width:auto}
.nav{display:flex;gap:26px;margin-left:6px}
.nav a{text-decoration:none;font-size:14.5px;font-weight:500;color:var(--ink-500);
  padding:4px 0;border-bottom:2px solid transparent;transition:.15s var(--ease)}
.nav a:hover{color:var(--ink);border-color:var(--amber)}
.hdr-cta{margin-left:auto;display:flex;align-items:center;gap:10px}

.btn{display:inline-flex;align-items:center;gap:8px;height:40px;padding:0 17px;
  border-radius:var(--r-md);font-size:14.5px;font-weight:600;text-decoration:none;
  border:1px solid transparent;cursor:pointer;transition:.15s var(--ease);white-space:nowrap}
.btn svg{width:17px;height:17px;flex:none}
.btn-p{background:var(--ink);color:var(--paper)}
.btn-p:hover{background:var(--ink-700)}
.btn-s{background:transparent;color:var(--ink);border-color:var(--hairline);
  box-shadow:0 1px 0 rgba(21,22,58,.03)}
.btn-s:hover{border-color:var(--ink-500);background:var(--surface)}
.btn-lg{height:48px;padding:0 22px;font-size:15.5px}

/* ---------- hero ---------- */
.hero{padding:74px 0 8px}
.chip{display:inline-flex;align-items:center;gap:9px;height:30px;padding:0 13px;
  border:1px solid var(--hairline);background:var(--surface);border-radius:100px;
  font-size:12.5px;color:var(--slate);margin-bottom:26px}
.chip b{color:var(--ink);font-weight:600}
.chip .dot{width:6px;height:6px;border-radius:50%;background:var(--amber);flex:none}
h1{margin:0 0 20px;font-size:clamp(40px,5.6vw,66px)}
.lede{margin:0 0 30px;max-width:62ch;font-size:19px;line-height:1.55;color:var(--ink-500)}
.hero-cta{display:flex;gap:12px;flex-wrap:wrap;align-items:center}
.hero-note{font-size:13.5px;color:var(--slate);margin-left:4px}

/* ---------- the signature panel: code -> computed ---------- */
.panel{margin:52px 0 0;border:1px solid var(--hairline);border-radius:var(--r-lg);
  background:var(--surface);overflow:hidden;box-shadow:0 1px 2px rgba(21,22,58,.04),0 12px 34px -18px rgba(21,22,58,.16)}
.panel-bar{display:flex;align-items:center;gap:10px;height:42px;padding:0 16px;
  border-bottom:1px solid var(--hairline);background:var(--paper)}
.panel-bar .t{font-size:12.5px;color:var(--slate)}
.panel-bar .t b{color:var(--ink);font-weight:600}
.panel-bar .sp{margin-left:auto;font-size:12px;color:var(--slate);font-family:var(--font-code)}
.panel-grid{display:grid;grid-template-columns:1fr 1fr}
.pane{padding:24px 26px;font-family:var(--font-code);font-size:13.5px;line-height:1.75}
.pane+.pane{border-left:1px solid var(--hairline);background:#FDFCF9}
.pane .lbl{font-family:var(--font-ui);font-size:11px;letter-spacing:.11em;
  text-transform:uppercase;color:var(--slate);font-weight:600;margin-bottom:14px}
.io{color:var(--amber-text);user-select:none}          /* i1 : / o1 = */
.kw{color:var(--ink-500)}
.num{color:var(--amber-text)}
.ty{color:var(--slate)}
.pane pre{margin:0;font:inherit;white-space:pre-wrap;word-break:break-word}
.betti{display:inline-block;border-left:2px solid var(--amber);padding-left:13px;margin-top:2px}

/* ---------- sections ---------- */
section{padding:78px 0}
.sec-h{max-width:60ch;margin-bottom:38px}
.sec-h h2{margin:10px 0 12px;font-size:clamp(26px,3vw,36px)}
.sec-h p{margin:0;color:var(--ink-500);font-size:17px}

.grid{display:grid;gap:1px;background:var(--hairline);
  border:1px solid var(--hairline);border-radius:var(--r-lg);overflow:hidden}
.g3{grid-template-columns:repeat(3,1fr)}
.g4{grid-template-columns:repeat(4,1fr)}
.card{background:var(--surface);padding:26px 24px}
.card h3{margin:0 0 8px;font-size:16px;font-weight:600;letter-spacing:-.005em}
.card p{margin:0;font-size:14.5px;color:var(--slate);line-height:1.6}
.card code{font-family:var(--font-code);font-size:13px;color:var(--amber-text)}

/* credibility band */
.band{background:var(--ink);color:var(--paper);border-radius:var(--r-lg);padding:44px 40px}
.band .grid4{display:grid;grid-template-columns:repeat(4,1fr);gap:34px}
.stat .n{font-family:var(--font-display);font-stretch:112%;font-weight:600;
  font-size:38px;line-height:1;color:var(--amber);letter-spacing:-.02em}
.stat .l{margin-top:9px;font-size:13.5px;color:#C9CBE4;line-height:1.45}

.split{display:grid;grid-template-columns:1.05fr .95fr;gap:52px;align-items:center}

.shot{border:1px solid var(--hairline);border-radius:var(--r-lg);overflow:hidden;
  background:var(--surface);box-shadow:0 16px 40px -22px rgba(21,22,58,.3)}

.list{list-style:none;margin:0;padding:0}
.list li{display:flex;gap:12px;padding:13px 0;border-bottom:1px solid var(--hairline);font-size:15px}
.list li:last-child{border:0}
.list .k{color:var(--slate);flex:none;width:132px;font-size:13.5px}

.ftr{border-top:1px solid var(--hairline);padding:46px 0 60px;margin-top:34px;color:var(--slate);font-size:14px}
.ftr-grid{display:grid;grid-template-columns:1.6fr 1fr 1fr 1fr;gap:34px}
.ftr h4{font-family:var(--font-display);font-stretch:112%;margin:0 0 14px;font-size:11.5px;
  letter-spacing:.13em;text-transform:uppercase;color:var(--ink);font-weight:600}
.ftr a{display:block;text-decoration:none;padding:5px 0;color:var(--slate)}
.ftr a:hover{color:var(--ink)}

@media(max-width:900px){
  .nav,.hero-note{display:none}
  .panel-grid,.split,.g3,.g4,.band .grid4,.ftr-grid{grid-template-columns:1fr}
  .pane+.pane{border-left:0;border-top:1px solid var(--hairline)}
  .wrap{padding:0 20px}
  section{padding:52px 0}
}
@media(prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}

/* ---------- downloads ---------- */
.os-tabs{display:flex;gap:8px;margin:0 0 22px;flex-wrap:wrap}
.os-tab{display:inline-flex;align-items:center;gap:9px;height:40px;padding:0 16px;
  border:1px solid var(--hairline);border-radius:var(--r-md);background:var(--surface);
  font-size:14.5px;font-weight:500;color:var(--ink-500);cursor:pointer}
.os-tab[aria-selected=true]{border-color:var(--ink);color:var(--ink);font-weight:600;
  box-shadow:inset 0 -2px 0 var(--amber)}
.cmd{display:flex;align-items:center;gap:14px;background:var(--ink);color:var(--paper);
  border-radius:var(--r-md);padding:16px 18px;font-family:var(--font-code);font-size:14px;
  margin:0 0 12px;overflow-x:auto}
.cmd .p{color:var(--amber);user-select:none;flex:none}
.cmd .cp{margin-left:auto;flex:none;border:1px solid #3A3B66;color:#C9CBE4;background:none;
  border-radius:var(--r-sm);font-size:12px;padding:5px 10px;cursor:pointer;font-family:var(--font-ui)}
.rec{display:inline-flex;align-items:center;gap:7px;height:24px;padding:0 10px;border-radius:100px;
  background:rgba(232,162,60,.16);color:var(--amber-text);font-size:11.5px;font-weight:600;
  letter-spacing:.05em;text-transform:uppercase;margin-bottom:12px}
.warn{border-left:2px solid var(--amber);background:#FFFBF4;padding:16px 18px;
  border-radius:0 var(--r-md) var(--r-md) 0;font-size:14.5px;color:var(--ink-500)}
.warn b{color:var(--ink)}

/* ---------- docs shell ---------- */
.doc-shell{display:grid;grid-template-columns:252px 1fr 208px;gap:0;
  border-top:1px solid var(--hairline);min-height:calc(100vh - 66px)}
.doc-side{border-right:1px solid var(--hairline);padding:26px 20px 60px;background:#FCFBF7}
.doc-side .rail{margin-bottom:20px}
.doc-side h5{font-family:var(--font-display);font-stretch:112%;margin:0 0 8px;font-size:10.5px;
  letter-spacing:.13em;text-transform:uppercase;color:var(--slate);font-weight:600}
.doc-side a{display:block;text-decoration:none;font-size:14px;color:var(--ink-500);
  padding:5px 9px;margin-left:-9px;border-radius:var(--r-sm);line-height:1.35}
.doc-side a:hover{background:#F2EFE7;color:var(--ink)}
.doc-side a.on{background:var(--ink);color:var(--paper);font-weight:500}
.doc-main{padding:30px 44px 70px;min-width:0}
.doc-toc{border-left:1px solid var(--hairline);padding:30px 20px;font-size:13px}
.doc-toc a{display:block;text-decoration:none;color:var(--slate);padding:4px 0}
.doc-toc a.on{color:var(--ink);font-weight:600;box-shadow:inset 2px 0 0 var(--amber);padding-left:10px}
.crumb{font-size:13px;color:var(--slate);margin-bottom:14px}
.crumb a{text-decoration:none}
.crumb b{color:var(--ink)}
.sp-search{display:flex;align-items:center;gap:9px;height:38px;padding:0 12px;
  border:1px solid var(--hairline);border-radius:var(--r-md);background:var(--surface);
  margin-bottom:22px;color:var(--slate);font-size:14px}
.sp-search kbd{margin-left:auto;font-family:var(--font-code);font-size:11px;border:1px solid var(--hairline);
  border-radius:4px;padding:2px 6px;color:var(--slate)}
.sig-line{font-family:var(--font-code);font-size:15px;background:#F4F1E9;border:1px solid var(--hairline);
  border-radius:var(--r-md);padding:13px 16px;margin:0 0 18px}
.ex{border:1px solid var(--hairline);border-radius:var(--r-md);overflow:hidden;margin:18px 0}
.ex-bar{display:flex;align-items:center;height:38px;padding:0 14px;background:var(--paper);
  border-bottom:1px solid var(--hairline);font-size:12.5px;color:var(--slate);gap:10px}
.ex-run{margin-left:auto;display:inline-flex;align-items:center;gap:6px;height:26px;padding:0 11px;
  border-radius:var(--r-sm);background:var(--ink);color:var(--paper);font-size:12px;font-weight:600;
  font-family:var(--font-ui);border:0;cursor:pointer;text-decoration:none}
/* Docs sidebar search: the input replaces the placeholder span on focus */
.sp-search input{border:0;outline:0;background:transparent;color:var(--ink);
  font:inherit;flex:1;min-width:0}
.rail a.sr-hide{display:none}
.rail.sr-empty{display:none}
.ex-body{padding:16px 18px;font-family:var(--font-code);font-size:13.5px;line-height:1.75;background:var(--surface)}
.rel{border:1px solid var(--hairline);border-radius:var(--r-md);padding:18px 20px;background:#FCFBF7;margin-top:26px}
.rel h4{font-family:var(--font-display);font-stretch:112%;margin:0 0 10px;font-size:11px;
  letter-spacing:.13em;text-transform:uppercase;color:var(--slate);font-weight:600}
.rel a{display:inline-block;text-decoration:none;font-size:13.5px;color:var(--amber-text);
  border:1px solid var(--hairline);background:var(--surface);border-radius:100px;padding:4px 12px;margin:0 6px 6px 0}
@media(max-width:900px){.doc-shell{grid-template-columns:1fr}.doc-side,.doc-toc{display:none}.doc-main{padding:24px 20px 50px}}