@font-face{font-family:STIX;src:url(/fonts/serif.woff2)}@font-face{font-family:Plex;src:url(/fonts/sans.woff2)}@font-face{font-family:Mono;src:url(/fonts/mono.woff2)}:root{--bg:#193730;--panel:#23453C;--text:#E4EDE5;--line:#7C9B8D;--accent:#B5B98A;color-scheme:dark;font-family:Plex,Arial,sans-serif;color:var(--text);background:var(--bg);font-synthesis:none}*{box-sizing:border-box}body{margin:0}button,input{font:inherit}button,a,input,summary{-webkit-tap-highlight-color:transparent}button,a{color:inherit}button{border:1px solid var(--line);background:transparent;border-radius:3px;cursor:pointer;min-height:44px;padding:10px 16px}button:hover:not(:disabled),a:hover{background:var(--panel)}button:disabled{opacity:.48;cursor:not-allowed}button:focus-visible,a:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--accent);outline-offset:4px}a{text-decoration:none}p{line-height:1.55}h1,h2,h3{font-weight:400;margin:0}h1,h2{font-family:STIX,Georgia,serif}h1{font-size:48px;line-height:1.12}h2{font-size:26px}h3{font-size:16px}small,.hint{font-size:14px;line-height:1.55}.eyebrow,.metric-label,.num,.local-tag{font-family:Mono,monospace;font-size:12px;line-height:1.5}.eyebrow{margin:0 0 12px;letter-spacing:.025em}.primary{background:var(--accent);color:var(--bg);border-color:var(--accent)}.primary:hover:not(:disabled){background:var(--text)}header{height:92px;display:flex;align-items:center;gap:40px;border-bottom:1px solid var(--line)}main{max-width:1360px;margin:auto;padding:0 44px}.brand{display:flex;align-items:center;gap:12px;font:30px STIX,Georgia,serif}.brand img{object-fit:contain}nav{display:flex;align-items:center;gap:22px;margin-left:auto;font-size:14px}nav button{border:none;padding:8px 0}nav a{border-bottom:1px solid var(--accent);padding:12px 0}.local-tag{padding-left:24px;border-left:1px solid var(--line);font-size:11px}.page-heading{padding:38px 0 30px;display:flex;justify-content:space-between;align-items:end;gap:30px}.page-heading p:last-child{font-size:15px;margin:0 0 4px}.mobile-only{display:none}.bench{display:grid;grid-template-columns:320px minmax(0,1fr);border:1px solid var(--line)}.setup{padding:24px;border-right:1px solid var(--line);background:var(--panel)}.section-title{display:flex;align-items:center;gap:13px;margin-bottom:24px}.section-title h2{font-size:23px}.num{color:var(--accent)}fieldset{padding:0;margin:0;border:none;min-width:0}legend{font-size:14px;margin:0 0 10px}.task-tabs{display:grid;grid-template-columns:1fr 1fr;gap:6px}.task-tabs button{font-size:14px;padding:10px 6px}.task-tabs span{font-size:20px;margin-right:5px}.selected{background:var(--accent)!important;color:var(--bg)!important;border-color:var(--accent)!important}#task-info{min-height:44px;margin:12px 0 25px}label{display:flex;justify-content:space-between;align-items:center;font-size:15px;margin:22px 0 8px}label small{font-size:11px;font-family:Mono,monospace}input{width:100%;height:46px;border:1px solid var(--line);border-radius:2px;background:var(--bg);color:var(--text);padding:10px 12px;font-size:16px}.presets{display:flex;gap:8px;margin:10px 0 15px}.presets button{flex:1;font-size:12px;font-family:Mono,monospace;min-height:36px;padding:6px}#load-note{margin:0 0 25px}#run{width:100%;text-align:left;display:flex;justify-content:space-between}.run-controls{display:flex;gap:8px;margin-top:9px}.run-controls button{width:50%}#notice{min-height:44px;font-size:14px;margin:14px 0 25px;overflow-wrap:anywhere}.local-note{border-top:1px solid var(--line);padding-top:20px;display:flex;align-items:center;gap:12px}.local-note p{font-size:12px;margin:0}.run-panel{padding:24px 30px;min-width:0}.state{font:11px Mono,monospace;border:1px solid var(--line);padding:5px 9px;display:inline-block;border-radius:2px}.run-panel>.section-title>.state{margin-left:auto}.run-summary{display:grid;grid-template-columns:1fr 1fr 100px;gap:20px;padding:6px 0 25px}.run-summary>div{display:flex;flex-direction:column;gap:4px}.run-summary strong{font:40px STIX,Georgia,serif;white-space:nowrap}.run-summary em{font:18px STIX,Georgia,serif;font-style:normal}.run-summary small{font-size:12px}.run-stamp{align-items:center;border-left:1px solid var(--line);padding-left:20px}.run-stamp span{font:10px Mono,monospace;white-space:nowrap}.progress-row{display:flex;align-items:center;gap:20px}progress{appearance:none;height:5px;width:100%;border:0;background:var(--panel)}progress::-webkit-progress-bar{background:var(--panel)}progress::-webkit-progress-value{background:var(--accent)}progress::-moz-progress-bar{background:var(--accent)}#percent{font:12px Mono,monospace;width:42px;text-align:right}.journal{margin:23px 0 27px;border-top:1px solid var(--line)}.journal-heading{display:flex;justify-content:space-between;align-items:center;padding:15px 0 10px}#wall-note{font:10px Mono,monospace}#logs{list-style:none;padding:0;margin:0;height:132px;overflow:auto}#logs li{display:flex;gap:18px;margin:10px 0;font-size:13px}#logs li span{font:11px Mono,monospace;min-width:55px;padding-top:3px}#logs li p{margin:0}.result{border-top:1px solid var(--line);padding-top:25px}.result-top{display:flex;justify-content:space-between;align-items:center;gap:15px}.result-top .eyebrow{margin-bottom:7px}.result h2{font-size:26px}#result-note{font-size:14px;margin:12px 0 18px}.result-actions{display:flex;gap:8px;flex-wrap:wrap;margin-top:18px}.result-actions button{font-size:13px;padding:9px 12px}#digest{font:12px/1.7 Mono,monospace;overflow-wrap:anywhere;display:block;background:var(--panel);padding:10px 12px}#output>.metric-label{margin:12px 0 8px}details{margin:12px 0;font-size:13px}summary{cursor:pointer;padding:5px 0}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:11px/1.7 Mono,monospace;padding:10px;border-left:1px solid var(--line)}details p{font-size:12px}.history{margin-top:32px}.history .section-title{margin-bottom:12px}#saved-count{margin-left:auto;font:12px Mono,monospace}.empty{border-block:1px solid var(--line);padding:24px 0;font-size:15px}.saved-row{display:grid;grid-template-columns:1.5fr 1fr 1fr auto auto;align-items:center;gap:18px;border-top:1px solid var(--line);padding:14px 0}.saved-row:last-child{border-bottom:1px solid var(--line)}.saved-row p{margin:0;font-size:14px;overflow-wrap:anywhere}.saved-row small{display:block;font-size:11px}.saved-row button{font-size:12px}.boundary{display:flex;justify-content:space-between;align-items:center;gap:36px;border-top:1px solid var(--line);margin-top:36px;padding:30px 0}.boundary p:last-child{font-size:14px;max-width:650px;margin-bottom:0}.boundary>button{white-space:nowrap;font-size:13px}.soon{font:11px Mono,monospace;background:var(--accent);color:var(--bg);padding:4px 6px;margin-left:8px}.boundary h2{font-size:28px}footer{border-top:1px solid var(--line);padding:23px 0 35px;display:flex;align-items:center;gap:25px;font-size:12px}footer>span{margin-right:auto}.footer-dot{margin:0 10px}footer button{border:0;font-size:12px;padding:4px}.error{border-left:3px solid var(--accent);padding-left:10px}.matched{color:var(--bg);background:var(--accent);border-color:var(--accent)}dialog{max-width:620px;width:calc(100% - 32px);max-height:85dvh;overflow:auto;border:1px solid var(--line);border-radius:3px;background:var(--bg);color:var(--text);padding:40px}dialog::backdrop{background:#102820e8}dialog h2{font-size:34px;margin:15px 0 20px}dialog h3{margin-top:24px}dialog p{font-size:15px}dialog code{font-size:12px;overflow-wrap:anywhere}.dialog-close{position:absolute;right:12px;top:8px;font-size:24px;border:0}.dialog-return{margin-top:15px}dialog>.soon{margin:0}#intro{position:fixed;inset:0;z-index:20;background:var(--bg);padding:28px 44px;display:flex;flex-direction:column}#intro[hidden]{display:none}.intro-top,.intro-bottom{display:flex;justify-content:space-between;align-items:center;font-size:13px}.intro-top{border-bottom:1px solid var(--line);padding-bottom:20px}.intro-bottom{border-top:1px solid var(--line);padding-top:18px}.intro-top>span{font-family:Mono,monospace}.story{margin:auto;width:min(850px,100%);padding:20px 0}.story h1{font-size:56px;text-align:center}.story>.eyebrow{text-align:center;margin-bottom:18px}.story-diagram{height:250px;position:relative;display:flex;align-items:center;justify-content:center;gap:42px;margin:10px 0}.story-watch{height:220px;width:200px;color:var(--text);flex-shrink:0}.seed-slip,.result-slip,.proof-slip{border:1px solid var(--line);padding:12px 15px;font:12px Mono,monospace;background:var(--panel)}.seed-slip span,.result-slip span,.proof-slip span{display:block;margin-top:12px;font:20px STIX,Georgia,serif}.seed-slip{animation:seedmove 10s ease both}.paper-stack{position:relative;width:170px;height:150px}.result-slip{position:absolute;width:150px;left:0;top:0;opacity:0}.result-slip.first{animation:firstresult 10s both}.result-slip.second{top:80px;animation:secondresult 10s both}.equal{position:absolute;right:-30px;top:58px;font:36px STIX;opacity:0;animation:equalshow 10s both;color:var(--accent)}.proof-slip{position:absolute;inset:0 auto auto 0;width:175px;height:160px;opacity:0;animation:proofshow 10s both}.proof-slip b{font-size:25px;color:var(--accent);display:block;margin-top:23px;font-weight:400}.sweep{transform-origin:100px 123px;animation:sweep 10s linear both}.crown{animation:crown 10s both}#story-caption{text-align:center;font-size:18px;margin:15px 0 4px}.concept{text-align:center;font-size:11px;margin:0}.intro-bottom button{background:var(--accent);color:var(--bg);border-color:var(--accent)}.reduced .story-diagram *{animation:none!important}.reduced .first,.reduced .second,.reduced .equal{opacity:1}.reduced .proof-slip{display:none}@keyframes seedmove{0%,10%{transform:translate(-20px)}20%,to{transform:translate(0)}}@keyframes crown{0%,8%,18%,to{transform:translateY(0)}12%{transform:translateY(6px)}}@keyframes sweep{0%,15%{transform:rotate(0)}48%,53%{transform:rotate(360deg)}76%,to{transform:rotate(720deg)}}@keyframes firstresult{0%,28%{opacity:0;transform:translate(-20px)}38%,79%{opacity:1;transform:translate(0)}85%,to{opacity:0}}@keyframes secondresult{0%,52%{opacity:0;transform:translate(-20px)}64%,79%{opacity:1;transform:translate(0)}85%,to{opacity:0}}@keyframes equalshow{0%,65%{opacity:0}70%,79%{opacity:1}85%,to{opacity:0}}@keyframes proofshow{0%,79%{opacity:0;transform:translateY(15px)}87%,to{opacity:1;transform:translateY(0)}}@media(max-width:1000px){main{padding:0 24px}.local-tag{display:none}header{gap:20px}.page-heading{align-items:start}.page-heading h1{font-size:40px}.page-heading p:last-child{max-width:230px}.bench{grid-template-columns:280px minmax(0,1fr)}.setup,.run-panel{padding:20px}.run-summary{grid-template-columns:1fr 1fr}.run-stamp{display:none!important}.result-actions button{flex:1}.boundary{align-items:start;flex-direction:column;gap:20px}.saved-row{grid-template-columns:1.3fr 1fr auto auto}.saved-row .saved-time{display:none}}@media(max-width:700px){main{padding:0 18px}header{height:76px}.brand{font-size:25px;gap:8px}.brand img{width:31px;height:31px}nav{gap:12px}nav a{display:none}nav button{font-size:12px}.page-heading{display:block;padding:27px 0 22px}.page-heading h1{font-size:37px}.page-heading .eyebrow{font-size:10px}.page-heading p:last-child{max-width:none;margin-top:13px;font-size:14px}.page-heading p:last-child br{display:none}.mobile-only,.bench{display:block}.setup{border-right:0;border-bottom:1px solid var(--line);padding:20px}.section-title{margin-bottom:18px}.task-tabs button{padding:8px}#task-info{min-height:0;margin:10px 0 18px}label{margin:17px 0 8px}#load-note{margin-bottom:18px}.local-note{display:none}#notice{min-height:0;margin-bottom:0}.run-panel{padding:23px 20px}.run-summary strong{font-size:33px}.run-summary{gap:10px}.metric-label,.run-summary small{font-size:10px}.journal-heading{gap:12px}#wall-note{font-size:9px;max-width:130px;text-align:right}.result-top{align-items:start}.result-top .eyebrow{font-size:10px}.result h2{font-size:23px}.result-actions{display:grid;grid-template-columns:1fr 1fr}.result-actions #export{grid-column:1/-1}.result-actions button{font-size:12px}.history .section-title h2{font-size:22px}#saved-count{font-size:10px;max-width:80px;text-align:right}.saved-row{grid-template-columns:1fr auto auto;gap:8px}.saved-row .saved-size{display:none}.saved-row button{padding:8px 10px}.boundary h2{font-size:27px}.boundary>button{font-size:12px;padding:10px}footer{flex-wrap:wrap;gap:8px 20px}footer>span{width:100%}footer button{padding-left:0}.footer-dot{margin:0 5px}#intro{padding:18px}.intro-top{font-size:10px;gap:15px}.intro-top button{font-size:12px;white-space:nowrap;padding:8px}.story h1{font-size:38px}.story-diagram{gap:12px;height:240px}.story-watch{width:140px;height:160px}.seed-slip{position:absolute;left:12px;top:8px;padding:6px 10px;font-size:10px}.seed-slip span{font-size:14px;margin-top:3px}.paper-stack{width:115px;height:150px;margin-top:25px}.result-slip{width:110px;padding:10px;font-size:10px}.result-slip span{font-size:16px;margin-top:5px}.proof-slip{width:130px;padding:10px;font-size:10px}.proof-slip span{font-size:16px}.equal{right:-15px;font-size:28px}#story-caption{font-size:15px}.concept{font-size:10px}.intro-bottom>span{font-size:10px;max-width:100px}.intro-bottom button{font-size:12px}.story{padding:10px 0}dialog{padding:30px 24px}dialog h2{font-size:30px}}@media(max-height:650px){.story h1{font-size:34px}.story-diagram{height:180px}.story-watch{height:150px}.story>.eyebrow{margin-bottom:8px}.intro-top{padding-bottom:8px}.intro-bottom{padding-top:8px}#intro{overflow:auto}}@media(prefers-reduced-motion:reduce){*{animation:none!important;scroll-behavior:auto!important}}