:root{--paper:#F3F0E8;--card:#FFFDF8;--card2:#F8F5EE;--ink:#16161A;--ink2:#55534E;--mute:#8F8C84;--line:#DDD8CC;--dot:#CFC9BB;--ai:#5B4BFF;--ai-bg:#ECEAFF;--ai-line:#C9C3FF;--hum:#E8501A;--hum-bg:#FFE9DF;--hum-line:#FFC4AC;--ok:#14864F;--ok-bg:#DFF3E7;--ok-line:#B7E2C8;--term:#16161A;--term-ink:#D9D6CE;--serif:-apple-system,BlinkMacSystemFont,"SF Pro Display","SF Pro Text","Inter",system-ui,"Segoe UI",sans-serif;--sans:-apple-system,BlinkMacSystemFont,"SF Pro Display","SF Pro Text","Inter",system-ui,"Segoe UI",sans-serif;--mono:"Martian Mono",ui-monospace,monospace;--ease:cubic-bezier(.2,.8,.2,1);--shadow:0 18px 40px -24px rgba(22,22,26,.35)}[data-theme=dark]{--paper:#111114;--card:#1A1A1F;--card2:#202026;--ink:#F1EEE6;--ink2:#B9B5AC;--mute:#85827A;--line:#2E2D34;--dot:#2A2A31;--ai:#8B80FF;--ai-bg:#25224A;--ai-line:#3D3880;--hum:#FF8A5C;--hum-bg:#3A2219;--hum-line:#5C3424;--ok:#5FD39A;--ok-bg:#16301F;--ok-line:#24503A;--term:#0B0B0E;--shadow:0 18px 40px -24px rgba(0,0,0,.8)}*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}body{background:var(--paper);background-image:radial-gradient(circle,var(--dot) 1px,transparent 1.2px);background-size:22px 22px;color:var(--ink);font-family:var(--sans);font-size:16px;line-height:1.55;min-width:1280px;-webkit-font-smoothing:antialiased;transition:background-color .4s,color .4s}a{color:inherit}button{font:inherit;color:inherit;cursor:pointer;background:none;border:0}::selection{background:var(--ai);color:#fff}.wrap{width:1216px;margin:0 auto}section{position:relative;scroll-margin-top:70px}.mono{font-family:var(--mono)}.bar{position:sticky;top:0;z-index:50;display:flex;align-items:center;justify-content:space-between;padding:14px 32px;background:color-mix(in srgb,var(--paper) 86%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-bottom:1px solid var(--line);transition:transform .45s var(--ease)}.bar.hide{transform:translateY(-105%)}.crumb{font:500 14px var(--mono);display:flex;gap:10px;align-items:center;text-decoration:none}.crumb span.s{color:var(--mute)}.live{font:500 12px var(--mono);background:var(--ok-bg);color:var(--ok);padding:4px 10px;border-radius:99px;display:inline-flex;gap:6px;align-items:center}.live i{width:7px;height:7px;border-radius:50%;background:var(--ok);animation:pulse 1.6s infinite}@keyframes pulse{50%{opacity:.3}}.tabs{display:flex;gap:2px;font-size:14px}.tabs a{padding:7px 12px;border-radius:8px;text-decoration:none;color:var(--ink2);transition:.2s}.tabs a.on,.tabs a:hover{background:var(--card);color:var(--ink);box-shadow:0 0 0 1px var(--line)}.tools{display:flex;gap:8px;align-items:center}.ibtn{width:38px;height:38px;border-radius:10px;border:1px solid var(--line);background:var(--card);display:grid;place-items:center}.ibtn svg{width:17px;height:17px;stroke:var(--ink);fill:none;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.cta{font:500 14px var(--sans);background:var(--ink);color:var(--paper);padding:9px 16px;border-radius:10px;text-decoration:none;display:inline-block;transition:transform .2s}.cta:hover{transform:translateY(-1px)}.ghost{font:500 14px var(--sans);border:1px solid var(--line);background:var(--card);padding:9px 16px;border-radius:10px;text-decoration:none;display:inline-block}.tag{font:500 12px var(--mono);color:var(--ink2);border:1px solid var(--line);background:var(--card);padding:5px 10px;border-radius:99px;display:inline-block}h1{font:400 86px/.95 var(--serif);letter-spacing:-1.5px;margin:20px 0 18px}h2{font:400 58px/1 var(--serif);letter-spacing:-1px;margin:12px 0}h1 em,h2 em,.t-ai{font-style:italic;color:var(--ai)}.t-hum{font-style:italic;color:var(--hum)}.sub{color:var(--ink2);font-size:17px;max-width:640px}.sec{padding:90px 0 20px}[data-reveal]{opacity:0;transform:translateY(22px);transition:opacity .8s var(--ease) var(--d,0s),transform .8s var(--ease) var(--d,0s)}[data-reveal].in{opacity:1;transform:none}.hero{display:grid;grid-template-columns:480px 1fr;gap:28px;padding:56px 0 26px;align-items:center}.lede{font-size:18px;line-height:1.55;color:var(--ink2);max-width:450px}.me{display:flex;gap:14px;align-items:center;margin-top:24px}.me img{width:52px;height:52px;border-radius:50%;object-fit:cover;border:2px solid var(--card);box-shadow:0 0 0 1px var(--line)}.me b{display:block;font-weight:600}.me span{font-size:14px;color:var(--mute)}.hstats{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin-top:24px}.hstats div{background:var(--card);border:1px solid var(--line);border-radius:12px;padding:10px 12px}.hstats b{display:block;font:400 30px/1 var(--serif)}.hstats span{font-size:12px;color:var(--mute);line-height:1.3;display:block;margin-top:4px}.canvas{position:relative;height:580px;background:var(--card);border:1px solid var(--line);border-radius:22px;overflow:hidden}.canvas .hd{position:absolute;left:16px;top:14px;right:16px;display:flex;justify-content:space-between;font:500 12px var(--mono);color:var(--mute);z-index:3}.canvas .legend{position:absolute;left:16px;bottom:14px;display:flex;gap:14px;font:500 11px var(--mono);color:var(--mute);z-index:3}.canvas .legend i{display:inline-block;width:10px;height:10px;border-radius:3px;margin-right:5px;vertical-align:-1px}svg.wires{position:absolute;inset:0;width:100%;height:100%}.wire{fill:none;stroke:var(--dot);stroke-width:1.6;stroke-dasharray:4 5;animation:dash 1.2s linear infinite}@keyframes dash{to{stroke-dashoffset:-18}}.node{position:absolute;background:var(--card);border:1px solid var(--line);border-radius:14px;padding:10px 12px;font-size:13px;z-index:2}.node small{display:block;font:500 10.5px var(--mono);color:var(--mute);letter-spacing:.5px;text-transform:uppercase;margin-bottom:2px}.node b{font:400 26px/1 var(--serif)}.node .l{font-size:12px;color:var(--mute)}.node.src.hit{box-shadow:0 0 0 3px var(--ai-line)}.node.ai{background:var(--ai);color:#fff;border-color:var(--ai);width:206px}.node.ai small{color:#d9d5ff}.spin{display:inline-block;animation:spin 3s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.theme{display:flex;justify-content:space-between;font:500 11.5px var(--mono);color:#e6e3ff;margin-top:6px}.theme i{font-style:normal;color:#fff;transition:transform .2s}.theme i.bump{transform:scale(1.5)}.node.hum{background:var(--hum-bg);border-color:var(--hum-line);width:206px;color:var(--ink)}.node.hum small{color:var(--hum)}.stamp{position:absolute;right:-10px;top:-12px;font:500 11px var(--mono);color:var(--hum);border:2px solid var(--hum);border-radius:6px;padding:1px 6px;transform:rotate(12deg) scale(.8);background:var(--card);opacity:0;transition:.3s var(--ease)}.stamp.show{opacity:1;transform:rotate(-8deg) scale(1.05)}.node.out{background:var(--ok-bg);border-color:var(--ok-line);width:178px}.node.out small,.node.out .l,.node.out b{color:var(--ok)}.packet{position:absolute;z-index:4;font:500 11px var(--mono);padding:4px 8px;border-radius:8px;white-space:nowrap;pointer-events:none;transform:translate(-50%,-50%)}.packet.finding{background:var(--ink);color:var(--paper)}.packet.quote{background:var(--card);color:var(--ink);box-shadow:0 0 0 1px var(--line)}.packet.theme-p{background:var(--ai);color:#fff}.packet.ver{background:var(--hum);color:#fff}.log{background:var(--term);color:var(--term-ink);border-radius:18px;padding:18px 22px;font:400 13.5px/1.8 var(--mono);min-height:206px}.log .p{color:#7d7a72}.log .ai{color:#a99fff}.log .hum{color:#ff9b73}.log .ok{color:#6fd39c}.log .note{color:#7d7a72;font-style:italic}.cursor{display:inline-block;width:8px;height:15px;background:var(--term-ink);vertical-align:-2px;animation:pulse 1s steps(2) infinite}.problem{margin-top:26px;display:flex;gap:16px;align-items:flex-start;background:var(--card);border:1px solid var(--line);border-left:6px solid var(--hum);border-radius:14px;padding:16px 20px;max-width:860px}.problem b{font:500 11px var(--mono);letter-spacing:1.5px;color:var(--hum);white-space:nowrap;padding-top:3px}.problem p{font-size:16px;color:var(--ink2)}.commits{margin-top:34px;position:relative;padding-left:34px}.commits:before{content:"";position:absolute;left:11px;top:10px;bottom:10px;width:2px;background:var(--line)}.commits .fill{position:absolute;left:11px;top:10px;width:2px;background:var(--ai);height:0;transition:height 1.6s var(--ease)}.commit{position:relative;display:grid;grid-template-columns:150px 1fr 230px;gap:24px;align-items:start;background:var(--card);border:1px solid var(--line);border-radius:16px;padding:18px 22px;margin-bottom:12px}.commit:before{content:"";position:absolute;left:-29px;top:24px;width:12px;height:12px;border-radius:50%;background:var(--card);border:2px solid var(--ai)}.commit.head:before{background:var(--ai)}.commit .v{font:500 13px var(--mono)}.commit .v span{display:block;font-size:12px;color:var(--mute);margin-top:4px}.commit .vt{display:inline-block;margin-top:8px;font:500 11px var(--mono);padding:2px 8px;border-radius:99px;background:var(--card2);border:1px solid var(--line)}.commit h3{font:400 30px/1.05 var(--serif)}.commit .msg{font:400 13px var(--mono);color:var(--ink2);margin-top:6px}.commit .msg:before{content:"$ git commit -m ";color:var(--mute)}.commit .learn{font-size:14px;color:var(--ink2);margin-top:8px}.commit .st b{display:block;font:400 40px/1 var(--serif)}.commit .st span{font-size:13px;color:var(--mute)}.commit.head{border-color:var(--ai-line);background:color-mix(in srgb,var(--ai) 5%,var(--card))}.commit.head .vt{background:var(--ai);color:#fff;border-color:var(--ai)}.srcgrid{display:grid;grid-template-columns:440px 1fr;gap:18px;margin-top:30px}.counters{background:var(--card);border:1px solid var(--line);border-radius:18px;padding:16px;display:grid;grid-template-columns:1fr 1fr;gap:8px;align-content:start}.counters .c{border:1px solid var(--line);border-radius:12px;padding:10px 12px;background:var(--card2)}.counters .c b{display:block;font:400 34px/1 var(--serif)}.counters .c span{display:block;font-size:12.5px;color:var(--ink2);margin-top:4px;line-height:1.3}.counters .c em{font:500 10.5px var(--mono);font-style:normal;color:var(--mute)}.counters .c.feat{grid-column:1/-1;background:var(--ai);border-color:var(--ai);color:#fff;text-decoration:none}.counters .c.feat b{font-size:52px}.counters .c.feat span,.counters .c.feat em{color:#e6e3ff}.steps{display:grid;grid-template-columns:repeat(5,1fr);gap:6px}.steps button{text-align:left;border:1px solid var(--line);border-radius:12px;padding:10px 12px;background:var(--card);font:500 12.5px var(--mono);transition:.2s;position:relative}.steps button span{display:block;font-size:11px;color:var(--mute)}.steps button i{position:absolute;top:8px;right:8px;font:500 10px var(--mono);font-style:normal;background:var(--ai);color:#fff;padding:1px 6px;border-radius:4px}.steps button.on{background:var(--ink);color:var(--paper);border-color:var(--ink)}.steps button.on span{color:var(--mute)}.stepcard{margin-top:10px;background:var(--card);border:1px solid var(--line);border-radius:18px;padding:20px;min-height:300px;display:flex;flex-direction:column;animation:fadeup .5s var(--ease) both}@keyframes fadeup{0%{opacity:0;transform:translateY(8px)}}.split{display:grid;grid-template-columns:1fr 1fr;gap:12px}.who{border-radius:14px;padding:16px}.who small{font:500 11px var(--mono);letter-spacing:1.5px}.who p{font-size:16px;margin-top:6px}.who.ai{background:var(--ai-bg);border:1px solid var(--ai-line)}.who.ai small{color:var(--ai)}.who.ai.none{opacity:.5}.who.me{background:var(--hum-bg);border:1px solid var(--hum-line)}.who.me small{color:var(--hum)}.ex{margin-top:auto;padding-top:16px;font-size:15px;color:var(--ink2)}.ex b{font:500 11px var(--mono);letter-spacing:1.5px;color:var(--mute);margin-right:10px}.runs{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:14px;margin:30px 0 10px}.run{min-width:0;background:var(--card);border:1px solid var(--line);border-radius:18px;padding:16px;transition:transform .25s var(--ease),box-shadow .25s;text-decoration:none;display:flex;flex-direction:column}.run:hover{transform:translateY(-4px);box-shadow:var(--shadow)}.run .top{display:flex;justify-content:space-between;align-items:center;font:500 11.5px var(--mono);color:var(--mute)}.st{padding:2px 8px;border-radius:99px;font:500 11px var(--mono)}.st.shipped{background:var(--ok-bg);color:var(--ok)}.st.tested{background:var(--ai-bg);color:var(--ai)}.st.concept,.st.queued{background:var(--hum-bg);color:var(--hum)}.run h3{font:400 26px/1.05 var(--serif);margin:10px 0 4px}.run p{font-size:13.5px;color:var(--ink2);line-height:1.45}.run .metric{margin-top:auto;display:flex;align-items:baseline;gap:8px;border-top:1px dashed var(--line);padding-top:10px}.run .metric b{font:400 32px/1 var(--serif)}.run .metric span{font-size:12px;color:var(--mute)}.run.queued{border-style:dashed;background:transparent}.mini{display:flex;align-items:center;gap:4px;margin:12px 0;overflow:hidden}.mini span{font:500 10px var(--mono);padding:3px 6px;border-radius:6px;border:1px solid var(--line);white-space:nowrap}.mini span.ai{background:var(--ai);color:#fff;border-color:var(--ai)}.mini span.hum{background:var(--hum-bg);color:var(--hum);border-color:var(--hum-line)}.mini em{flex:1;height:1px;background:repeating-linear-gradient(90deg,var(--mute) 0 3px,transparent 3px 6px);min-width:4px}.deck{position:relative;margin-top:40px}.slot{position:sticky;top:calc(70px + var(--i)*6px);height:calc(100vh - 70px);display:grid;place-items:center;padding:12px 0 20px}.slot.gone{visibility:hidden}.lift{width:1216px;transform-origin:50% 20%;will-change:transform;position:relative}.fit{transform:scale(var(--fit,1));transform-origin:50% 40%}.dim{position:absolute;inset:0;border-radius:24px;background:#000;opacity:0;pointer-events:none;z-index:9}.detail{position:relative;background:var(--card);border:1px solid var(--line);border-radius:24px;padding:28px 30px;box-shadow:var(--shadow);display:grid;grid-template-columns:1fr 360px;gap:30px}.detail:before{content:"";position:absolute;left:0;top:28px;bottom:28px;width:5px;border-radius:0 4px 4px 0;background:var(--c)}.d-top{display:flex;gap:10px;align-items:center;font:500 12px var(--mono);color:var(--mute)}.d-top .code{background:var(--c);color:#fff;padding:3px 9px;border-radius:6px}.detail h3{font:400 50px/1 var(--serif);margin:12px 0 6px;letter-spacing:-.5px}.d-tag{font:400 13px var(--mono);color:var(--mute)}.fromto{display:grid;grid-template-columns:1fr 30px 1fr;gap:10px;align-items:start;margin:18px 0}.fromto small{display:block;font:500 10.5px var(--mono);letter-spacing:1.5px;color:var(--mute);text-transform:uppercase;margin-bottom:3px}.fromto p{font-size:15px}.fromto .ar{color:var(--c);font-size:22px;padding-top:12px;text-align:center}.d-desc{font-size:15.5px;color:var(--ink2);max-width:680px}.flow{display:grid;grid-template-columns:repeat(5,1fr);gap:8px;margin-top:18px;position:relative}.flow .n{border:1px solid var(--line);border-radius:12px;padding:10px;font-size:13px;background:var(--card2);position:relative;opacity:0;transform:translateY(10px);transition:opacity .5s var(--ease) calc(var(--k)*.12s),transform .5s var(--ease) calc(var(--k)*.12s)}.print .flow .n{opacity:1;transform:none}.flow .n small{display:block;font:500 10.5px var(--mono);color:var(--mute);text-transform:uppercase;letter-spacing:.5px;margin-bottom:3px}.flow .n.ai{background:var(--ai-bg);border-color:var(--ai-line)}.flow .n.ai small{color:var(--ai)}.flow .n.hum{background:var(--hum-bg);border-color:var(--hum-line)}.flow .n.hum small{color:var(--hum)}.flow .n:not(:last-child):after{content:"→";position:absolute;right:-9px;top:50%;transform:translateY(-50%);font-size:12px;color:var(--mute);z-index:2}.followup{margin-top:14px;border:1px dashed var(--ai-line);background:color-mix(in srgb,var(--ai) 4%,var(--card));border-radius:12px;padding:10px 14px;font-size:13.5px}.followup b{font:500 11px var(--mono);color:var(--ai);letter-spacing:1px;display:block;margin-bottom:4px}.followup li{margin-left:16px;color:var(--ink2)}.d-side{display:flex;flex-direction:column;gap:14px}.d-img{height:170px;border-radius:14px;overflow:hidden;border:1px solid var(--line);background:var(--card2)}.d-img img{width:100%;height:100%;object-fit:cover;object-position:top}.d-img.logo img{object-fit:contain;padding:30px}.dstat b{display:block;font:400 46px/1 var(--serif)}.dstat span{font-size:13px;color:var(--ink2)}.methods{display:flex;flex-wrap:wrap;gap:6px;margin-top:14px}.methods span{font:500 11.5px var(--mono);padding:4px 9px;border-radius:6px;border:1px solid var(--line);color:var(--ink2)}.d-side .cta{text-align:center;margin-top:auto}.rail{position:fixed;right:18px;top:50%;transform:translate(80px,-50%);z-index:40;display:flex;flex-direction:column;gap:7px;align-items:flex-end;transition:transform .5s var(--ease)}.rail.on{transform:translateY(-50%)}.rail a{display:block;height:10px;width:26px;border-radius:3px;border:1.5px solid var(--c);background:color-mix(in srgb,var(--c) 15%,transparent);transition:.25s;position:relative}.rail a:after{content:attr(data-l);position:absolute;right:36px;top:50%;transform:translateY(-50%);font:500 11px var(--mono);white-space:nowrap;background:var(--ink);color:var(--paper);padding:3px 8px;border-radius:4px;opacity:0;pointer-events:none;transition:.2s}.rail a:hover:after{opacity:1}.rail a.on{width:42px;background:var(--c)}.tower{display:grid;grid-template-columns:280px 1fr;gap:20px;margin-top:30px}.law-list{display:flex;flex-direction:column;gap:6px}.law-list button{text-align:left;padding:12px 14px;border-radius:12px;border:1px solid var(--line);background:var(--card);display:flex;gap:12px;align-items:center;font-weight:500;font-size:15px;transition:.2s}.law-list button span{font:500 11px var(--mono);color:var(--mute)}.law-list button.on{background:var(--ink);color:var(--paper);border-color:var(--ink)}.law-card{background:var(--card);border:1px solid var(--line);border-radius:20px;padding:26px 28px}.law-card .num{font:500 12px var(--mono);color:var(--mute)}.law-card h3{font:400 46px/1 var(--serif);margin:8px 0}.law-card .def{font-size:17px;color:var(--ink2)}.demo{margin:20px 0 0;padding:20px;border-radius:14px;background:var(--card2);border:1px dashed var(--line)}.law-card .try{font-size:14px;color:var(--ink2);margin-top:14px}.law-card .try b,.law-card .page-note b{font:500 11px var(--mono);letter-spacing:1.5px;margin-right:8px}.law-card .try b{color:var(--hum)}.law-card .page-note{margin-top:14px;font-size:13.5px;color:var(--mute)}.law-card .page-note b{color:var(--mute)}.dm-row{display:flex;gap:12px;align-items:center;flex-wrap:wrap}.dm-btn{padding:9px 14px;border-radius:10px;background:var(--card);border:1px solid var(--line);font-weight:500;font-size:14px}.dm-btn:hover{border-color:var(--ink)}.dm-out{font:500 13.5px var(--mono);color:var(--ok);margin-top:12px;min-height:22px}.dm-col{flex:1;padding:14px;border-radius:12px;background:var(--card);border:1px solid var(--line)}.dm-col h6{font:500 11px var(--mono);letter-spacing:1.5px;color:var(--mute);margin-bottom:10px}.mini-board{background:var(--term);border-radius:10px;padding:10px;display:grid;grid-template-columns:repeat(4,1fr);gap:6px}.mini-board span{font:500 13px var(--mono);color:#c9c6be;background:#24242a;padding:6px;border-radius:5px;text-align:center;cursor:pointer}.mini-board span.vr{background:var(--ai);color:#fff}.field-demo{display:flex;flex-direction:column;gap:6px;max-width:320px}.field-demo label{font-weight:500;font-size:14px}.field-demo input{font:500 16px var(--mono);padding:9px 12px;border-radius:10px;border:1px solid var(--line);background:var(--card);color:var(--ink)}.field-demo input.bad{border-color:#d64545}.field-demo .hint{font-size:12.5px;color:var(--mute)}.field-demo .err{font-size:12.5px;color:#d64545}.btn{display:inline-flex;align-items:center;padding:10px 18px;border-radius:10px;border:1px solid var(--ink);font-weight:500;font-size:14px}.btn.solid{background:var(--ink);color:var(--paper)}.proof{margin-top:18px;border:1px solid color-mix(in srgb,var(--c) 35%,var(--line));border-radius:14px;padding:16px 18px;background:color-mix(in srgb,var(--c) 4%,var(--card))}.proof-head{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:10px}.proof-head small{font:500 11px var(--mono);letter-spacing:1.5px;color:var(--ok)}.proof-head .code{font:500 11.5px var(--mono);background:var(--c);color:#fff;padding:2px 8px;border-radius:5px}.proof-head b{font:400 22px var(--serif)}.badge{margin-left:auto;font:500 11px var(--mono);padding:4px 10px;border-radius:99px}.badge.tested{background:var(--ai-bg);color:var(--ai)}.badge.measured{background:var(--ok-bg);color:var(--ok)}.badge.found{background:var(--hum-bg);color:var(--hum)}.badge.concept{background:var(--card2);color:var(--ink2);border:1px solid var(--line)}.proof-body{display:grid;grid-template-columns:190px 1fr;gap:20px}.proof-stat b{display:block;font:400 38px/1 var(--serif);color:var(--c)}[data-theme=dark] .proof-stat b{color:color-mix(in srgb,var(--c) 50%,#fff)}.proof-stat span{font-size:12.5px;color:var(--ink2)}.proof-body p{font-size:14.5px;color:var(--ink2)}.proof-foot{display:flex;justify-content:space-between;gap:16px;margin-top:12px;padding-top:10px;border-top:1px dashed var(--line);font-size:13px;color:var(--mute)}.proof-foot a{font-weight:500;color:var(--ink);white-space:nowrap}.approvals{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:30px}.appr{background:var(--card);border:1px solid var(--line);border-radius:20px;padding:24px 26px;display:flex;flex-direction:column;gap:16px}.appr .q{font:400 28px/1.2 var(--serif)}.appr .by{display:flex;align-items:center;gap:12px;border-top:1px dashed var(--line);padding-top:14px;margin-top:auto}.appr .ok{width:30px;height:30px;border-radius:50%;background:var(--ok-bg);color:var(--ok);display:grid;place-items:center;font-weight:600}.appr .by b{display:block;font-size:15px}.appr .by span{font-size:13px;color:var(--mute)}.appr .top{display:flex;justify-content:space-between;font:500 11.5px var(--mono);color:var(--mute)}.integ{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:14px;margin-top:30px}.ig{background:var(--card);border:1px solid var(--line);border-radius:18px;padding:16px 18px}.ig h4{font:500 11px var(--mono);letter-spacing:1.5px;text-transform:uppercase;display:flex;align-items:center;gap:8px;margin-bottom:12px}.ig h4 i{width:9px;height:9px;border-radius:50%;background:var(--c)}.ig .chips{display:flex;flex-wrap:wrap;gap:6px}.ig .chips span{font-size:13px;padding:5px 10px;border-radius:8px;border:1px solid var(--line);background:var(--card2);transition:.2s;cursor:default}.ig .chips span:hover{border-color:var(--c);transform:translateY(-1px)}.edu{display:grid;grid-template-columns:repeat(4,1fr);gap:14px;margin-top:14px}.edu div{border:1px dashed var(--line);border-radius:14px;padding:14px 16px}.edu small{font:500 11px var(--mono);color:var(--mute);letter-spacing:1px;text-transform:uppercase}.edu b{display:block;font-weight:500;margin-top:6px;font-size:14.5px}.edu span{font-size:13px;color:var(--mute)}.start{display:grid;grid-template-columns:1fr 1fr;gap:18px;margin-top:30px}.panel{background:var(--card);border:1px solid var(--line);border-radius:20px;padding:22px}.panel h4{font:500 11px var(--mono);letter-spacing:1.5px;color:var(--mute);margin:4px 0 10px}.opts{display:grid;grid-template-columns:repeat(3,1fr);gap:8px;margin-bottom:18px}.opt{text-align:left;padding:12px;border-radius:12px;border:1px solid var(--line);background:var(--card2);transition:.2s}.opt b{display:block;font-weight:500}.opt span{font-size:12.5px;color:var(--mute)}.opt.on{border-color:var(--ai);background:var(--ai-bg)}.runbtn{width:100%;padding:15px;border-radius:12px;background:var(--ink);color:var(--paper);font:500 16px var(--sans);display:flex;justify-content:center;gap:10px;align-items:center}.out{background:var(--term);color:var(--term-ink);border-radius:20px;padding:22px;font:400 13.5px/1.8 var(--mono);display:flex;flex-direction:column}.out .ok{color:#6fd39c}.out .p{color:#7d7a72}.out a{color:#a99fff}.out .links{margin-top:auto;display:flex;gap:8px;flex-wrap:wrap;padding-top:16px}.out .links a,.out .links button{font:500 13px var(--sans);color:var(--term-ink);border:1px solid #3A3A40;border-radius:10px;padding:8px 12px;text-decoration:none}footer{display:flex;justify-content:space-between;align-items:center;padding:40px 0 60px;margin-top:70px;border-top:1px solid var(--line);font-size:14px;color:var(--mute)}footer .clk{font-family:var(--mono)}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}.runs>div{min-width:0}h1{font-size:66px;line-height:1.02;letter-spacing:-1px}h2{font-size:48px;line-height:1.05;letter-spacing:-.5px}.detail h3{font-size:42px}.commit h3,.run h3{letter-spacing:-.2px}.run h3{font-size:23px}.law-card h3{font-size:40px}.appr .q{font-size:24px}.mono,.tag,.crumb,.live,.node small,.packet,.log,.st,.mini span,.d-top,.d-tag,.fromto small,.flow .n small,.methods span,.steps button,.commit .v,.commit .msg,.counters .c em,.proof-head small,.badge,.law-list button span,.dm-out,.who small,.ex b,.problem b,.ig h4,.edu small,.panel h4,.out,.rail a:after,.theme,.canvas .hd,.canvas .legend,.vt,.followup b,.top{letter-spacing:-.3px}.log,.out{font-size:12.5px}.packet{font-size:10.5px}.node b,.hstats b{font-weight:500}.node.out{width:192px}.node.out .l{font-family:var(--sans)}body{font-synthesis:none}h1{font-size:64px;line-height:1.02;letter-spacing:-2.4px;font-weight:800}h2{font-size:46px;line-height:1.05;letter-spacing:-1.6px;font-weight:800}h1 em,h2 em,.t-ai,.t-hum{font-style:normal}.detail h3,.commit h3,.run h3,.law-card h3,.proof-head b{font-weight:700;letter-spacing:-.8px}.detail h3{font-size:38px}.law-card h3{font-size:36px}.run h3{font-size:21px;letter-spacing:-.4px}.commit h3{font-size:26px}.appr .q{font-size:21px;font-weight:600;letter-spacing:-.4px;line-height:1.35}.node b,.hstats b,.counters .c b,.stat b,.dstat b,.commit .st b,.run .metric b,.proof-stat b,.leg-stat b{font-weight:700;letter-spacing:-1px}h1{font-weight:600;letter-spacing:-2px}h2{font-weight:600;letter-spacing:-1.3px}.detail h3,.commit h3,.run h3,.law-card h3,.proof-head b{font-weight:600}.appr .q{font-weight:500}.node b,.hstats b,.counters .c b,.stat b,.dstat b,.commit .st b,.run .metric b,.proof-stat b,.leg-stat b{font-weight:600}h1,h2{letter-spacing:-1.4px}h1 em,h2 em{font-style:italic;font-weight:500;letter-spacing:-1.6px}.t-ai,.t-hum{font-style:italic}.appr .q{font-style:italic;font-weight:400}.packet.quote{font-family:var(--sans);font-style:italic;font-size:12px}.sub em,p em{font-style:italic}