.shellscope{color-scheme:dark;--bg:#04060B;--bg-2:#080B12;--bg-3:#121826;--panel:#0B0F18;--glass:rgba(11,15,24,.72);--glass-2:rgba(11,15,24,.55);--panel-2:rgba(255,255,255,.05);--line:#1B2232;--line-2:#262F44;--line-3:#39435A;--ink:#ECEFF5;--ink-2:#AEB6C6;--ink-3:#8A93A6;--blue:#0A84FF;--sen:#64D2FF;--prb:#BF5AF2;--prb-ink:#D0A8FF;--yellow:#FFD60A;--red:#FF453A;--green:#30D158;--star:#FFB340;--amber:#FFB340;--cyan:#64D2FF;--lime:#30D158;--coral:#FF6961;--magenta:#BF5AF2;--cyan-soft:rgba(100,210,255,.12);--lime-soft:rgba(48,209,88,.14);--amber-soft:rgba(255,179,64,.14);--coral-soft:rgba(255,69,58,.16);--seg-bg:#F5F5F7;--seg-ink:#000000;--btn-bg:#0071E3;--btn-ink:#FFFFFF;--stage:#000000;--stage-ink:#ECEFF5;--stage-dim:#9AA3B5;--stage-line:rgba(255,255,255,.08);--stage-grid:rgba(120,140,180,.22);--stage-tag-bg:rgba(0,0,0,.55);--sans:"Geist","Geist Fallback",ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;--mono:"Geist Mono","Geist Mono Fallback",ui-monospace,"SF Mono",Menlo,monospace;--display:var(--sans);--ease:cubic-bezier(.2,.7,.2,1);--d-1:150ms;--d-2:350ms;--d-3:600ms;--s-1:4px;--s-2:8px;--s-3:12px;--s-4:16px;--s-5:24px;--s-6:32px;--s-7:48px;--s-8:64px;--s-9:96px;--r-xs:6px;--r-s:10px;--r-m:14px;--r-l:20px;--r-pill:999px;--r:var(--r-l);--t-hero:700 clamp(40px,6.4vw,88px)/1 var(--sans);--t-h1:700 clamp(32px,4.4vw,60px)/1.02 var(--sans);--t-h2:700 clamp(22px,2.6vw,32px)/1.1 var(--sans);--t-h3:600 17px/1.3 var(--sans);--t-body:400 15px/1.55 var(--sans);--t-lede:400 clamp(16px,1.3vw,18px)/1.5 var(--sans);--t-small:400 13px/1.45 var(--sans);--t-eyebrow:500 12px/1 var(--mono);--t-data:400 12.5px/1.4 var(--mono);--shadow:none;--gloss:none;--paper:var(--bg);--rule:var(--line-2);--muted:var(--ink-3);--fit:var(--blue);--pass:var(--green);--flag:var(--yellow);--reject:var(--red);--sel:var(--panel-2);--side:var(--bg-2);--top:60px;}
:root[data-theme="light"] .shellscope{color-scheme:light;--bg:#F5F5F7;--bg-2:#FFFFFF;--bg-3:#E8E8ED;--panel:#FFFFFF;--glass:rgba(255,255,255,.72);--glass-2:rgba(255,255,255,.6);--panel-2:rgba(0,0,0,.05);--line:rgba(0,0,0,.08);--line-2:rgba(0,0,0,.14);--line-3:rgba(0,0,0,.26);--ink:#1D1D1F;--ink-2:#424245;--ink-3:#5E5E63;--blue:#0066CC;--sen:#006E99;--prb:#8944AB;--prb-ink:#8944AB;--yellow:#7A5600;--red:#C9001B;--green:#1F7A35;--star:#A05A00;--amber:#A05A00;--cyan:#0066CC;--lime:#1F7A35;--coral:#C9001B;--magenta:#8944AB;--cyan-soft:rgba(0,102,204,.1);--lime-soft:rgba(31,122,53,.12);--amber-soft:rgba(160,90,0,.12);--coral-soft:rgba(201,0,27,.1);--seg-bg:#1D1D1F;--seg-ink:#FFFFFF;--btn-bg:#0071E3;--btn-ink:#FFFFFF;--stage:#000000;--stage-ink:#ECEFF5;--stage-dim:#9AA3B5;--stage-line:rgba(255,255,255,.08);--stage-grid:rgba(120,140,180,.22);--stage-tag-bg:rgba(0,0,0,.55);}
@media (prefers-color-scheme: light){:root[data-theme="system"] .shellscope{color-scheme:light;--bg:#F5F5F7;--bg-2:#FFFFFF;--bg-3:#E8E8ED;--panel:#FFFFFF;--glass:rgba(255,255,255,.72);--glass-2:rgba(255,255,255,.6);--panel-2:rgba(0,0,0,.05);--line:rgba(0,0,0,.08);--line-2:rgba(0,0,0,.14);--line-3:rgba(0,0,0,.26);--ink:#1D1D1F;--ink-2:#424245;--ink-3:#5E5E63;--blue:#0066CC;--sen:#006E99;--prb:#8944AB;--prb-ink:#8944AB;--yellow:#7A5600;--red:#C9001B;--green:#1F7A35;--star:#A05A00;--amber:#A05A00;--cyan:#0066CC;--lime:#1F7A35;--coral:#C9001B;--magenta:#8944AB;--cyan-soft:rgba(0,102,204,.1);--lime-soft:rgba(31,122,53,.12);--amber-soft:rgba(160,90,0,.12);--coral-soft:rgba(201,0,27,.1);--seg-bg:#1D1D1F;--seg-ink:#FFFFFF;--btn-bg:#0071E3;--btn-ink:#FFFFFF;--stage:#000000;--stage-ink:#ECEFF5;--stage-dim:#9AA3B5;--stage-line:rgba(255,255,255,.08);--stage-grid:rgba(120,140,180,.22);--stage-tag-bg:rgba(0,0,0,.55);}}

.shellscope,.shellscope *{box-sizing:border-box}.shellscope{font:400 15px/1.5 var(--sans);letter-spacing:-.01em;color:var(--ink);-webkit-font-smoothing:antialiased}.shellscope a{color:var(--cyan)}.shellscope :focus-visible{outline:2px solid var(--blue);outline-offset:3px;border-radius:8px}.shellscope .sr{position:absolute;width:1px;height:1px;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.shellscope .brand{display:inline-flex;align-items:center;gap:9px;height:44px;min-height:44px;line-height:0;color:var(--ink);text-decoration:none}.shellscope .nav ul{list-style:none;margin:0;display:flex;gap:2px;padding:3px;border-radius:999px;background:var(--panel-2);border:1px solid var(--line)}.shellscope .nav a{display:flex;align-items:center;min-height:38px;padding:0 16px;border-radius:999px;color:var(--ink-2);text-decoration:none;font-size:14px;font-weight:500;white-space:nowrap}.shellscope .nav a:hover{color:var(--ink)}.shellscope .nav a[aria-current="page"]{background:var(--seg-bg);color:var(--seg-ink)}.sitefoot.shellscope{margin-top:0}.shellscope nav{position:static;background:transparent;border:0;z-index:auto;top:auto}.shellscope .footnav h2{letter-spacing:0}nav.report-nav{top:60px}
.brandlogo{display:block;height:24px;width:auto;aspect-ratio:579/132;flex:none;max-width:none;align-self:center}.brandlogo.lt{display:none}:root[data-theme="light"] .brandlogo.dk{display:none}:root[data-theme="light"] .brandlogo.lt{display:block}@media (prefers-color-scheme: light){:root[data-theme="system"] .brandlogo.dk{display:none}:root[data-theme="system"] .brandlogo.lt{display:block}}
/* ---------- the site shell: top bar, menu, breadcrumbs, sub-navigation, footer ---------- */
.topbar{display:block;position:sticky;top:0;z-index:40;padding:env(safe-area-inset-top,0px) max(16px,env(safe-area-inset-right,0px)) 0 max(16px,env(safe-area-inset-left,0px));background:color-mix(in oklab,var(--bg) 78%,transparent);-webkit-backdrop-filter:saturate(180%) blur(24px);backdrop-filter:saturate(180%) blur(24px);border-bottom:1px solid var(--line)}
.tbin{max-width:1280px;margin:0 auto;display:flex;align-items:center;gap:12px;min-height:60px}
.tbin .brand{flex:none;padding:0;align-self:center;transform:none}
.brand .brandname{line-height:1.2}
.nav{flex:1 1 auto;display:flex;justify-content:center;min-width:0}
.nav ul{padding:3px}
.nav a{min-height:38px;padding:0 16px;font-size:14px}
.nav a[aria-current="page"]{background:var(--seg-bg);color:var(--seg-ink)}
.tools{display:flex;align-items:center;gap:2px;margin-left:auto;flex:none}
.iconbtn{width:44px;height:44px;border-radius:999px;border:1px solid transparent;background:transparent;color:var(--ink-2);display:inline-grid;place-items:center;cursor:pointer;padding:0;transition:background-color var(--d-1) var(--ease),color var(--d-1) var(--ease)}
.iconbtn:hover{color:var(--ink);background:var(--panel-2)}
.iconbtn svg{width:20px;height:20px;display:block}
.iconbtn kbd{display:none}
.themebtn .ti{display:none}
:root[data-theme="dark"] .themebtn .ti-dark,:root[data-theme="light"] .themebtn .ti-light,:root[data-theme="system"] .themebtn .ti-system{display:block}
.menubtn{display:none}
.menubtn .mi-close,.menubtn[aria-expanded="true"] .mi-open{display:none}
.menubtn[aria-expanded="true"] .mi-close{display:block}
.menu{position:absolute;left:0;right:0;top:100%;background:var(--bg-2);border-bottom:1px solid var(--line-2);box-shadow:0 24px 40px -24px rgba(0,0,0,.6);max-height:calc(100vh - var(--top,60px));max-height:calc(100dvh - var(--top,60px));overflow-y:auto;overscroll-behavior:contain;padding:8px max(16px,env(safe-area-inset-right,0px)) max(16px,env(safe-area-inset-bottom,0px)) max(16px,env(safe-area-inset-left,0px))}
.menu[hidden]{display:none}
.menu ul{list-style:none;margin:0;padding:0}
.menu>nav>ul{display:grid;gap:4px}
.menu .msec{border-top:1px solid var(--line);padding:6px 0 10px}
.menu .msec:first-child{border-top:0}
.menu .msec>a{display:flex;align-items:center;min-height:48px;padding:0 8px;border-radius:12px;color:var(--ink);text-decoration:none;font-size:18px;font-weight:600;letter-spacing:-.02em}
.menu .msec>a[aria-current="page"]{color:var(--cyan)}
.menu .msub{display:flex;flex-wrap:wrap;gap:6px;padding:0 8px}
.menu .msub a{display:inline-flex;align-items:center;min-height:44px;padding:0 14px;border:1px solid var(--line);border-radius:999px;color:var(--ink-2);text-decoration:none;font-size:14px}
.pagebar{padding:14px clamp(16px,3vw,40px) 0}
.pbin{max-width:1280px;margin:0 auto;display:flex;flex-wrap:wrap;align-items:center;gap:10px 16px}
.crumbs{flex:1 1 100%}
.crumbs[hidden]{display:none}
.crumbs ol{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;align-items:center;font-size:13px;color:var(--ink-3)}
.crumbs li{display:inline-flex;align-items:center;min-width:0}
.crumbs li+li::before{content:"›";margin:0 8px;color:var(--ink-3)}
.crumbs a{color:var(--ink-2);text-decoration:none;display:inline-flex;align-items:center;min-height:32px}
.crumbs a:hover{color:var(--ink);text-decoration:underline}
.crumbs li[aria-current]{color:var(--ink);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:40ch}
.subnav{display:flex;flex-wrap:wrap;gap:6px;min-width:0}
.subnav[hidden]{display:none}
.subnav a{display:inline-flex;align-items:center;min-height:36px;padding:0 14px;border-radius:999px;border:1px solid var(--line);color:var(--ink-2);text-decoration:none;font-size:13px;font-weight:500;white-space:nowrap}
.subnav a:hover{color:var(--ink);border-color:var(--line-3)}
.subnav a[aria-current="page"]{background:var(--seg-bg);color:var(--seg-ink);border-color:transparent}
.pagetools{margin-left:auto;display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.pagetools .btn[hidden]{display:none}
.provnote{margin:0;max-width:90ch;color:var(--ink-2)}
.proof b{color:var(--c)}
:root[data-theme="light"] .proof b{color:color-mix(in oklab,var(--c) 42%,#000)}
@media (prefers-color-scheme: light){:root[data-theme="system"] .proof b{color:color-mix(in oklab,var(--c) 42%,#000)}}
.provnote a{color:var(--ink-2)}
/* the home page */
.route>header.launch{padding:28px 0 0}
.launch h1{margin:0;font-size:clamp(44px,7vw,96px)}
.route>header.launch .sub{margin:16px auto 0}
.launch .ctas{margin-top:24px}
.planetfig{margin:28px 0 0;background:transparent;border-radius:0;overflow:visible}
.planetfig svg{border-radius:28px;border:1px solid rgba(255,255,255,.06);height:clamp(140px,17vw,240px)!important}
.sweepline{margin:0;font-size:17px;line-height:1.5;color:var(--ink-2);max-width:72ch}
.sweepline a{white-space:nowrap}
.planetfig figcaption{position:static;margin:8px 4px 0;font-size:12px;color:var(--ink-3);text-align:left}
.proof{margin:0 auto}
.dohere{display:grid;gap:14px}
.dohere h2{font-size:15px;color:var(--ink-3);font-weight:500}
.docards{list-style:none;margin:0;padding:0;display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(min(100%,210px),1fr))}
.docard{position:relative;display:flex;flex-direction:column;gap:6px;height:100%;padding:18px 40px 18px 18px;border-radius:20px;border:1px solid var(--line);background:var(--glass);-webkit-backdrop-filter:blur(24px);backdrop-filter:blur(24px);color:var(--ink);text-decoration:none;transition:border-color var(--d-1) var(--ease),transform var(--d-2) var(--ease)}
.docard:hover{border-color:var(--line-3);color:var(--ink);transform:translateY(-2px)}
.docard b{font-size:17px;font-weight:600;letter-spacing:-.02em}
.docard span{font-size:13.5px;line-height:1.45;color:var(--ink-2)}
.docard i{position:absolute;right:16px;top:16px;font-style:normal;font-size:20px;color:var(--cyan)}
/* the home page's worked examples: one card per stored run */
.examples{display:grid;gap:14px}
.excards{list-style:none;margin:0;padding:0;display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(min(100%,240px),1fr))}
.excard{display:flex;flex-direction:column;gap:6px;height:100%;padding:18px;border-radius:20px;border:1px solid var(--line);background:var(--glass);-webkit-backdrop-filter:blur(24px);backdrop-filter:blur(24px)}
.excard p{margin:0}
.excard h3{margin:0;font-size:22px;font-weight:600;letter-spacing:-.02em}
.excard h3 a{color:var(--ink);text-decoration:none;display:inline-flex;align-items:center;min-height:32px}
.excard h3 a:hover{text-decoration:underline}
.exkind{font-size:12px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--cyan)}
:root[data-theme="light"] .exkind{color:color-mix(in oklab,var(--cyan) 45%,#000)}
@media (prefers-color-scheme: light){:root[data-theme="system"] .exkind{color:color-mix(in oklab,var(--cyan) 45%,#000)}}
.exsum{font-size:14px;line-height:1.45;color:var(--ink-2)}
.excount{font-size:14px;font-weight:600;color:var(--ink)}
.exmeta{font-size:12.5px;color:var(--ink-3)}
.exlinks{display:flex;flex-wrap:wrap;gap:4px 14px;margin-top:auto!important;padding-top:6px}
.exlinks a,.runlinks a{display:inline-flex;align-items:center;min-height:32px;font-size:13.5px}
.runlinks{display:flex;flex-wrap:wrap;gap:4px 16px}
.refcheck{display:grid;gap:14px}
.excaveat{font-size:13px;line-height:1.45;color:var(--ink-2);border-left:2px solid var(--yellow);padding-left:8px}
/* Candidates: the dips a visitor can open, the cards behind Customise, the feed's compact table */
.rundiplist{list-style:none;margin:0;padding:0;display:grid;gap:8px}
.rundiplist li{display:flex;align-items:stretch;gap:8px}
.rundip{flex:1;min-width:0;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:2px 10px;align-items:center;padding:10px 14px;border:1px solid var(--line);border-radius:14px;color:var(--ink);text-decoration:none;background:var(--panel-2)}
.rundip:hover{border-color:var(--line-3);color:var(--ink)}
.rundip b{font-weight:600;font-size:15px}
.rundip .muted{grid-column:1;font-size:13px}
.rundip .tag{grid-row:1/3;grid-column:2}
.rundipcf{display:inline-flex;align-items:center;padding:0 14px;border:1px solid var(--line);border-radius:14px;text-decoration:none;font-size:13px;white-space:nowrap}
.tag.cand{color:var(--yellow);border-color:color-mix(in oklab,var(--yellow) 35%,transparent);background:color-mix(in oklab,var(--yellow) 8%,transparent)}
.tag.rej{color:var(--red);border-color:color-mix(in oklab,var(--red) 35%,transparent);background:color-mix(in oklab,var(--red) 8%,transparent)}
.tag.open{color:var(--ink-2)}
.secthead #customise{margin-left:auto}
#widgets:not(.customising) .wctl{display:none}
#layouttools[hidden]{display:none}
.feedsec{display:grid;grid-template-columns:minmax(0,1fr);gap:18px;min-width:0}
.feedsec>*,.feedsec .row2>*{min-width:0}
.feedsec .row2{align-items:start}
.exfilters{align-items:flex-start}
.exfilters>div{justify-content:flex-start}
.scatter.astable{padding-bottom:0}
table.excompact{font:13px var(--sans);color:var(--ink)}
table.excompact th,table.excompact td{border-bottom:1px solid var(--line)}
table.excompact th button{display:inline-flex;align-items:center;gap:8px;min-height:44px;background:none;border:0;padding:0;color:var(--ink);font:500 14px var(--sans);cursor:pointer;text-transform:none;letter-spacing:0}
table.excompact th button i{width:9px;height:9px;border-radius:50%;background:var(--c)}
table.excompact th button[aria-pressed="true"]{text-decoration:underline;text-underline-offset:4px}
/* prose pages: Docs and Page not found */
.prose{display:grid;gap:10px;max-width:880px}
.prose h2{font-size:22px;margin-top:22px}
.prose p,.prose li{color:var(--ink-2);line-height:1.6;max-width:75ch}
.prose ul,.prose ol{margin:0;padding-left:22px;display:grid;gap:6px}
.prose pre{margin:0;padding:12px 14px;border-radius:12px;background:var(--panel);border:1px solid var(--line);overflow-x:auto;font-size:13px;line-height:1.5;white-space:pre}
.prose code{font-size:.92em}
.docgrid{display:grid;gap:14px;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr))}
.docgrid .card h2{font-size:17px;margin:0 0 6px}
.docgrid .card p{margin:0 0 8px;font-size:14px}
.technote{margin:0;padding:12px 16px;border-left:3px solid var(--line-3);background:var(--panel-2);border-radius:0 12px 12px 0}
.technote p{margin:0;font:13px/1.55 var(--mono);color:var(--ink-2)}
.nfsearch{display:flex;flex-wrap:wrap;gap:10px;align-items:center}
/* How the pictures are drawn: the look grid and the rule tables */
.lookintro{margin:0 0 12px;max-width:90ch;color:var(--ink-2)}
.lookgrid{list-style:none;margin:0;padding:0;display:grid;gap:12px;grid-template-columns:repeat(auto-fill,minmax(min(100%,180px),1fr))}
.lookgrid .rfig{border-radius:var(--r-m)}
.lookgrid .readout{font-size:12px}
.lookgrid .readout b{display:block;color:var(--stage-ink);font:600 13px/1.3 var(--sans);margin-bottom:2px}
.rendrow{display:grid;gap:12px;grid-template-columns:repeat(auto-fit,minmax(min(100%,280px),1fr))}
.rendrow .rbox{aspect-ratio:4/3}
/* the footer */
.sitefoot{border-top:1px solid var(--line);margin-top:24px;padding:28px max(16px,env(safe-area-inset-right,0px)) max(28px,env(safe-area-inset-bottom,0px)) max(16px,env(safe-area-inset-left,0px));background:color-mix(in oklab,var(--bg) 86%,transparent)}
.fin{max-width:1280px;margin:0 auto;display:grid;gap:18px}
.footnav{display:grid;gap:18px 24px;grid-template-columns:repeat(auto-fit,minmax(150px,1fr))}
.footnav h2{font-size:13px;font-weight:600;color:var(--ink);margin:0 0 6px}
.footnav ul{list-style:none;margin:0;padding:0;display:grid;gap:0}
.footnav a{display:inline-flex;align-items:center;min-height:32px;color:var(--ink-2);text-decoration:none;font-size:13px}
.footnav a:hover{color:var(--ink);text-decoration:underline}
.sitefoot p{margin:0;font-size:12.5px;color:var(--ink-3);max-width:100ch}
.sitefoot .attribution{color:var(--ink-2)}
@media (max-width:899.98px){
  .nav{display:none}
  .menubtn{display:inline-grid}
  .tbin{min-height:56px;gap:4px}
}
@media (max-width:699.98px){
  .topbar{padding-top:env(safe-area-inset-top,0px)}
  .pagebar{padding:10px 16px 0}
  .pbin{gap:8px}
  .rundiplist li{flex-direction:column}
  .rundipcf{min-height:44px;justify-content:center}
  .scatter.astable{overflow-x:auto}
  .subnav{gap:6px}
  .subnav a{min-height:44px;padding:0 12px}
  .crumbs a{min-height:44px}
  .footnav a{min-height:44px}
  .route>header.launch{padding-top:12px}
  .planetfig{margin-top:20px}
  .planetfig svg{border-radius:18px}
  .proof{margin-top:0}
  .docard{padding:16px 40px 16px 16px}
}