*{box-sizing:border-box;margin:0;padding:0}
:root{
  --bg:#070b12;--surf:#0d1422;--elev:#131c2e;--bord:#1c2540;
  --acc:#4f7bff;--acc2:#7fa3ff;--ok:#34d399;--err:#f87171;--warn:#fbbf24;
  --tx:#f4f8ff;--tx2:#cad8f0;--tx3:#93a8ca;
  --mono:'Consolas','Fira Code','Courier New',monospace;
  --sans:-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;
}
html{color-scheme:dark;-webkit-text-size-adjust:100%;text-size-adjust:100%}
body{background:radial-gradient(1200px 700px at 5% -10%,#17233d 0%,rgba(23,35,61,0) 60%),radial-gradient(1000px 500px at 95% -5%,#102847 0%,rgba(16,40,71,0) 55%),var(--bg);color:var(--tx);font-family:var(--mono);font-size:14px;line-height:1.72;min-height:100vh}
a{color:var(--tx);text-decoration:underline;text-decoration-color:rgba(127,163,255,.65);text-underline-offset:.18em}
a:hover{color:var(--acc2);text-decoration-color:var(--acc2)}
a:focus-visible,button:focus-visible,input:focus-visible,.card:focus-visible,.nav-link:focus-visible,.back-link:focus-visible{outline:3px solid rgba(127,163,255,.9);outline-offset:3px}
.site-shell{max-width:1180px;margin:0 auto;padding:0 20px 32px}
.site-header{padding:20px 0 14px;border-bottom:1px solid var(--bord);margin-bottom:20px;display:flex;align-items:flex-end;justify-content:space-between;gap:16px;flex-wrap:wrap}
.brand-kicker{font-size:11px;color:var(--tx3);letter-spacing:.11em;text-transform:uppercase}
.brand-title{font-size:31px;font-family:var(--sans);letter-spacing:-.02em;font-weight:650;color:var(--tx)}
.brand-sub{font-size:13px;color:var(--tx2)}
.top-nav{display:flex;gap:10px;flex-wrap:wrap}
.nav-link{font-size:11px;letter-spacing:.09em;text-transform:uppercase;border:1px solid var(--bord);padding:11px 14px;border-radius:999px;color:var(--tx);background:rgba(13,20,34,.8);min-height:44px;display:inline-flex;align-items:center;justify-content:center;text-decoration:none}
.nav-link:hover,.nav-link.active{border-color:var(--acc);color:var(--acc2)}
.hero-panel{background:linear-gradient(180deg,rgba(19,28,46,.94),rgba(13,20,34,.82));border:1px solid rgba(127,163,255,.22);border-radius:10px;padding:20px 22px;margin:10px 0 24px;box-shadow:0 16px 32px rgba(6,11,20,.24)}
.hero-lead{font-family:var(--sans);font-size:24px;line-height:1.35;letter-spacing:-.02em;color:var(--tx);max-width:880px}
.hero-note{margin-top:10px;font-size:14px;color:var(--tx2);max-width:840px}
.hero-actions{display:flex;gap:8px;flex-wrap:wrap;margin-top:14px}
.resource-links{display:flex;gap:8px;flex-wrap:wrap;margin:8px 0 12px}
.resource-link{display:inline-flex;align-items:center;justify-content:center;min-height:40px;padding:9px 12px;border:1px solid var(--bord);border-radius:999px;background:rgba(13,20,34,.78);font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--tx);text-decoration:none}
.resource-link:hover{border-color:var(--acc);color:var(--acc2)}
.lobby-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;margin:24px 0}
@media(max-width:860px){.lobby-grid{grid-template-columns:1fr}}
.card{background:linear-gradient(165deg,rgba(19,28,46,.92),rgba(13,20,34,.82));border:1px solid var(--bord);border-radius:8px;padding:18px;display:flex;flex-direction:column;gap:10px;transition:transform .2s,border-color .2s,box-shadow .2s;box-shadow:0 12px 26px rgba(5,8,14,.24)}
.card:hover{transform:translateY(-3px);border-color:var(--acc);box-shadow:0 16px 30px rgba(8,16,30,.34)}
.card-title{font-size:20px;font-family:var(--sans);letter-spacing:-.01em;color:var(--tx)}
.card-desc{font-size:13px;color:var(--tx2)}
.wrap{max-width:980px;margin:0 auto}
.exhibit{display:block;padding:4px 0 18px}
.ex-header{margin-bottom:18px}
.ex-row{display:flex;align-items:center;gap:10px;margin-bottom:6px;flex-wrap:wrap}
.ex-num{font-size:11px;color:var(--tx2);letter-spacing:.1em;padding:4px 9px;border:1px solid var(--tx3)}
.badge{display:inline-flex;align-items:center;gap:5px;font-size:11px;letter-spacing:.07em;padding:4px 10px;border-radius:3px}
.badge-real{background:rgba(52,211,153,.1);color:var(--ok);border:1px solid rgba(52,211,153,.3)}
.badge-sim{background:rgba(251,191,36,.1);color:var(--warn);border:1px solid rgba(251,191,36,.3)}
.ex-title{font-size:28px;font-family:var(--sans);font-weight:600;color:var(--tx);letter-spacing:-.02em}
.ex-sub{font-size:13.5px;color:var(--tx2);margin-top:3px;max-width:920px}
.props{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:18px}
.prop{font-size:11px;padding:5px 12px;border-radius:20px;letter-spacing:.05em}
.prop-c{background:rgba(79,123,255,.1);color:var(--acc2);border:1px solid rgba(79,123,255,.25)}
.prop-s{background:rgba(52,211,153,.1);color:var(--ok);border:1px solid rgba(52,211,153,.25)}
.prop-z{background:rgba(248,113,113,.1);color:var(--err);border:1px solid rgba(248,113,113,.25)}
.prose{background:rgba(13,20,34,.78);border:1px solid var(--bord);border-radius:6px;padding:17px 18px;margin:14px 0 16px;color:var(--tx);font-size:14px}
.prose p+p{margin-top:10px}
.demo-grid{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-bottom:14px}
@media(max-width:740px){.demo-grid{grid-template-columns:1fr}}
.panel{background:var(--surf);border:1px solid var(--bord);border-radius:6px;overflow:hidden}
.ph{padding:10px 14px;background:var(--elev);border-bottom:1px solid var(--bord);font-size:11px;letter-spacing:.09em;color:var(--tx);text-transform:uppercase;display:flex;align-items:center;justify-content:space-between;gap:8px;flex-wrap:wrap}
.pb{padding:14px}
.hash-label{font-size:11px;color:var(--tx2);margin-bottom:2px;letter-spacing:.05em}
.hash-box{background:var(--bg);border:1px solid var(--bord);border-radius:4px;padding:9px 11px;font-size:12px;color:var(--tx);word-break:break-all;margin:4px 0}
.conf-wrap{margin:10px 0}
.conf-label{display:flex;justify-content:space-between;font-size:11px;color:var(--tx);margin-bottom:5px;gap:12px}
.conf-track{height:8px;background:var(--elev);border-radius:999px;overflow:hidden}
.conf-fill{height:100%;background:linear-gradient(90deg,var(--acc),var(--ok));border-radius:3px;transition:width .5s ease;width:0%}
.log{background:var(--bg);border:1px solid var(--bord);border-radius:4px;padding:10px 11px;max-height:180px;overflow-y:auto;font-size:12px;line-height:1.9;color:var(--tx)}
.le{color:var(--tx2)}.lok{color:var(--ok)}.lerr{color:var(--err)}.lacc{color:var(--acc)}
.controls{display:flex;gap:8px;flex-wrap:wrap;margin:12px 0}
button{font-family:var(--mono);font-size:12px;padding:10px 15px;border-radius:6px;cursor:pointer;transition:all .15s;letter-spacing:.05em;min-height:44px}
.bp{background:var(--acc);color:#fff;border:1px solid var(--acc)}.bp:hover{opacity:.85}.bp:disabled{opacity:.4;cursor:not-allowed}
.bs{background:none;color:var(--tx);border:1px solid var(--bord)}.bs:hover{border-color:var(--tx2);color:var(--tx)}
.bd{background:none;color:var(--err);border:1px solid rgba(248,113,113,.4)}.bd:hover{background:rgba(248,113,113,.1)}
.vl{background:rgba(79,123,255,.06);border:1px solid rgba(79,123,255,.28);border-left:3px solid var(--acc);border-radius:4px;padding:14px 15px;font-size:13px;color:var(--tx);margin-top:14px}
.vl strong{color:var(--acc2);font-weight:500}
.trust-banner{border-radius:8px;padding:13px 15px;margin:12px 0 16px;font-size:13px;line-height:1.7}
.trust-banner strong{font-weight:600}
.global-honesty{box-shadow:inset 0 0 0 1px rgba(255,255,255,.04)}
.trust-real{background:rgba(52,211,153,.08);border:1px solid rgba(52,211,153,.28);color:var(--tx)}
.trust-real strong{color:var(--ok)}
.trust-conceptual{background:rgba(251,191,36,.09);border:1px solid rgba(251,191,36,.28);color:var(--tx)}
.trust-conceptual strong{color:var(--warn)}
.step-card{background:var(--surf);border:1px solid var(--bord);border-radius:4px;padding:10px 13px;margin:8px 0;transition:opacity .3s}
.step-label{font-size:11px;color:var(--tx2);letter-spacing:.09em;margin-bottom:5px}
.step-eq{font-size:14px;color:var(--tx)}.sv{color:var(--acc2)}
.hint{font-size:11px;color:var(--tx2);margin-top:3px}
.tog-wrap{display:flex;align-items:center;gap:8px;font-size:12px;color:var(--tx)}
.tog{position:relative;width:34px;height:18px;display:inline-block}
.tog input{opacity:0;width:0;height:0}
.tog-sl{position:absolute;inset:0;background:var(--bord);border-radius:20px;cursor:pointer;transition:background .2s}
.tog-sl::after{content:'';position:absolute;left:3px;top:3px;width:12px;height:12px;border-radius:50%;background:var(--tx2);transition:transform .2s}
.tog input:checked+.tog-sl{background:var(--err)}
.tog input:checked+.tog-sl::after{transform:translateX(16px);background:#fff}
.params-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(110px,1fr));gap:10px;margin-bottom:16px}
.param-box{background:var(--surf);border:1px solid var(--bord);border-radius:4px;padding:10px 12px}
.commit-table{width:100%;border-collapse:collapse;font-size:12px;margin-top:10px}
.commit-table th,.commit-table td{padding:6px 8px;border-bottom:1px solid var(--bord);text-align:left}
.commit-table th{font-size:11px;letter-spacing:.08em;color:var(--tx2);text-transform:uppercase}
.txa{width:100%;min-height:130px;resize:vertical;background:var(--bg);border:1px solid var(--bord);border-radius:6px;padding:10px;color:var(--tx);font-family:var(--mono);font-size:12px;line-height:1.5}
.replay-card{white-space:pre-line;background:var(--bg);border:1px solid var(--bord);border-radius:6px;padding:10px;margin-top:10px;color:var(--tx2);font-size:12px}
.footer{margin-top:24px;color:var(--tx2);font-size:12px;border-top:1px solid var(--bord);padding-top:12px}
.big-svg{width:100%;height:auto;max-height:360px}
.back-link{display:inline-flex;align-items:center;gap:7px;font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--tx);border:1px solid var(--bord);padding:11px 12px;border-radius:999px;min-height:44px;text-decoration:none}
.back-link:hover{color:var(--acc2);border-color:var(--acc)}
@media(max-width:640px){.site-shell{padding:0 14px 28px}.site-header{padding:16px 0 12px;gap:12px}.brand-title{font-size:26px}.brand-sub{font-size:14px}.hero-panel{padding:16px}.hero-lead{font-size:20px}.hero-note{font-size:13px}.top-nav{width:100%}.nav-link{flex:1 1 calc(50% - 10px)}.resource-link{flex:1 1 calc(50% - 8px)}.ex-title{font-size:24px}.panel .pb{padding:12px}.controls{flex-direction:column}.controls button{width:100%}.conf-label{flex-wrap:wrap}.footer{line-height:1.8}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto}.card,.conf-fill,.step-card,.tog-sl,.tog-sl::after,button{transition:none!important}}