@import "https://fonts.googleapis.com/css2?family=Archivo:wdth,wght@62..125,300..900&family=Martian+Mono:wdth,wght@75..112.5,300..700&display=swap";:root{--paper:#f4f1eb;--ink:#1d2a28;--teal:#0b6e63;--soft:#4f5a57;--rule:#1d2a2833;--on-teal:#f4f1eb;--on-teal-dim:#f4f1eb55;--teal-bright:#5cc8b6;--cond:"Archivo", sans-serif;--mono:"Martian Mono", monospace;--term:ui-monospace, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", "Liberation Mono", monospace}*{box-sizing:border-box;margin:0;padding:0}html{-webkit-text-size-adjust:100%}body{background:var(--paper);color:var(--ink);font-family:var(--cond);font-stretch:100%}body:after{content:"";pointer-events:none;opacity:.18;mix-blend-mode:multiply;background:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='160'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.9' numOctaves='2'/%3E%3CfeColorMatrix values='0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .5 0'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");position:fixed;inset:0}a{color:inherit}code,pre,.mono{font-family:var(--mono);font-stretch:87%}.top{justify-content:space-between;align-items:baseline;padding:18px 28px;display:flex}.top .mark{font:900 22px var(--cond);letter-spacing:.01em;font-stretch:62%;text-decoration:none}.top nav{font:400 13px var(--mono);gap:26px;font-stretch:87%;display:flex}.top nav a{text-decoration:none}.top nav a:hover,.top nav a[aria-current]{color:var(--teal)}.display{text-transform:uppercase;letter-spacing:-.01em;padding:10px 28px 0;font-size:clamp(64px,13.5vw,230px);font-weight:900;font-stretch:62%;line-height:.82}.display span{color:var(--teal)}.display.small{font-size:clamp(48px,8vw,128px)}.sub{justify-content:flex-end;padding:22px 28px 34px;display:flex}.sub p{font:400 14px/1.6 var(--mono);max-width:46ch;font-stretch:87%}.sub strong{color:var(--teal);font-weight:700}.install{grid-template-columns:minmax(0,2fr) minmax(0,3fr);gap:16px 40px;padding:0 28px 40px;display:grid}.shell{border-bottom:2px solid var(--teal);min-width:0;font:400 13px var(--mono);align-items:center;gap:12px;padding-bottom:8px;font-stretch:87%;display:flex}.shell .os{width:6ch;color:var(--soft);flex:none;font-size:11px}.shell .dollar{color:var(--teal)}.shell code{overflow-wrap:anywhere;flex:1;min-width:0}.copy{font:400 11px var(--mono);color:var(--ink);border:1px solid var(--ink);cursor:pointer;box-shadow:0 3px 0 var(--rule);background:0 0;flex:none;padding:4px 10px;font-stretch:87%}.copy:hover{background:var(--ink);color:var(--paper)}.copy[data-copied]{background:var(--teal);border-color:var(--teal);color:var(--on-teal);box-shadow:none;transform:translateY(3px)}.copy:focus-visible{outline:2px solid var(--teal);outline-offset:2px}.install .meta{font:400 11px var(--mono);color:var(--soft);flex-wrap:wrap;grid-column:1/-1;gap:6px 22px;font-stretch:87%;display:flex}.install .meta span:first-child{color:var(--teal);font-weight:700}.install .meta a{color:var(--ink);text-underline-offset:3px}.demo{grid-template-columns:minmax(0,1fr) minmax(0,1.7fr);align-items:start;gap:48px;padding:96px 28px 0;display:grid}.repl-side>*+*{margin-top:18px}.kicker{font:400 12px var(--mono);color:var(--teal);font-stretch:87%}.demo h2,.start h2{text-transform:uppercase;font-size:clamp(44px,5.4vw,88px);font-weight:900;font-stretch:62%;line-height:.86}.demo h2 span,.start h2 span{color:var(--teal)}.repl-side p:not(.kicker){font:400 14px/1.6 var(--mono);font-stretch:87%}.repl-side code,.steps code{color:var(--teal)}.repl-side .shell{margin-top:28px}.more{font:400 12px var(--mono);color:var(--teal);text-underline-offset:3px;font-stretch:87%;display:inline-block}.term{background:var(--ink);color:var(--paper);min-width:0}.term-bar{font:400 11px var(--mono);color:#f4f1eb99;border-bottom:1px solid #f4f1eb22;justify-content:space-between;align-items:center;padding:10px 16px;font-stretch:87%;display:flex}.replay{font:inherit;color:var(--paper);cursor:pointer;background:0 0;border:1px solid #f4f1eb66;padding:3px 10px}.replay:hover{background:var(--paper);color:var(--ink)}.screen{height:51em;font:12px/1.6 var(--term);white-space:pre;padding:14px 16px 18px;overflow:auto}.screen:focus-visible{outline:2px solid var(--teal-bright);outline-offset:-2px}.screen .prompt,.screen .was,.screen .pick{color:var(--teal-bright)}.screen .pick{font-weight:700}.screen .meta{color:#f4f1eb8c}.start{grid-template-columns:minmax(0,1fr) minmax(0,1.3fr);align-items:start;gap:48px;padding:0 28px 90px;display:grid}.steps{counter-reset:step;list-style:none}.steps li{counter-increment:step;font:400 14px/1.6 var(--mono);padding:0 0 26px 44px;font-stretch:87%;position:relative}.steps li:before{content:"0" counter(step);color:var(--teal);position:absolute;top:0;left:0}.steps li+li{border-top:1px solid var(--rule);padding-top:22px}.steps li+li:before{top:22px}.steps .shell{margin:12px 0 8px}.steps p{color:var(--soft);font-size:12px}.steps a{color:var(--teal);text-underline-offset:3px}.slab{background:var(--teal);color:var(--on-teal);grid-template-columns:minmax(0,1.25fr) minmax(340px,1fr);display:grid}.slab .graph{width:100%;height:auto;display:block}.tick{stroke:var(--on-teal);stroke-width:1px;opacity:.55}.tick-l{font:400 8px var(--mono);fill:var(--on-teal);opacity:.7}.xh{stroke:var(--on-teal);stroke-width:1px;stroke-dasharray:2 3;opacity:.8}.xh-l{font:500 9px var(--mono);fill:var(--on-teal)}.node{cursor:crosshair;outline:none;transition:opacity .25s}.node rect{fill:#0000;stroke:var(--on-teal);stroke-width:1.2px}.node text{fill:var(--on-teal);pointer-events:none}.node .id{font:500 9px var(--mono);opacity:.7}.node .qq{font:400 12px var(--cond);opacity:.85;font-stretch:87%}.node .ans{font:700 14px var(--cond);font-stretch:75%}.node .p{font:400 11px var(--mono)}.node.on rect{fill:var(--on-teal)}.node.on text{fill:var(--teal);opacity:1}.node.src rect{stroke-dasharray:4 3;stroke-width:2.5px}.node:focus-visible rect{stroke-width:3px}.graph.focus .node:not(.on):not(.anc){opacity:.28}.node.changed rect{animation:.9s steps(6,end) flash}@keyframes flash{0%,33%,66%{fill:var(--on-teal)}16%,50%,83%,to{fill:#0000}}.edge{fill:none;stroke:var(--on-teal);stroke-width:1px;opacity:.5;transition:opacity .3s}.edge.on{opacity:1;stroke-width:2px}.amb{fill:var(--on-teal);opacity:.55}.tok{fill:var(--on-teal)}.read{border-left:1px solid var(--on-teal-dim);font:400 12px/1.5 var(--mono);flex-direction:column;gap:16px;min-width:0;padding:22px 28px 26px;font-stretch:87%;display:flex}.read .meta{opacity:.7}.read .label{opacity:.6;margin-bottom:4px;display:block}.read .facts p{white-space:pre-line}.read .q{font:600 24px/1.1 var(--cond);margin-bottom:8px;font-stretch:80%}.read .several .q{font-size:19px}.big{align-items:flex-end;gap:16px;margin-bottom:10px;display:flex}.big strong{font:900 112px/.8 var(--cond);font-variant-numeric:tabular-nums;letter-spacing:-.02em;font-stretch:62%}.several .big strong{font-size:64px}.big span{padding-bottom:6px}.strip{border:1px solid var(--on-teal);height:26px;margin-bottom:8px;display:flex}.strip i{border-right:1px solid var(--on-teal);background:repeating-linear-gradient(-45deg,#0000 0 4px,#f4f1eb88 4px 5px);flex:0 0;transition:flex-basis .6s cubic-bezier(.2,.8,.2,1);display:block}.strip i.sel{background:var(--on-teal)}.strip i:last-child{border-right:0}.legend{grid-template-columns:auto 1fr auto;gap:3px 10px;display:grid}.legend b{font-weight:600}.legend .sw{border:1px solid var(--on-teal);background:repeating-linear-gradient(-45deg,#0000 0 3px,#f4f1eb88 3px 4px);width:12px;height:12px;margin-top:3px}.legend .sw.sel{background:var(--on-teal)}.refused{font-weight:600}.log{border-top:1px solid var(--on-teal-dim);padding-top:12px}.log .row{opacity:.82;grid-template-columns:112px 1fr;gap:10px;padding:3px 4px;display:grid}.log .row:hover{opacity:1;background:#f4f1eb22}.log .row em{opacity:.7;grid-column:2;font-style:normal}.log .new{opacity:1;font-weight:600}.cmd{border:1px solid var(--on-teal-dim);justify-content:space-between;gap:10px;padding:8px 10px;display:flex}.cmd code{overflow-wrap:anywhere}.cmd button{font:inherit;color:var(--on-teal);cursor:pointer;background:0 0;border:0;text-decoration:underline}.panel{border-top:1px solid var(--on-teal-dim);font:400 11px var(--mono);flex-wrap:wrap;grid-column:1/-1;align-items:center;gap:16px 44px;padding:16px 28px;font-stretch:87%;display:flex}.panel .group{align-items:center;gap:10px;display:flex}.keys{display:flex}.keys button,.keys label{font:inherit;color:var(--on-teal);border:1px solid var(--on-teal);cursor:pointer;box-shadow:0 3px 0 var(--on-teal-dim);background:0 0;padding:7px 12px}.keys>*+*{margin-left:-1px}.keys [aria-pressed=true]{background:var(--on-teal);color:var(--teal);box-shadow:none;transform:translateY(3px)}.keys label:has(input:checked){background:var(--on-teal);color:var(--teal);box-shadow:none;transform:translateY(3px)}.keys input{opacity:0;pointer-events:none;position:absolute}.keys button:focus-visible{outline:2px solid var(--on-teal);outline-offset:2px}.keys label:has(input:focus-visible){outline:2px solid var(--on-teal);outline-offset:2px}.thesis{letter-spacing:-.01em;max-width:24ch;padding:90px 28px 80px;font-size:clamp(28px,3.6vw,52px);font-weight:300;font-stretch:87%;line-height:1.08}.thesis b{font-weight:800}table.index{border-collapse:collapse;width:calc(100% - 56px);font:400 13px var(--mono);margin:0 28px 90px;font-stretch:87%}.index th{text-align:left;opacity:.6;border-bottom:2px solid var(--ink);padding:0 12px 10px 0;font-weight:400}.index td{border-bottom:1px solid var(--rule);vertical-align:baseline;padding:16px 12px 16px 0}.index td.t a{font:800 30px var(--cond);font-stretch:70%;text-decoration:none}.index tr:hover td.t a{color:var(--teal)}.index .n{text-align:right;font-variant-numeric:tabular-nums}footer.site{font:400 12px var(--mono);gap:24px;padding:0 28px 40px;font-stretch:87%;display:flex}.prose{color:var(--soft);font-size:18px;line-height:1.55}.prose>*+*{margin-top:16px}.prose h2{font:800 34px/1 var(--cond);color:var(--ink);border-top:2px solid var(--ink);align-items:baseline;gap:14px;margin-top:64px;padding-top:14px;font-stretch:70%;display:flex}.prose h2 .num{font:400 13px var(--mono);color:var(--teal);font-stretch:87%}.prose h3{font:700 22px/1.1 var(--cond);color:var(--ink);margin-top:32px;font-stretch:80%}.prose strong{color:var(--ink)}.prose a{color:var(--teal);text-underline-offset:3px}.prose code{background:#1d2a2810;padding:1px 4px;font-size:.82em}.prose ul,.prose ol{padding-left:22px}.prose li+li{margin-top:6px}.prose pre{border:1px solid var(--rule);color:var(--ink);background:#fff5;padding:14px 16px;font-size:12.5px;line-height:1.55;overflow-x:auto}.prose pre code{font-size:inherit;background:0 0;padding:0}.prose pre.out{background:var(--ink);color:var(--paper);border-color:var(--ink)}.prose pre.out code{font-family:var(--term);font-stretch:100%}.prose .caption{font:400 11px var(--mono);color:var(--soft);margin-top:20px;font-stretch:87%}.prose .caption+pre{margin-top:6px}.prose .finding{border-left:3px solid var(--teal);color:var(--ink);padding-left:14px}.prose table{border-collapse:collapse;font:400 13px/1.45 var(--mono);width:100%;font-stretch:87%}.prose th,.prose td{text-align:left;border-bottom:1px solid var(--rule);vertical-align:top;padding:8px 10px 8px 0}.prose th{color:var(--ink);border-bottom:2px solid var(--ink);font-weight:500}.guide{grid-template-columns:220px minmax(0,720px);gap:56px;padding:40px 28px 120px;display:grid}.guide>*{min-width:0}.guide .toc{font:400 12px/2 var(--mono);align-self:start;font-stretch:87%;list-style:none;position:sticky;top:20px}.guide .toc a{text-decoration:none}.guide .toc a:hover{color:var(--teal)}.notes{max-width:780px;padding:0 28px 90px}.walk{grid-template-columns:minmax(0,620px) minmax(0,1fr);align-items:start;gap:40px;padding:30px 0 120px 28px;display:grid}.walk>*{min-width:0}.walk .story{padding-bottom:40vh}.walk .lede{font:300 26px/1.2 var(--cond);color:var(--ink);font-stretch:87%}.walk .step{scroll-margin-top:30px;transition:opacity .3s}.walk .step:not(.on) h2 .num{color:var(--soft)}.walk aside{height:100vh;position:sticky;top:0}.walk .slab{grid-template-rows:minmax(0,1fr) auto;grid-template-columns:1fr;height:100%;overflow:hidden}.walk .slab .graph{width:100%;height:100%;min-height:0;padding:8px}.walk .read{border-left:0;border-top:1px solid var(--on-teal-dim);max-height:46vh;overflow-y:auto}.walk .big strong{font-size:72px}.walk .several .big strong{font-size:48px}.walk .display{padding:8px 0 18px}.views{font:400 12px var(--mono);flex-wrap:wrap;align-items:center;margin-top:36px;font-stretch:87%;display:flex}.views>span{color:var(--soft);margin-right:12px}.views button{font:inherit;border:1px solid var(--ink);color:var(--ink);cursor:pointer;background:0 0;padding:5px 12px}.views button+button{border-left:0}.views button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.views button:focus-visible{outline:2px solid var(--teal);outline-offset:2px}.views p{color:var(--soft);flex-basis:100%;margin-top:12px;font-size:13px;line-height:1.6}.prose pre.repl{background:var(--ink);color:var(--paper);border-color:var(--ink)}.prose pre.repl code{min-width:100%;font-family:var(--term);font-stretch:100%;display:block}.prose pre.repl .row{min-height:1.55em;display:block}.prose pre.repl .row.in{white-space:pre-wrap;overflow-wrap:break-word;text-indent:-2ch;padding-left:2ch}pre.repl .prompt,pre.repl .was,pre.repl .pick{color:var(--teal-bright)}pre.repl .pick{font-weight:700}pre.repl .meta{color:#f4f1eb8c}.prose .note{font:400 13px var(--mono);font-stretch:87%}body[data-view=repl] .step>pre:not([class]),body[data-view=repl] .cmd-only,body[data-view=commands] .repl-only,body[data-view=commands] pre.repl{display:none}body[data-view=repl] .step:has(>pre.repl)>.caption{display:none}body[data-view=repl] .step:has(>pre.repl)>pre.out{display:none}.crumb{font:400 12px var(--mono);font-stretch:87%}.crumb a{color:var(--teal);text-decoration:none}@media (width<=960px){.install{grid-template-columns:minmax(0,1fr)}.demo,.start{grid-template-columns:minmax(0,1fr);gap:28px}.demo{padding-top:64px}.screen{height:30em;font-size:10.5px}.slab{grid-template-columns:1fr}.read{border-left:0;border-top:1px solid var(--on-teal-dim)}.guide{grid-template-columns:1fr;gap:24px}.guide .toc{position:static}.guide table{display:block;overflow-x:auto}.walk{grid-template-columns:1fr;padding-right:28px}.walk aside{z-index:1;order:-1;height:52vh;position:sticky;top:0}.walk .read{display:none}.walk .story{padding-bottom:20vh}}@media (width<=560px){.top nav{gap:14px}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition:none!important;animation:none!important}}