@font-face{font-family:Anybody Variable;font-style:normal;font-display:swap;font-weight:100 900;font-stretch:50% 150%;src:url(./anybody-vietnamese-standard-normal-9GtAklmW.woff2) format("woff2-variations");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Anybody Variable;font-style:normal;font-display:swap;font-weight:100 900;font-stretch:50% 150%;src:url(./anybody-latin-ext-standard-normal-BaQ5u-C4.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Anybody Variable;font-style:normal;font-display:swap;font-weight:100 900;font-stretch:50% 150%;src:url(./anybody-latin-standard-normal-CHqbGEEr.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-cyrillic-ext-wght-normal-DjL33-gN.woff2) format("woff2-variations");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-cyrillic-wght-normal-BEAKL7Jp.woff2) format("woff2-variations");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-vietnamese-wght-normal-6IgcOCM7.woff2) format("woff2-variations");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-latin-ext-wght-normal-DC-KSUi6.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(./geist-latin-wght-normal-BgDaEnEv.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(data:font/woff2;base64,d09GMgABAAAAAAfsABQAAAAAEAwAAAeCAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoP0hWQVJbBmA/U1RBVIFiJyYAdC9qEQgKhGSEAAsgADCGCAE2AiQDOgQgBYlMB4EUDAcbLQ4onoexrSC/2ZyLAa8p8VHB8/x3Vue+V0hVJalMJg2nx/TCrQXxBeqLjQG7FyM1WEa/X1tEXN7cFz9EJEMmMUz3RihWSSKeQCbcIou0izz/C8v+fq3VfajEa9gDD11CImXS7qL/RJFVzC1qiB6KmKeD6TZdQ6IRGv78dL6uSVVCfgni5mzu7kcgQBgAEAQTQRCoL++STTYybkJxNfQxAAIAGu8OdEB9teW2jh4BpgDqFjAeSEByW3zFP0CBBgNMsMCGEDjgggdhiEAUAeIIED7ABTDUEnkIE9Q9ahFgKttcVhApo4ACB4qobHaccgDfEjFO6aaWUhjMLt2SyIvHKoDqoA4CSUwEIYQCEjhAO9R1G6keDeDZGjNo+AhxOjCEGTr1WeIF3kYBiLAOKvkJSMiKX0VdAyQt3SDJClCkxJCHkCzfqyVTriJZLcolS32JZHUekq2TYNkYtCtjYHMQXSxGjXDz2t/yLWXzDzxz+o3zFwDEaN23F+13pyMdQAEaSKAR9vcGq4A4MTSKCElGW+M7UcY7xqkggITb28ZJhlqc9q2twYKTt0NjixBgYvO9BIihEBLYuOFXQzfIQ7dXGUEEEgFDooBfAzqiQbpJrhiWSuKJCRFKYbHCyJKI2G5GiZbNAvgAu5pc3vwx4G+g3aDkhklABiSz0BICXrYghtYhx/cdJ+44rY2oZ0aMNRFz3VZjb6W33F3gzltqtOCV8tTHSpOeXuItfvr5lCdfzFpqtEitvqdcdGGFd28ZqqC0tPbeChGXgrIlnhSWu/eUso4uKWFLugyDzQJhflY4659+WjQ++6x72WUMv9G8mw6QJl7BVxX5fe/kpUsOvnZwee9uQ0cGXYd0o89XB2748sDSnt8d2VphdOTTgceDVvOds0v9P/s7HPq15aGun/6Vllb56f1dl0t1LejqrNkpdRZsG8TOnM5vkBG5oiVyVGnS8LHps5cfNWJs6qKPfaNSxiQNBUm3cKNWROr0GSur7Za31k1vieq7LH11VF+jXdRIasRKflc7jkobm1Z9te1IyZA0pDkhLR98+H37Zf1c/8at+dB7x+7GfVyTfJMPiYztsnl59Y5l4j+0n1RXlpHnF3Tq7HecmNF/CJodEMAikruxiyJaGLvHOdAfoA+oDvpjBm2b91cHGRZMU9n25xEU0A8fgEEAdKI3Q1iDtc034sug5YVMkE2jsE+BIkwSoQ3gxXMqz9tELp48bd0cFKOKS7xYjEuXBnZP5ia7DyiO/X/YI+PQSbt2uSdqAkWL9nQbV1XB94/+uPfdZz8dnXYFBYrcTl2SIR/ybxJNJPz/Gupb0JaZeens2ekC7EKr8t+Ls/P5VJPYJdHKyqfg2nqU6bhlidzcddQV/7MmecTzJ5VPcKXkNKSEogHjYFx6QZ7rQ+FSe8njaiNuOnXS8H2ScQ619c2mC3VTtauL0rRbXd/CkSOP37FY9Zkjz8+GibYUMOEWF+RdrFS8Ecv1SHOpPUPZGEIpjPvFyU5cXKjd6OXqorTqy9GwRd++HVufPGnVsW+aO3vggKZ18jR9sXaTC1PWTEsVUaK0FkNySbTQDqlm2PfDjZcu4aalnSLKjnOoYQ0nUlqqXcGpPu/4VgV/xU2pAqW4BW3qzhQ8/hFKhV2qE3+BKAtDqBXjfgnVdH4y0wg5tbVNRenNdTWOrenWLcupQdmsbq5b+18piTe/xRdp1xbILxNPJGInm2z6hoB21Lal0i+ePTtd7B45+3XhFJ329evskXm7qurUVREotqSluSo/L29d3qDhI4YOQqWhI4YNvBNfsMHeXKemXrxQfKeuPOGRVayA3JtkJKEgbPp+dXUDluddutRYLFoXGXWX6N3WFaGLbQtRSitVYNacTNSdy7AaG/HSaUEANcBoGXNdcZvZsOqQ1icBDv21/gzAoYPHH/WDW0qNR3QTYKEAEHig6o13NXbND06CQPlRtYjGNnSktRc09k1mAMDvAlDKfQjgy6fssInlfzmNAjKkDxoxHOBLdVRAIVt9j4qo+hA1w9T1aNBNTUOTTNUHLbqokE+UAfJXCIGw/IxCSL5GRUJeR40rL/UxTm4Q08H6MbCs70ObuNyIIXrINHQYInF06UUlevTjbQzTh5upiDMzMMogUtEnjPs/Y7jAHCJeB0GBHh04tC6FiB6ZFB1oArUSIoFoqhzCeAN6lHwm0T4C3VVPWvjpSMXReuWesMEcoqrmgtNBGd2noWeV0hNAz9rFeShNJxHGsPa3HXeKTk8b55hahySYHaYKKFFLpCfN8rsoaJn01CR04Gkc+5k7KVTCmClX8Q10HCrUEkVlSX+XO33oQR9609tJ516H497WSobWs5Up6TLaS10/dessIskgJSLiDlWvHVUywpkQ7hdPZqGyiEF0uVQerVcPamT1A3eKXdyI1vG9OoflrSXihZ1qqGE3nhmAgiIbRCQgPLEPtOM3UQwTLYaYYomNlpA44opnjV6jkD6id80OOrzf6BzmMD6eEa1zKyeYG1fzfEf16V6jw9XYOaar1/b2kP/IYX8oR2mcFvv2GtBV3JXgd437AQAA) format("woff2-variations");unicode-range:U+0460-052F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(./jetbrains-mono-cyrillic-wght-normal-D73BlboJ.woff2) format("woff2-variations");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(./jetbrains-mono-greek-wght-normal-Bw9x6K1M.woff2) format("woff2-variations");unicode-range:U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(./jetbrains-mono-vietnamese-wght-normal-Bt-aOZkq.woff2) format("woff2-variations");unicode-range:U+0102-0103,U+0110-0111,U+0128-0129,U+0168-0169,U+01A0-01A1,U+01AF-01B0,U+0300-0301,U+0303-0304,U+0308-0309,U+0323,U+0329,U+1EA0-1EF9,U+20AB}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(./jetbrains-mono-latin-ext-wght-normal-DBQx-q_a.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(./jetbrains-mono-latin-wght-normal-B9CIFXIH.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}html.lenis,html.lenis body{height:auto}.lenis:not(.lenis-autoToggle).lenis-stopped{overflow:clip}.lenis.lenis-smooth [data-lenis-prevent]{overscroll-behavior:contain}.lenis.lenis-smooth iframe{pointer-events:none}.lenis.lenis-autoToggle{transition-property:overflow;transition-duration:1ms;transition-behavior:allow-discrete}:root{--paper: #ececea;--ink: #0c0c0d;--ink-2: #3c3d40;--ink-3: #5f6166;--head-ink: #c4260e;--line: rgb(12 12 13 / .14);--head: #ff3b1f;--display: "Anybody Variable", "Arial Narrow", sans-serif;--text: "Geist Variable", ui-sans-serif, system-ui, sans-serif;--mono: "JetBrains Mono Variable", ui-monospace, Consolas, monospace;--s-micro: clamp(10.5px, .42vw, 17px);--s-small: clamp(13px, .62vw, 24px);--s-body: clamp(16px, 1.02vw, 40px);--s-lede: clamp(22px, 1.9vw, 76px);--tape-h: clamp(46px, 2.3vw, 88px);--ease-ink: cubic-bezier(.16, 1, .3, 1);--ease-mass: cubic-bezier(.7, 0, .2, 1);--ease-snap: cubic-bezier(.2, 0, 0, 1);color-scheme:light;box-sizing:border-box}@media(prefers-color-scheme:dark){:root{--line: rgb(12 12 13 / .16)}}*,*:before,*:after{box-sizing:inherit}html{background:var(--paper);color:var(--ink)}body{margin:0;font:400 var(--s-body)/1.5 var(--text);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}a{color:inherit}button{font:inherit;color:inherit}:focus-visible{outline:2px solid var(--head);outline-offset:3px}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.skip{position:absolute;left:-9999px;z-index:50}.skip:focus{left:12px;top:12px;background:var(--ink);color:var(--paper);padding:8px 12px}#stage{position:fixed;inset:0;width:100%;height:100%;z-index:0;transition:opacity .6s var(--ease-ink)}main{position:relative;z-index:1}.scene{position:relative}#identity{height:100svh}.facts{position:absolute;inset:0;pointer-events:none;opacity:0;transition:opacity .7s var(--ease-ink)}.fc{position:absolute;margin:0;display:grid;gap:.08em;width:15vw;font:500 var(--s-small)/1.32 var(--text);color:var(--ink-2);pointer-events:auto}.fc .f-name{font-weight:650;color:var(--ink)}.fc-1 span:nth-child(2){color:var(--ink)}.f-open{color:var(--ink)}.f-open:before{content:"";position:absolute;left:-.85em;top:.12em;width:.3em;height:2.4em;background:var(--head)}body.intro-done .facts{opacity:1}#work{height:115vh}.work-pin{position:sticky;top:0;height:100svh}.work-index{list-style:none;margin:0;padding:0;position:absolute;left:1.6vw;right:1.6vw;top:25.4vw}.work-index li{opacity:0;transform:translateY(.5vw);transition:opacity .5s var(--ease-ink),transform .5s var(--ease-ink)}.work-index.on li{opacity:1;transform:none}.work-index.on li:nth-child(2){transition-delay:.06s}.work-index.on li:nth-child(3){transition-delay:.12s}.work-index.on li:nth-child(4){transition-delay:.18s}.wrow{width:100%;display:grid;grid-template-columns:13vw 11vw 1fr 14vw auto;align-items:baseline;gap:1.2vw;padding:.55vw 0;background:none;border:0;border-top:1px solid var(--line);text-align:left;cursor:pointer;text-decoration:none}.wrow .wn{font:820 clamp(28px,2.6vw,104px)/1 var(--display);font-stretch:62%;letter-spacing:-.01em;transition:font-stretch .5s var(--ease-ink)}.wrow .wc,.wrow .wt{font:500 var(--s-micro)/1.3 var(--mono);color:var(--ink-3);text-transform:uppercase;letter-spacing:.04em}.wrow .wl{font:400 var(--s-small)/1.35 var(--text);color:var(--ink-2);max-width:60ch}.wrow .wa{font:500 var(--s-micro) var(--mono);color:var(--ink)}.wrow:hover .wn,.wrow:focus-visible .wn{font-stretch:100%}.wrow:hover .wa,.wrow:focus-visible .wa{color:var(--head-ink)}#zoom{height:150vh}.world{height:200vh}.world-pin{position:sticky;top:0;height:100svh}.editor-wrap{position:absolute;opacity:0;transition:opacity .35s linear}.world.live .editor-wrap{opacity:1}#editor{display:block;margin:0;padding:0;border:0;outline:0;resize:none;background:transparent;color:var(--ink);font-family:var(--mono);font-weight:500;white-space:pre;overflow:hidden;caret-color:var(--head)}.run-row{display:flex;gap:1.2em;align-items:center;margin-top:1.4em;font:500 var(--s-small) var(--mono)}.run{background:var(--ink);color:var(--paper);border:0;padding:.55em 1.4em;border-radius:999px;cursor:pointer;font:600 var(--s-small) var(--text);transition:transform .12s var(--ease-snap)}.run:active{transform:scale(.97)}.run-meta{color:var(--ink-3)}.output,.bytecode,.proof{position:absolute;opacity:0;transform:translateY(1vw);transition:opacity .6s var(--ease-ink),transform .6s var(--ease-ink)}.world.proven .output,.world.proven .bytecode,.world.proven .proof{opacity:1;transform:none}.world.proven .bytecode{transition-delay:.08s}.world.proven .proof{transition-delay:.16s}.output{margin:0;font:500 var(--s-small)/1.5 var(--mono);color:var(--ink);white-space:pre-wrap}.output:before{content:"output";display:block;color:var(--ink-3);font-size:var(--s-micro);margin-bottom:.4em}.bytecode{font:400 var(--s-micro)/1.45 var(--mono);color:var(--ink-2);overflow:hidden}.bytecode .bc-h{margin:0 0 .5em;color:var(--ink-3)}.bytecode pre{margin:0;max-height:34vh;overflow:hidden;-webkit-mask-image:linear-gradient(#000 80%,transparent);mask-image:linear-gradient(#000 80%,transparent)}.proof{font-size:var(--s-small)}.proof h3{margin:0;font:820 clamp(56px,7vw,280px)/.86 var(--display);font-stretch:62%;letter-spacing:-.02em}.proof .pc{margin:.6em 0 0;font:500 var(--s-micro) var(--mono);text-transform:uppercase;letter-spacing:.05em;color:var(--ink-3)}.proof .pl{margin:.5em 0 0;font-size:var(--s-body);max-width:34ch}.proof dl{margin:1.2em 0 0;display:grid;gap:.9em}.proof dt{font:500 var(--s-micro) var(--mono);text-transform:uppercase;letter-spacing:.05em;color:var(--ink-3)}.proof dd{margin:.25em 0 0;color:var(--ink-2);line-height:1.45}.proof ul{margin:0;padding:0;list-style:none}.proof li+li{margin-top:.2em}.proof .plinks{display:flex;gap:1.4em;margin-top:1.2em;font:600 var(--s-small) var(--text)}.proof .plinks a{text-decoration:none;border-bottom:2px solid var(--head);padding-bottom:.1em}.internals{margin-top:1em;border-top:1px solid var(--line);padding-top:.6em}.internals summary{cursor:pointer;font:600 var(--s-small) var(--text);list-style:none}.internals summary:after{content:" +";color:var(--head)}.internals[open] summary:after{content:" −"}.internals ol{margin:.5em 0 0;padding:0;list-style:none;display:flex;flex-wrap:wrap;gap:.3em 1.2em;font:500 var(--s-micro) var(--mono);color:var(--ink-2)}.proof-scene{min-height:100svh;padding:10vw 1.6vw 8vw;position:relative;display:grid;grid-template-columns:1.1fr 1fr;gap:4vw;align-items:end;border-top:1px solid var(--line)}.proof-scene .proof{position:static;opacity:1;transform:none}.proof-scene .big{font:820 min(21vw,calc(86vw / var(--n, 6)))/.8 var(--display);font-stretch:62%;letter-spacing:-.035em;margin:0;overflow:hidden}.about{height:190vh;border-top:0}.about-pin{position:sticky;top:0;height:100svh;display:grid;grid-template-columns:1fr 9vw;gap:6vw;align-items:end;padding:0 1.6vw calc(var(--tape-h) + 7vw) 34vw}.portrait{grid-column:2;grid-row:1;align-self:stretch;margin-top:9vw;background:repeating-linear-gradient(135deg,rgb(12 12 13 / .05) 0 1px,transparent 1px 10px);border:1px solid var(--line);display:grid;place-items:end start;padding:.8em;font:500 var(--s-micro) var(--mono);color:var(--ink-3)}.about-text{grid-column:1;grid-row:1}.about-name{margin:0 0 1.4em;font:650 var(--s-small) var(--text)}.about-lede{font:400 var(--s-lede)/1.22 var(--text);letter-spacing:-.015em;max-width:24ch;margin:0 0 .9em}.about-body{max-width:46ch;color:var(--ink-2);margin:0}.now{margin-top:4vw;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:2vw}.now dt{font:500 var(--s-micro) var(--mono);text-transform:uppercase;letter-spacing:.05em;color:var(--ink-3)}.now dd{margin:.3em 0 0;font-size:var(--s-small)}body.quiet .tape-log ol,body.quiet .tape-here{opacity:0}body.quiet .tape-log .head{animation:blink 1.1s steps(1) infinite}@keyframes blink{50%{opacity:0}}.history{height:330vh}.tape.history{align-items:start;padding-top:2.2vw;transition:none}.tape.history .tape-log{align-items:start;height:100%;overflow:hidden}.tape.history .tape-log ol{flex-direction:column;gap:.62em;font-size:var(--s-small);will-change:transform}.tape.history .tape-log li{color:var(--ink-2)}.tape.history .tape-log li.job{color:var(--ink);box-shadow:-1.1em 0 0 -.84em var(--head)}.tape.history .tape-here{display:none}.contact{height:auto;min-height:100svh;border-top:0;padding:0}.contact-pin{min-height:100svh;padding:8vw 1.6vw calc(var(--tape-h) + 5vw);display:grid;align-content:end;gap:1.6vw}.visit{margin:0;font:500 var(--s-small) var(--mono);color:var(--ink-3)}.again{color:var(--ink-3)!important;border-bottom-color:var(--line)!important}body.finale .tape-log ol,body.finale .tape-here{opacity:0;transition:opacity .6s .9s}body.finale .tape-log .head{animation:blink 1.1s steps(1) infinite 1.4s}.tape{position:fixed;left:0;right:0;bottom:0;z-index:10;height:var(--tape-h);display:grid;grid-template-columns:minmax(0,1.3fr) minmax(0,1fr) auto;align-items:center;gap:1.6vw;padding:0 1.6vw env(safe-area-inset-bottom,0px);background:color-mix(in srgb,var(--paper) 92%,transparent);backdrop-filter:blur(6px);border-top:1px solid var(--line);font:500 var(--s-micro)/1.2 var(--mono)}.tape-log{display:flex;align-items:center;gap:.9em;min-width:0;overflow:hidden}.tape-log .head{flex:none;width:.3em;height:1.7em;background:var(--head)}.tape-log ol{display:flex;gap:2.4em;margin:0;padding:0;list-style:none;white-space:nowrap;min-width:0}.tape-log li{display:flex;gap:.8em;color:var(--ink-3)}.tape-log li:last-child{color:var(--ink)}.tape-log .seq{color:var(--ink-3)}.tape-here{display:flex;gap:1.2em;align-items:baseline;justify-content:flex-end;white-space:nowrap;overflow:hidden;color:var(--ink-2)}.tape-here b{color:var(--ink);font-weight:600}.tape-here a{color:var(--ink);text-decoration:none;border-bottom:1px solid var(--head)}.tape-actions{display:flex;gap:.4em}.tape-actions>*{background:none;border:1px solid var(--line);border-radius:999px;padding:.55em 1em;cursor:pointer;text-decoration:none;font:inherit;color:var(--ink);transition:background .12s var(--ease-snap)}.tape-actions>*:hover{background:var(--ink);color:var(--paper)}kbd{font:inherit;opacity:.55;margin-left:.3em}dialog#index{width:100vw;height:100dvh;max-width:none;max-height:none;margin:0;padding:0;border:0;background:var(--paper);color:var(--ink)}dialog#index::backdrop{background:transparent}.ix{height:100%;padding:2.2vw 1.6vw;display:grid;grid-template-rows:auto 1fr}.ix-top{display:flex;justify-content:space-between;align-items:baseline;border-bottom:1px solid var(--line);padding-bottom:1vw}.ix-name{margin:0;font:820 clamp(40px,4.4vw,176px)/.9 var(--display);font-stretch:62%}.ix-close{background:none;border:1px solid var(--line);border-radius:999px;padding:.5em 1.1em;cursor:pointer;font:500 var(--s-micro) var(--mono)}.ix-grid{display:grid;grid-template-columns:22vw 1fr;gap:4vw;padding-top:2vw;align-content:start}.ix-who p{margin:0 0 .3em;font-size:var(--s-small);color:var(--ink-2)}.ix-who .ix-role{color:var(--ink);font-weight:600}.ix-open{margin-top:.9em!important;color:var(--ink)!important}.ix-open:before{content:"";display:inline-block;width:.32em;height:.9em;background:var(--head);margin-right:.55em;vertical-align:-.1em}.ix-links{display:grid;gap:.3em;margin-top:1.4em!important}.ix-links a{text-decoration:none;border-bottom:1px solid var(--head);justify-self:start;color:var(--ink)}.ix-work ol{list-style:none;margin:0;padding:0}.ix-work li{display:grid;grid-template-columns:1fr auto;align-items:baseline;border-top:1px solid var(--line)}.ix-p{display:grid;grid-template-columns:11vw 10vw 1fr 12vw;gap:1.2vw;align-items:baseline;padding:.9vw 0;background:none;border:0;text-align:left;cursor:pointer}.ix-pn{font:820 clamp(26px,2.3vw,92px)/1 var(--display);font-stretch:62%}.ix-p:hover .ix-pn{color:var(--head-ink)}.ix-pc,.ix-pt{font:500 var(--s-micro) var(--mono);text-transform:uppercase;letter-spacing:.04em;color:var(--ink-3)}.ix-pl{font-size:var(--s-small);color:var(--ink-2)}.ix-pa{display:flex;gap:1em;font:500 var(--s-micro) var(--mono)}.ix-pa a{text-decoration:none;border-bottom:1px solid var(--head)}.ix-more{margin-top:1.4vw;font-size:var(--s-small);color:var(--ink-3)}@media(max-aspect-ratio:9/10){.facts{inset:auto 5vw calc(var(--tape-h) + 4vh) 5vw;display:grid;gap:14px}.fc{position:static;width:auto;font-size:14px}.f-open:before{left:-12px}.work-index{top:12vh;left:5vw;right:5vw}.wrow{grid-template-columns:1fr auto;gap:.2em 1em;padding:14px 0}.wrow .wn{font-size:40px;grid-column:1}.wrow .wc{grid-column:1}.wrow .wl{grid-column:1 / -1}.wrow .wt{display:none}.wrow .wa{grid-column:2;grid-row:1}.proof-scene,.about{grid-template-columns:1fr;padding:16vh 5vw 12vh}.portrait{width:46vw}.now{grid-template-columns:1fr}.tape{grid-template-columns:1fr auto}.tape-here{display:none}.tape-log ol li:not(:last-child){display:none}.ix-grid{grid-template-columns:1fr}.ix-p{grid-template-columns:1fr;gap:2px;padding:14px 0}.ix{padding:5vw;overflow:auto}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{transition-duration:.01ms!important;animation-duration:.01ms!important}}.editor-wrap{position:absolute}.line-hl{position:absolute;left:-1.2em;right:-1em;background:#ff3b1f17;border-left:.25em solid var(--head);opacity:0;transition:transform .08s linear,opacity .2s;pointer-events:none}.world.tracing .line-hl{opacity:1}.tape.tracing .tape-log li{color:var(--ink-3)}.tape.tracing .tape-log li:last-child{color:var(--ink)}.tape.tracing .tape-log .ev{min-width:18ch}#write{height:150vh}.power{position:fixed;inset:0;z-index:60;pointer-events:none;display:none}.power.cut,.power.boot{display:block;pointer-events:auto;background:#050506}.power .crt{position:absolute;inset:0;background:var(--paper);transform-origin:50% 50%}.power.cut .crt{animation:crt .62s cubic-bezier(.7,0,.2,1) forwards}@keyframes crt{0%{transform:scale(1);filter:brightness(1)}45%{transform:scaleY(.004);filter:brightness(3)}70%{transform:scale(.002,.004);filter:brightness(4)}to{transform:scale(0)}}.power.boot .crt{display:none}.boot-log{position:absolute;left:1.6vw;bottom:calc(var(--tape-h) + 2vw);margin:0;font:500 var(--s-small)/1.45 var(--mono);color:#c9cbd0;white-space:pre-wrap}.boot-log .ok{color:#8fd19e}.boot-log .drop{color:var(--head)}.recovered{margin:0 0 1.4em;padding-left:.9em;border-left:.3em solid var(--head);font-size:var(--s-body);line-height:1.45;max-width:46ch;color:var(--ink)}.qworld{height:310vh;border-top:0!important}.q-pin{position:sticky;top:0;height:100svh;overflow:hidden}.replicas{position:absolute;inset:0}.rep{position:absolute;left:0;right:0;top:0;height:var(--tape-h);display:grid;grid-template-columns:auto 22ch minmax(0,1fr) auto;align-items:center;gap:1.2vw;padding:0 1.6vw;background:color-mix(in srgb,var(--paper) 94%,transparent);border:0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);font:500 var(--s-micro)/1.2 var(--mono);color:var(--ink-3);text-align:left;cursor:pointer;opacity:0;will-change:transform;transition:background .12s var(--ease-snap)}.rep:hover{background:color-mix(in srgb,var(--paper) 80%,var(--ink) 5%)}.rep .head{width:.3em;height:1.7em;background:var(--ink-3);transition:background .25s}.rep.leader .head{background:var(--head)}.rep .who{color:var(--ink-2);white-space:nowrap}.rep.leader .who{color:var(--ink)}.rep .cells{display:flex;gap:1.8em;margin:0;padding:0;list-style:none;white-space:nowrap;overflow:hidden}.rep .cells li{flex:none;white-space:nowrap;color:var(--ink-3)}.rep .cells li.c{color:var(--ink)}.rep .cells i{font-style:normal;opacity:.5}.rep.down{background:repeating-linear-gradient(135deg,rgb(12 12 13 / .05) 0 1px,transparent 1px 8px)}.rep.down .cells,.rep.down .who{opacity:.35}.q-proof{position:absolute;left:1.6vw;top:5vw;width:34vw;opacity:0;transform:translateY(1vw);transition:opacity .6s var(--ease-ink),transform .6s var(--ease-ink);background:color-mix(in srgb,var(--paper) 92%,transparent)}.q-pin[data-phase=proof] .q-proof,.q-pin[data-phase=collapse] .q-proof{opacity:1;transform:none}.float-actions{position:fixed;top:1.2vw;right:1.6vw;z-index:12;display:flex;gap:.4em;font:500 var(--s-micro) var(--mono);opacity:0;pointer-events:none;transition:opacity .3s}.float-actions>*{background:var(--paper);border:1px solid var(--line);border-radius:999px;padding:.55em 1em;cursor:pointer;text-decoration:none;color:var(--ink);font:inherit}body.tape-away .float-actions{opacity:1;pointer-events:auto}body.tape-away .tape-here,body.tape-away .tape-actions{opacity:0;transition:opacity .2s}.rep .agree{color:var(--ink-3);white-space:nowrap;font-variant-numeric:tabular-nums}.rep.leader .agree{color:var(--ink)}.rworld{height:340vh;border-top:0!important}.r-pin{position:sticky;top:0;height:100svh;overflow:hidden}.r-canvas{position:absolute;inset:0;width:100%;height:100%}.r-layer{position:absolute;inset:0;pointer-events:none}.r-m{position:absolute;left:4vw;bottom:calc(56% + 3.2vw);margin:0;opacity:0;transform:translateY(.8vw);transition:opacity .5s var(--ease-ink),transform .5s var(--ease-ink)}.r-m.on{opacity:1;transform:none}.r-m figcaption{font:500 var(--s-small) var(--mono);color:var(--ink-3);margin-bottom:1.2vw}.r-v{margin:0 0 0 -.03em;font:820 min(17vw,34vh)/.8 var(--display);font-stretch:75%;letter-spacing:.01em;font-variant-numeric:tabular-nums;color:var(--ink);white-space:nowrap}.r-v span{font:500 var(--s-lede) var(--text);letter-spacing:0;margin-left:.3em;color:var(--ink-2)}.r-m .r-d{position:absolute;left:0;top:calc(100% + 7.6vw);width:40ch;margin:0;font:400 var(--s-small) var(--text);color:var(--ink-2)}.r-flyers{position:absolute;inset:0;pointer-events:none}.r-fly{position:fixed;left:0;top:0;list-style:none;white-space:nowrap;font:500 var(--s-micro) var(--mono);color:var(--ink);transform-origin:0 50%}.r-proof{position:absolute;right:1.6vw;bottom:calc(var(--tape-h) + 3vw);width:34vw;opacity:0;transform:translateY(1vw);transition:opacity .6s var(--ease-ink),transform .6s var(--ease-ink)}.r-pin[data-phase=reveal] .r-proof{opacity:1;transform:none}@media(max-aspect-ratio:9/10){.r-m{width:120vw}.r-track{padding-left:8vw}.r-proof{left:5vw;right:5vw;width:auto}}.contact-pin .mail a{font:820 clamp(40px,7.2vw,288px)/.9 var(--display);font-stretch:62%;letter-spacing:-.01em;text-decoration:none;word-break:break-all}.contact-pin .clinks{font-size:var(--s-body);gap:2.4vw}.mail{margin:0;display:flex;flex-wrap:wrap;align-items:baseline;gap:1.5vw}.copy{background:var(--ink);color:var(--paper);border:0;border-radius:999px;padding:.6em 1.4em;font:600 var(--s-small) var(--text);cursor:pointer;transition:transform .12s var(--ease-snap)}.copy:active{transform:scale(.97)}.clinks{margin:0;display:flex;flex-wrap:wrap;gap:2.4vw;font:600 var(--s-body) var(--text)}.clinks a{text-decoration:none;border-bottom:2px solid var(--head)}.coda-canvas{position:fixed;inset:0;width:100%;height:100%;z-index:4;pointer-events:none}.about{height:160vh!important;display:block!important;padding:0!important}.about-pin{position:fixed!important;inset:0;z-index:5;display:block!important;padding:0!important;visibility:hidden;pointer-events:none}.about-pin .portrait{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.about-pin .about-text{position:absolute;left:30vw;width:31vw;bottom:calc(var(--tape-h) + 8vh);pointer-events:auto}.about-pin .about-name{margin:0 0 2.2vw;font:600 var(--s-small)/1 var(--text);letter-spacing:.01em}.about-pin .about-lede{font:400 clamp(24px,2.05vw,82px)/1.16 var(--text);letter-spacing:-.022em;max-width:21ch;margin:0 0 1.6vw;text-wrap:balance}.about-pin .about-body{font-size:var(--s-body);line-height:1.5;color:var(--ink-2);max-width:40ch;text-wrap:pretty}.about-pin .now{margin-top:3.4vw;grid-template-columns:repeat(3,minmax(0,1fr));gap:1.6vw;padding-top:1.1vw;border-top:1px solid var(--line)}.about-pin .about-name,.about-pin .about-lede,.about-pin .about-body,.about-pin .now>div{clip-path:inset(0 0 100% 0);will-change:clip-path,transform}.history{height:200vh!important}.contact{height:160vh!important;min-height:0!important}.contact-pin{position:fixed!important;inset:0;z-index:5;min-height:0!important;padding:0 1.6vw!important;display:block!important;visibility:hidden}.contact-pin .visit{position:absolute;left:1.6vw;bottom:calc(50vh + 8.9vw);margin:0;font:500 var(--s-small) var(--mono);color:var(--ink-3)}.contact-pin .mail{position:absolute;left:1.6vw;bottom:50vh;margin:0;display:block}.contact-pin .mail a{display:inline-block;font:820 clamp(44px,8.6vw,344px)/.86 var(--display);font-stretch:62%;letter-spacing:-.012em;text-decoration:none;white-space:nowrap}.contact-pin .mail a:focus-visible{outline-offset:.12em}.contact-pin .clinks{position:absolute;left:1.6vw;top:calc(50vh + 2.4vw);margin:0;display:flex;flex-wrap:wrap;align-items:center;gap:2.2vw;font:600 var(--s-body) var(--text)}.contact-pin .clinks a{text-decoration:none;border-bottom:2px solid var(--head);padding-bottom:.08em;transition:border-color .12s var(--ease-snap)}.contact-pin .clinks a:hover{border-color:var(--ink)}.contact-pin .clinks .again{color:var(--ink-3);border-bottom-color:var(--line)}.contact-pin .copy{font-size:var(--s-small)}.contact-pin .visit,.contact-pin .mail,.contact-pin .clinks{clip-path:inset(0 0 100% 0);will-change:clip-path,transform}@media(max-aspect-ratio:9/10){.about-pin .about-text{left:6vw;right:6vw;width:auto;bottom:calc(var(--tape-h) + 44vh)}.about-pin .now{grid-template-columns:1fr}.contact-pin .mail a{font-size:11.4vw}}.contact-pin .visit{left:3.4vw!important;bottom:calc(42vh + 8.6vw)!important}.contact-pin .mail{left:3.4vw!important;bottom:42vh!important}.contact-pin .mail a{font-size:clamp(42px,8.2vw,328px)!important}.contact-pin .clinks{left:3.4vw!important;top:calc(58vh + 2.2vw)!important}.copied-word{position:absolute;left:3.4vw;bottom:42vh;margin:0;font:820 clamp(42px,8.2vw,328px)/.86 var(--display);font-stretch:62%;letter-spacing:.02em;color:var(--ink);transform-origin:0% 50%;visibility:hidden;pointer-events:none}.copy-msg{position:absolute;left:3.4vw;top:calc(58vh + 6.2vw);margin:0;font:500 var(--s-small) var(--mono);color:var(--ink-2);max-width:60ch}.contact-pin ::selection,.about-pin ::selection{background:var(--head);color:var(--paper)}.tape{transition:transform .6s var(--ease-mass)}.tape.tape-enter{transform:translateY(100%)!important;transition:none}.work-index{transition:none}.r-proof{top:calc(44% + 4.6vw);bottom:auto!important;width:30vw}.r-proof h2,.q-proof h2{font-size:clamp(36px,3.6vw,144px)!important}.r-proof dl>div:nth-child(3),.q-proof dl>div:nth-child(3){display:none}.r-proof .internals,.q-proof .internals{display:none}.tape-log{-webkit-mask-image:linear-gradient(90deg,#000 88%,transparent);mask-image:linear-gradient(90deg,#000 88%,transparent)}.tape-here{-webkit-mask-image:linear-gradient(90deg,transparent,#000 6%);mask-image:linear-gradient(90deg,transparent,#000 6%)}@media(max-aspect-ratio:9/10){.world{height:auto!important}.world-pin{position:static!important;height:auto!important;padding:18vh 5vw 14vh;display:grid;gap:28px}.editor-wrap{position:static!important;opacity:1!important}#editor{width:100%!important;font-size:13px!important;line-height:19px!important;height:auto!important;min-height:240px;overflow-x:auto!important}.line-hl{display:none}.output,.bytecode,#rambo-proof{position:static!important;opacity:1!important;transform:none!important;width:auto!important}.bytecode pre{max-height:220px}#write{height:130vh!important}.q-proof,.r-proof{left:5vw!important;right:5vw!important;width:auto!important;font-size:13px}.q-proof{top:5vh!important}.r-proof{top:auto!important;bottom:calc(var(--tape-h) + 3vh)!important}.q-proof dl,.r-proof dl,.q-proof .pc,.r-proof .pc{display:none}.rep{grid-template-columns:auto minmax(0,1fr)!important;gap:8px!important;padding:0 3vw!important}.rep .who,.rep .agree{display:none}.about-pin .about-text{top:44vh!important;bottom:auto!important;left:6vw!important;right:6vw!important;width:auto!important}.about-pin .about-lede{font-size:24px!important}.about-pin .now{margin-top:18px}.contact-pin .mail a,.copied-word{font-size:8.9vw!important}.contact-pin .visit{bottom:calc(42vh + 11vw)!important;font-size:11px}.contact-pin .clinks{gap:14px 18px}.contact-pin .mail,.contact-pin .visit,.contact-pin .clinks,.copied-word,.copy-msg{left:6vw!important}}.panel{position:absolute;top:0;bottom:0;left:0;z-index:6;width:min(56vw,1560px);box-sizing:border-box;overflow-y:auto;padding:7vh 4vw calc(var(--tape-h) + 5vh);display:flex;flex-direction:column;justify-content:safe center;background:linear-gradient(90deg,var(--paper) 74%,rgb(236 236 234 / 0));opacity:0;visibility:hidden;transform:translate(-1.4vw);transition:opacity .45s var(--ease-ink),transform .7s var(--ease-ink),visibility 0s linear .7s}.world.focus #rambo-panel,.q-pin[data-phase=proof] .panel,.r-pin[data-phase=reveal] .panel{opacity:1;visibility:visible;transform:none;transition-delay:0s}.panel .pk{display:flex;gap:1.4em;margin:0 0 2.2vh;font:500 var(--s-micro)/1 var(--mono);text-transform:uppercase;letter-spacing:.09em;color:var(--ink-3)}.panel .pk span{color:var(--head-ink)}.panel h2{margin:0;font:820 clamp(54px,7.2vw,290px)/.84 var(--display);font-stretch:62%;letter-spacing:-.02em;color:var(--ink)}.panel .pl{margin:2.2vh 0 0;max-width:30ch;font:400 clamp(18px,1.42vw,56px)/1.3 var(--text);letter-spacing:-.012em;color:var(--ink);text-wrap:balance}.panel .pnow{margin:2.6vh 0 0;max-width:46ch;padding:.85em 1.1em;border-left:.3em solid var(--head);background:#ff3b1f12;font-size:var(--s-body);line-height:1.45;color:var(--ink)}.panel .pnow b{font-weight:650}.pstats{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:2.2vw;margin:4.2vh 0 0;max-width:46vw}.pstats div{border-top:2px solid var(--ink);padding-top:1.3vh}.pstats dt{font:820 clamp(30px,3.2vw,128px)/1 var(--display);font-stretch:75%;letter-spacing:-.005em;font-variant-numeric:tabular-nums;color:var(--ink)}.pstats dd{margin:.7vh 0 0;font:400 var(--s-small)/1.35 var(--text);color:var(--ink-2);max-width:22ch}.pbuilt{list-style:none;margin:3.8vh 0 0;padding:0;display:grid;gap:.55em;max-width:48ch;font-size:var(--s-body);line-height:1.4;color:var(--ink)}.pbuilt li{position:relative;padding-left:1.4em}.pbuilt li:before{content:"";position:absolute;left:0;top:.66em;width:.65em;height:2px;background:var(--head)}.pstack{margin:3vh 0 0;font:500 var(--s-micro) var(--mono);letter-spacing:.05em;color:var(--ink-3)}.pact{display:flex;flex-wrap:wrap;gap:.8em;margin:2.2vh 0 0}.btn{display:inline-flex;align-items:center;gap:.3em;padding:.78em 1.45em;border-radius:999px;border:1.5px solid var(--ink);background:transparent;color:var(--ink);font:600 var(--s-small)/1 var(--text);text-decoration:none;cursor:pointer;transition:background .15s var(--ease-snap),color .15s var(--ease-snap),border-color .15s,transform .12s var(--ease-snap)}.btn:hover,.btn.solid{background:var(--ink);color:var(--paper)}.btn.solid:hover{background:var(--head-ink);border-color:var(--head-ink)}.btn:active{transform:scale(.97)}.pmore{margin-top:2.4vh;max-width:54ch;font-size:var(--s-small)}.pmore summary{cursor:pointer;font-weight:600;list-style:none;width:max-content}.pmore summary::-webkit-details-marker{display:none}.pmore summary:after{content:" +";color:var(--head)}.pmore[open] summary:after{content:" −"}.pmore dl{margin:1.1em 0 0;display:grid;gap:1em}.pmore dt{font:500 var(--s-micro) var(--mono);text-transform:uppercase;letter-spacing:.06em;color:var(--ink-3)}.pmore dd{margin:.35em 0 0;color:var(--ink-2);line-height:1.45}.pmore ul{margin:0;padding-left:1.1em}.editor-wrap,.output,.bytecode,.replicas,.r-canvas,.r-layer{transition:opacity .5s var(--ease-ink)}.world.focus .editor-wrap,.world.focus .output,.world.focus .bytecode{opacity:0!important;pointer-events:none}.tape.tracing .tape-log ol{gap:2.2em}.world.focus .line-hl{opacity:0!important}.q-pin[data-phase=proof] .replicas{opacity:.06}.r-pin[data-phase=reveal] .r-canvas,.r-pin[data-phase=reveal] .r-layer{opacity:.05!important}.gworld{position:relative;min-height:100svh;display:grid;grid-template-columns:minmax(0,56vw) minmax(0,1fr);border-top:0}.panel.static{position:relative;inset:auto;z-index:auto;width:auto;min-height:100svh;background:none;opacity:1;visibility:visible;transform:none;overflow:visible}.gdemo{display:flex;flex-direction:column;justify-content:center;align-items:flex-start;gap:2vh;padding:7vh 4vw calc(var(--tape-h) + 5vh) 3.4vw;border-left:1px solid var(--line)}.gk{margin:0;font:500 var(--s-micro)/1 var(--mono);text-transform:uppercase;letter-spacing:.09em;color:var(--head-ink)}.gt{margin:0;max-width:28ch;font:400 clamp(18px,1.42vw,56px)/1.3 var(--text);letter-spacing:-.012em;color:var(--ink)}.glog{margin:0;max-width:100%;max-height:30vh;overflow:hidden;font:500 var(--s-micro)/1.6 var(--mono);color:var(--ink-2);white-space:pre-wrap;-webkit-mask-image:linear-gradient(transparent,#000 18%);mask-image:linear-gradient(transparent,#000 18%);display:block;order:2}#plug{order:3}.glog .ok{color:#2f8a46}.glog .drop{color:var(--head-ink);font-weight:650}.tape-log ol{gap:0}.tape-log .seq{margin-right:.6em}@media(max-aspect-ratio:9/10){.panel{width:100%;padding:8vh 6vw calc(var(--tape-h) + 4vh);background:#ececeaf2;justify-content:flex-start}.panel h2{font-size:15vw}.panel .pl{font-size:17px}.pstats{max-width:none;gap:4vw;margin-top:3vh}.pstats dt{font-size:7.6vw}.pstats dd{font-size:11.5px}.pbuilt,.panel .pnow{font-size:14px}.pbuilt{margin-top:3vh}.btn{font-size:14px}.world #rambo-panel{position:static;width:auto;padding:5vh 0 0;background:none;opacity:1;visibility:visible;transform:none;overflow:visible}.world.focus .editor-wrap,.world.focus .output,.world.focus .bytecode{opacity:1!important}.gworld{grid-template-columns:1fr}.panel.static{min-height:0;padding-bottom:4vh}.gdemo{border-left:0;border-top:1px solid var(--line);padding:5vh 6vw calc(var(--tape-h) + 8vh)}.gt{font-size:17px}.glog{max-height:44vh}}.r-m .r-d{top:calc(100% + 3.2vw + max(4.6vw,46px))!important}.rep{font-size:var(--s-small)!important}.rep .cells{gap:2.4em!important}.q-hint{position:absolute;left:1.6vw;top:calc(44vh - 2.5 * var(--tape-h) - 1.6vw - 7vh);z-index:2;margin:0;max-width:62ch;font:400 var(--s-body)/1.4 var(--text);color:var(--ink-2);opacity:0;transition:opacity .5s var(--ease-ink)}.q-hint b{color:var(--head-ink);font-weight:600}.q-pin[data-phase=split] .q-hint,.q-pin[data-phase=live] .q-hint{opacity:1}@media(max-aspect-ratio:9/10){.q-hint{left:5vw;right:5vw;font-size:14px;top:calc(44vh - 2.5 * var(--tape-h) - 3vw - 15vh)}}.rep .cells{-webkit-mask-image:linear-gradient(90deg,#000 86%,transparent);mask-image:linear-gradient(90deg,#000 86%,transparent)}.panel{--rule-w: min(46vw, 100%)}.prule{display:block;width:var(--rule-w);height:2px;margin:0 0 2.4vh;background:var(--head);transform-origin:left center}.panel h2 .hm{display:inline-block;overflow:hidden;vertical-align:top;padding:.07em .05em .12em;margin:-.07em -.05em -.12em}.panel h2 .hi{display:inline-block;will-change:transform}.pstats>div{will-change:clip-path}.gdisk{margin:0 0 3vh;width:100%;max-width:30vw}.gdisk figcaption{display:flex;justify-content:space-between;gap:1em;margin:0 0 1.2vh;font:500 var(--s-micro)/1 var(--mono);text-transform:uppercase;letter-spacing:.09em;color:var(--ink-3)}.gdisk .gdn{color:var(--ink)}.gpages{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px}.gpages li{aspect-ratio:1;background:var(--ink);border-radius:1px}.gpages li.new{animation:gwrite 1.6s var(--ease-ink, cubic-bezier(.16,1,.3,1)) both}.gpages li.pg{background:transparent;box-shadow:inset 0 0 0 1.5px var(--head);background-image:repeating-linear-gradient(135deg,rgb(255 59 31 / .55) 0 2px,transparent 2px 5px)}.gpages li.pg.new{animation:gpage .5s ease-out both}.gpages li.torn{background-image:linear-gradient(135deg,transparent 46%,var(--head) 46% 54%,transparent 54%);box-shadow:inset 0 0 0 1.5px #ff3b1f80}@keyframes gwrite{0%{background:var(--head);transform:scale(.4)}30%{background:var(--head);transform:scale(1)}to{background:var(--ink)}}@keyframes gpage{0%{transform:scale(.3);opacity:0}}.gdm{margin:1.4vh 0 0;max-width:46ch;font:400 var(--s-micro)/1.5 var(--text);color:var(--ink-3)}@media(prefers-reduced-motion:reduce){.gpages li.new,.gpages li.pg.new{animation:none}}@media(max-aspect-ratio:9/10){.gdisk{max-width:none}}.rail{position:absolute;left:0;right:0;top:0;height:1px;background:var(--line);pointer-events:none}.rail .rh{position:absolute;top:-1px;width:34px;height:3px;margin-left:-34px;background:var(--head)}.rail .rm{position:absolute;top:-7px;width:22px;height:14px;margin-left:-11px;pointer-events:auto;cursor:pointer}.rail .rm:before{content:"";position:absolute;left:10px;top:4px;width:1.5px;height:7px;background:var(--ink-3);transition:background .2s,height .2s,top .2s}.rail .rm.past:before{background:var(--ink)}.rail .rm.here:before,.rail .rm:hover:before{background:var(--head);height:11px;top:2px}.rail .rm span{position:absolute;bottom:16px;left:50%;transform:translate(-50%,4px);padding:.35em .6em;background:var(--ink);color:var(--paper);font:500 var(--s-micro)/1 var(--mono);white-space:nowrap;opacity:0;transition:opacity .15s,transform .15s;pointer-events:none}.rail .rm:hover span,.rail .rm:focus-visible span{opacity:1;transform:translate(-50%)}.rail{transition:opacity .25s}body.tape-away .rail{opacity:0!important}.rep{grid-template-columns:auto 23ch minmax(0,1fr) auto!important}.rep .who{display:flex;align-items:baseline;gap:.8em}.rep .who b{font-weight:650;color:var(--ink)}.rep .who .role{padding:.18em .55em;border:1px solid var(--line);border-radius:999px;font-size:.86em;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-2)}.rep .who .role.leader{background:var(--head-ink);border-color:var(--head-ink);color:#fff}.rep .who .role.candidate{border-color:var(--ink);color:var(--ink)}.rep .who .role.down{border-style:dashed}.rep .who .term{color:var(--ink-3);font-size:.9em}.rep .cells{display:flex!important;gap:3px!important;align-items:center;-webkit-mask-image:none!important;mask-image:none!important;justify-content:flex-start}.rep .cells li{flex:none;width:.95em;height:.95em;border-radius:1px;box-shadow:inset 0 0 0 1.5px var(--ink-3)}.rep .cells li.c{background:var(--ink);box-shadow:none}.rep .cells li.h{background:var(--head);box-shadow:none}.rep .cells li.h:not(.c){background:none;box-shadow:inset 0 0 0 1.5px var(--head)}.rep.down .cells li{opacity:.35}.rep .agree{min-width:21ch;text-align:right}.rep.agrees .agree:before{content:"✓ ";color:#2f8a46}.q-status{position:absolute;left:1.6vw;right:1.6vw;bottom:calc(var(--tape-h) + 3vh);z-index:2;margin:0;display:flex;flex-wrap:wrap;gap:.4em 2.4em;font:400 clamp(15px,1.15vw,44px)/1.3 var(--text);color:var(--ink-2);opacity:0;transition:opacity .4s}.q-status b{color:var(--ink);font-weight:650}.q-status b.hl{color:var(--head-ink)}.q-pin[data-phase=split] .q-status,.q-pin[data-phase=live] .q-status{opacity:1}@media(max-aspect-ratio:9/10){.rep{grid-template-columns:auto auto minmax(0,1fr)!important}.rep .who{display:flex!important;gap:.5em}.rep .who .term{display:none}.rep .cells li{width:.8em;height:.8em}.q-status{left:5vw;right:5vw;font-size:14px;flex-direction:column;bottom:calc(var(--tape-h) + 4vh)}}.r-fly:empty{background:var(--ink);border-radius:1px}.panel{padding:5vh 4vw calc(var(--tape-h) + 3.5vh)}.panel h2{font-size:clamp(48px,min(7.2vw,13.5vh),290px)}.prule{margin-bottom:2vh}.panel .pk{margin-bottom:1.6vh}.panel .pl{margin-top:1.6vh}.pstats{margin-top:3vh}.pstats dt{font-size:clamp(28px,min(3.2vw,6.4vh),128px)}.pbuilt{margin-top:2.8vh;gap:.45em}.pstack{margin-top:2.2vh}.pact,.pmore{margin-top:1.8vh}.pcard{position:absolute;z-index:6;left:60vw;right:4vw;top:50%;transform:translateY(calc(-50% - var(--tape-h) / 2 + 1vh));max-width:640px;padding:0 0 0 2.6vw;border-left:1px solid var(--line);opacity:0;visibility:hidden;transition:opacity .5s var(--ease-ink) .25s,transform .7s var(--ease-ink) .25s,visibility 0s linear .9s}.world.focus .pcard,.q-pin[data-phase=proof] .pcard,.r-pin[data-phase=reveal] .pcard{opacity:1;visibility:visible;transform:translateY(calc(-50% - var(--tape-h) / 2));transition-delay:.25s,.25s,0s}.pcard:empty{display:none}.pcard .ck{margin:0 0 1.6vh;font:500 var(--s-micro)/1 var(--mono);text-transform:uppercase;letter-spacing:.09em;color:var(--head-ink)}.pcard .cv{margin:0;font:820 clamp(44px,min(5.4vw,10vh),220px)/.9 var(--display);font-stretch:75%;letter-spacing:-.01em;font-variant-numeric:tabular-nums;color:var(--ink)}.pcard .cl{margin:1.2vh 0 0;max-width:34ch;font:400 var(--s-small)/1.45 var(--text);color:var(--ink-2)}.pcard .cl b{color:var(--ink);font-weight:650}.pcard .co{margin:2.4vh 0 0;padding:1em 1.2em;background:#0c0c0d0b;font:500 var(--s-micro)/1.6 var(--mono);color:var(--ink);white-space:pre;overflow:hidden}.pcard .cg{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1.4vw;margin:3vh 0 0}.pcard .cg div{border-top:1px solid var(--ink);padding-top:1vh}.pcard .cg dt{font:820 clamp(20px,min(1.9vw,3.6vh),76px)/1 var(--display);font-stretch:75%;font-variant-numeric:tabular-nums}.pcard .cg dd{margin:.5vh 0 0;font:400 var(--s-micro)/1.35 var(--text);color:var(--ink-2)}.pcard .cm{list-style:none;margin:0;padding:0;display:grid;gap:1.8vh}.pcard .cm li{display:grid;gap:.3vh;border-top:1px solid var(--line);padding-top:1.4vh}.pcard .cm li:first-child{border-top-color:var(--ink)}.pcard .cmv{font:820 clamp(30px,min(3.4vw,6.4vh),136px)/1 var(--display);font-stretch:75%;font-variant-numeric:tabular-nums;color:var(--ink)}.pcard .cmv small{margin-left:.25em;font:500 .34em var(--mono);color:var(--ink-3)}.pcard .cmc{font:400 var(--s-small)/1.35 var(--text);color:var(--ink-2)}.pcard .btn{margin-top:2.6vh}@media(max-aspect-ratio:9/10){.pcard{display:none}}@media(hover:hover)and (pointer:fine){html,body{cursor:url(data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A//www.w3.org/2000/svg%22%20width%3D%2228%22%20height%3D%2228%22%20viewBox%3D%220%200%2028%2028%22%3E%3Cpath%20d%3D%22M3%202%20L3%2021%20L8%2016.5%20L11.5%2024%20L14.6%2022.6%20L11.2%2015.4%20L18%2015.4%20Z%22%20fill%3D%22%230c0c0d%22%20stroke%3D%22%23ececea%22%20stroke-width%3D%221.6%22%20stroke-linejoin%3D%22round%22/%3E%3Crect%20x%3D%2220%22%20y%3D%2212%22%20width%3D%223.2%22%20height%3D%2212%22%20fill%3D%22%23ff3b1f%22/%3E%3C/svg%3E) 3 2,auto}a,button,summary,[role=button],.rep,label[for],.rail .rm{cursor:url(data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A//www.w3.org/2000/svg%22%20width%3D%2232%22%20height%3D%2232%22%20viewBox%3D%220%200%2032%2032%22%3E%3Ccircle%20cx%3D%2216%22%20cy%3D%2216%22%20r%3D%2211%22%20fill%3D%22none%22%20stroke%3D%22%230c0c0d%22%20stroke-width%3D%221.6%22/%3E%3Ccircle%20cx%3D%2216%22%20cy%3D%2216%22%20r%3D%2211%22%20fill%3D%22none%22%20stroke%3D%22%23ececea%22%20stroke-width%3D%223.6%22%20opacity%3D%22.5%22/%3E%3Ccircle%20cx%3D%2216%22%20cy%3D%2216%22%20r%3D%2211%22%20fill%3D%22none%22%20stroke%3D%22%230c0c0d%22%20stroke-width%3D%221.6%22/%3E%3Crect%20x%3D%2214.4%22%20y%3D%229%22%20width%3D%223.2%22%20height%3D%2214%22%20fill%3D%22%23ff3b1f%22/%3E%3C/svg%3E) 16 16,pointer}textarea,input,pre,.about-text,.panel .pl,.pbuilt,.pmore dd{cursor:text}}.history{margin-top:-100vh!important;position:relative}.contact{margin-top:-100vh!important}@media(hover:hover)and (pointer:fine){body.cur-on,body.cur-on a,body.cur-on button,body.cur-on summary,body.cur-on [role=button],body.cur-on .rep,body.cur-on label[for],body.cur-on .rail .rm{cursor:url(data:image/svg+xml,%3Csvg%20xmlns%3D%22http%3A//www.w3.org/2000/svg%22%20width%3D%2228%22%20height%3D%2228%22%20viewBox%3D%220%200%2028%2028%22%3E%3Cpath%20d%3D%22M3%202%20L3%2021%20L8%2016.5%20L11.5%2024%20L14.6%2022.6%20L11.2%2015.4%20L18%2015.4%20Z%22%20fill%3D%22%230c0c0d%22%20stroke%3D%22%23ececea%22%20stroke-width%3D%221.6%22%20stroke-linejoin%3D%22round%22/%3E%3C/svg%3E) 3 2,auto}body.cur-on textarea,body.cur-on input{cursor:text}}.cur{position:fixed;left:0;top:0;z-index:2147483000;pointer-events:none;box-sizing:border-box;will-change:transform;background:rgb(255 59 31 / calc(1 - var(--k, 0)));border:2px solid rgb(255 59 31 / var(--k, 0));opacity:0}.cur.idle{animation:curblink 1.06s steps(1) infinite}@keyframes curblink{50%{background:#ff3b1f1f}}.cur-pulse{position:fixed;z-index:2147483000;pointer-events:none;width:44px;height:44px;margin:-22px 0 0 -22px;border:2px solid var(--head);border-radius:50%;animation:curpulse .5s cubic-bezier(.16,1,.3,1) forwards}@keyframes curpulse{0%{transform:scale(.15);opacity:1}to{transform:scale(1);opacity:0}}.cv-view{width:min(980px,94vw);max-height:94vh;padding:0;border:0;background:var(--paper);color:var(--ink);box-shadow:0 30px 80px #00000059;overflow:hidden}.cv-view::backdrop{background:#0c0c0d8c}.cv-view[open]{display:flex;flex-direction:column;animation:cvin .35s cubic-bezier(.16,1,.3,1)}@keyframes cvin{0%{opacity:0;transform:translateY(14px)}}.cv-bar{display:flex;align-items:center;justify-content:space-between;gap:1em;flex-wrap:wrap;padding:14px 18px;border-bottom:1px solid var(--line);font:500 var(--s-small) var(--text)}.cv-bar b{font-weight:650}.cv-acts{display:flex;gap:.5em;flex-wrap:wrap}.cv-acts .btn{padding:.6em 1.1em}.cv-page{overflow-y:auto;padding:18px;background:#0c0c0d0f;overscroll-behavior:contain}.cv-page img{display:block;width:100%;height:auto;background:#fff;box-shadow:0 2px 14px #0000001f}html.cv-open{overflow:hidden}@media(max-aspect-ratio:9/10){.cv-bar b{display:none}}.output.fresh{animation:fresh 1.1s cubic-bezier(.16,1,.3,1)}@keyframes fresh{0%{background:#ff3b1f29;transform:translateY(6px);opacity:.2}30%{opacity:1;transform:none}to{background:transparent}}#run:disabled{opacity:.6;cursor:progress}.run-row{flex-wrap:wrap}.run-meta{flex:1 1 18ch;min-width:0}.world.live .output,.world.live .bytecode{opacity:1;transform:none}.output,.bytecode{background:var(--paper);box-shadow:0 0 0 .9em var(--paper)}#editor:focus-visible{outline:2px solid var(--head-ink);outline-offset:10px}.tape-here a{padding:.6em 0}.pmore summary{padding:.35em 0}.rail .rm{width:26px;height:26px;top:-13px;margin-left:-13px}.rail .rm:before{left:12px;top:10px}.rail .rm.here:before,.rail .rm:hover:before{top:8px}.r-m{max-width:92vw}.nojs{position:relative;z-index:20;max-width:60ch;margin:10vh auto;padding:0 24px;font:400 18px/1.5 var(--text);color:var(--ink)}.nojs h1{font:820 56px/1 var(--display);font-stretch:62%;margin:0 0 .4em}@media(min-aspect-ratio:9/10){.world{margin-top:-100vh}}