@font-face{font-family:IBM Plex Serif;src:url(/fonts/IBMPlexSerif-Regular.woff2);font-display:swap}@font-face{font-family:IBM Plex Serif;src:url(/fonts/IBMPlexSerif-Italic.woff2);font-display:swap;font-style:italic}@font-face{font-family:IBM Plex Serif;src:url(/fonts/IBMPlexSerif-Bold.woff2);font-display:swap;font-weight:700}@font-face{font-family:Berkeley Mono;src:url(/fonts/BerkeleyMono-Regular.woff2);font-display:swap;font-weight:400}@font-face{font-family:Berkeley Mono;src:url(/fonts/BerkeleyMono-Bold.woff2);font-display:swap;font-weight:700}:root{--paper:var(--sl-color-paper);--ink:var(--sl-color-ink);--muted:var(--sl-color-muted);--rule:var(--sl-color-rule)}*{box-sizing:border-box}html{scroll-padding-top:28px}body{background:var(--paper);color:var(--ink);font-family:var(--sl-font-prose);margin:0}a{color:inherit;text-underline-offset:4px}a:hover{color:var(--sl-color-accent-2)}a:focus-visible{outline:2px solid var(--sl-color-accent-2);outline-offset:5px}button:focus-visible{outline:2px solid var(--sl-color-accent-2);outline-offset:5px}button{cursor:pointer}img{max-width:100%;display:block}figure,p,h1,h2,h3{margin:0}main{max-width:var(--publication-width);padding:0 var(--publication-gutter) 40px;margin:auto}.hero{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:center;gap:56px;padding:24px 0 36px;display:grid}h1 em{font-family:var(--sl-font-prose);letter-spacing:-.02em;font-weight:700}.intro{max-width:49ch;margin-top:26px;font-size:17px;line-height:1.6}.text-link{margin-top:22px;font:11px/1.7 Berkeley Mono,monospace;text-decoration:none;display:inline-block}.text-link:hover{text-decoration:underline}.hero-art{justify-self:center;width:100%;min-width:0;max-width:560px;position:relative}.hero-art canvas{width:100%;height:auto;display:block}.hero-art #hero-motion{opacity:0;pointer-events:none;width:1px;height:1px;position:absolute}.hero-art figcaption{color:var(--muted);text-align:center;margin-top:12px;font:10px/1.6 Berkeley Mono,monospace}.quote{max-width:690px;margin-left:auto;margin-right:auto;padding:0 0 60px;position:relative}.recurrence{opacity:.65;width:84px;height:84px;margin:0 auto 22px;display:block}blockquote{letter-spacing:-.015em;margin:0;font-size:24px;line-height:1.5}.attribution{color:var(--muted);margin-top:20px;font:10px/1.7 Berkeley Mono,monospace}.proof-figure svg{width:100%;max-width:480px;height:auto;display:block;overflow:visible}.proof-figure svg text{fill:var(--ink);font:15px Berkeley Mono,monospace}.proof-figure .goal{font:26px IBM Plex Serif,serif}.proof-figure .goal-label{fill:var(--muted);font:13px Berkeley Mono,monospace}.proof-figure .formula{font:23px IBM Plex Serif,serif}.proof-route path{fill:none;stroke:currentColor;stroke-width:1.7px}.proof-route circle{fill:var(--paper);stroke:currentColor;stroke-width:1.7px}.proof-route .check{stroke-width:2px}.proof-route.taken{color:#26786c}.proof-route.taken text{fill:#24665d}.proof-route.blocked{color:#879088;opacity:.22}.proof-route.blocked path{stroke-dasharray:4 5}.removed-mark{fill:none;stroke:#a44733;stroke-width:2.5px}@media (max-width:850px){.hero{gap:32px}}@media (max-width:620px){.hero{grid-template-columns:1fr;gap:28px;padding:8px 0 28px}.hero-art{max-width:360px}.intro{margin-top:22px;font-size:16px}.quote{padding-bottom:44px}blockquote{font-size:21px}.recurrence{width:68px;height:68px;margin-bottom:18px}.proof-figure svg text{font-size:17px}}