:root{color-scheme:dark;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;background:#081016;color:#edf7ff;--bg: #081016;--panel: rgba(10, 20, 28, .76);--panel-strong: rgba(12, 28, 38, .92);--line: rgba(143, 220, 255, .18);--line-strong: rgba(140, 255, 194, .46);--cyan: #58dfff;--green: #8cffc2;--amber: #ffd166;--red: #ff677d;--text: #edf7ff;--muted: #9db7c7;--dark: #061018}*{box-sizing:border-box}html,body{width:100%;min-height:100%;margin:0;background:var(--bg);color:var(--text)}body{overflow-x:hidden}button,select,textarea{font:inherit}button{min-height:38px;border:1px solid rgba(88,223,255,.28);border-radius:8px;background:#58dfff14;color:#eaffff;font-size:.78rem;font-weight:800;cursor:pointer}button:hover,button:focus-visible,select:focus-visible,a:focus-visible{outline:2px solid rgba(140,255,194,.72);outline-offset:2px}button:disabled{cursor:not-allowed;opacity:.48}select{min-height:34px;border:1px solid rgba(88,223,255,.24);border-radius:8px;background:#061018e6;color:var(--text);font-size:.78rem;font-weight:800}textarea{width:100%;min-height:82px;resize:vertical;border:1px solid rgba(88,223,255,.18);border-radius:8px;background:#061018b8;color:#dffbff;padding:.72rem;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.78rem;line-height:1.45}textarea::placeholder{color:#9db7c7b8}a{color:inherit;text-decoration:none}code,pre{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}.frontier-bg{position:fixed;inset:0;z-index:0;background:linear-gradient(rgba(88,223,255,.05) 1px,transparent 1px),linear-gradient(90deg,rgba(88,223,255,.05) 1px,transparent 1px),linear-gradient(135deg,#061018f0,#071c20e6 52%,#12131ff5);background-size:34px 34px,34px 34px,auto;pointer-events:none}.frontier-bg:after{content:"";position:absolute;inset:0;background:linear-gradient(180deg,#08101647,#081016e0),repeating-linear-gradient(0deg,transparent 0 9px,rgba(255,255,255,.018) 10px)}.site-header,.proof-shell{position:relative;z-index:1}.site-header{display:flex;align-items:center;justify-content:space-between;gap:1.5rem;min-height:76px;padding:1rem clamp(1rem,4vw,3.5rem);border-bottom:1px solid rgba(88,223,255,.12);background:#061018d1;backdrop-filter:blur(16px)}.brand-mark{display:inline-flex;align-items:center;gap:.8rem;min-width:0;color:var(--cyan);font-size:.76rem;font-weight:900;letter-spacing:.24em}.brand-mark img{width:2.4rem;height:2.4rem;filter:drop-shadow(0 0 16px rgba(88,223,255,.42))}.site-nav{display:flex;align-items:center;justify-content:flex-end;gap:clamp(.75rem,2vw,1.8rem);min-width:0}.nav-links,.nav-actions{display:flex;align-items:center;gap:clamp(.65rem,1.5vw,1.45rem);min-width:0}.nav-links{overflow-x:auto;scrollbar-width:none}.nav-links::-webkit-scrollbar{display:none}.nav-actions{flex:0 0 auto;gap:.75rem}.site-nav a{color:#edf7ffc2;font-size:.68rem;font-weight:900;letter-spacing:.14em;text-transform:uppercase}.site-nav a:hover,.site-nav a.active{color:var(--green)}.header-action{padding:.68rem .92rem;border:1px solid rgba(140,255,194,.32);border-radius:8px;background:#8cffc217;color:var(--green)!important}.language-control{min-width:210px}.language-picker{position:relative}.language-trigger{display:flex;align-items:center;justify-content:space-between;width:100%;min-height:38px;padding:0 .8rem;border:1px solid rgba(88,223,255,.24);border-radius:8px;background:#061018e6;color:var(--text);font-size:.76rem;font-weight:800}.language-caret{width:8px;height:8px;border-right:2px solid currentColor;border-bottom:2px solid currentColor;transform:rotate(45deg) translateY(-2px)}.language-menu{position:absolute;top:calc(100% + 8px);right:0;z-index:20;display:none;width:100%;max-height:280px;overflow:auto;padding:6px;border:1px solid rgba(88,223,255,.22);border-radius:8px;background:#061018fa;box-shadow:0 18px 40px #00000052}.language-picker.open .language-menu{display:grid;gap:4px}.language-option{display:grid;min-height:34px;padding:6px 8px;border:0;background:transparent;text-align:left}.language-option.active{background:#8cffc21f;color:var(--green)}.language-option:disabled{color:#bec7d46b;cursor:not-allowed}.language-option-native{color:var(--muted);font-size:.7rem}.language-option-status{color:#8cffc27a;font-size:.58rem;font-weight:900;text-transform:uppercase}.proof-shell{width:min(100%,1440px);margin:0 auto;padding:clamp(1rem,3vw,2.5rem)}.hero-section{display:grid;align-content:end;min-height:min(64vh,640px);padding:clamp(2rem,8vw,6rem) 0 clamp(2rem,5vw,4rem)}.eyebrow{margin:0 0 .75rem;color:var(--green);font-size:.72rem;font-weight:900;letter-spacing:.18em;text-transform:uppercase}h1,h2,p,dl{margin-top:0}h1{max-width:980px;margin-bottom:1rem;font-size:clamp(3.2rem,9vw,8.4rem);line-height:.92}h2{margin-bottom:.65rem;font-size:clamp(1.1rem,2vw,1.45rem);line-height:1.1}.hero-subtitle{max-width:760px;margin-bottom:.8rem;color:#baf6ff;font-size:clamp(1.15rem,2.2vw,1.7rem);font-weight:800}.hero-body{max-width:780px;color:var(--muted);font-size:1rem;line-height:1.7}.hero-actions,.button-row,.button-grid{display:flex;flex-wrap:wrap;gap:.75rem}.primary-action{border-color:#8cffc280;background:var(--green);color:#04140d}.secondary-action{border-color:#58dfff4d;background:#58dfff14}.concept-strip{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem;margin-bottom:1rem}.concept-card,.world-panel,.algorithm-panel,.state-card,.formula-section,.transaction-section{border:1px solid var(--line);border-radius:8px;background:var(--panel);box-shadow:inset 0 1px #ffffff0a,0 20px 70px #00000038;backdrop-filter:blur(16px)}.concept-card{min-height:168px;padding:1rem}.concept-card span{display:block;margin-bottom:1.5rem;color:var(--amber);font-family:SFMono-Regular,Consolas,monospace;font-size:.78rem;font-weight:900}.concept-card p,.formula-section p,.contour-card p,.small-note{color:var(--muted);line-height:1.6}.demo-layout{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(360px,.7fr);gap:1rem;align-items:start;margin-top:1rem}.world-panel,.algorithm-panel,.state-card,.formula-section,.transaction-section{padding:1rem}.panel-head,.card-title-row{display:flex;align-items:center;justify-content:space-between;gap:1rem}.legend{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.8rem;color:var(--muted);font-size:.78rem;font-weight:800}.legend span{display:inline-flex;align-items:center;gap:.38rem}.legend i{width:.8rem;height:.8rem;border-radius:3px}.legend-unlocked{background:var(--green);box-shadow:0 0 14px #8cffc299}.legend-candidate{border:1px dashed var(--amber);background:#ffd1662e}.legend-selected{border:2px solid #fff;background:#58dfff33}#worldCanvas{display:block;width:100%;aspect-ratio:1;margin-top:.5rem;border:1px solid rgba(88,223,255,.16);border-radius:8px;background:#030b10b8;cursor:crosshair}.step-row{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:.5rem;margin-top:.8rem}.step{display:flex;align-items:center;gap:.42rem;min-height:44px;padding:.5rem;border:1px solid rgba(88,223,255,.12);border-radius:8px;color:var(--muted);font-size:.7rem;font-weight:900}.step span{display:grid;place-items:center;flex:0 0 auto;width:1.35rem;height:1.35rem;border-radius:6px;background:#58dfff1f}.step.active{border-color:#8cffc285;color:var(--green)}.status-message{min-height:24px;margin:.8rem 0 0;color:#d9f7ff;font-size:.9rem}.algorithm-panel{display:grid;gap:1rem}.algorithm-panel .state-card{padding:0;border:0;background:transparent;box-shadow:none;backdrop-filter:none}.metric-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.6rem;margin-bottom:0}.metric-grid.wide{grid-template-columns:repeat(3,minmax(0,1fr))}.metric-grid div,.hash-readout,.contour-box,.tx-item{min-width:0;padding:.72rem;border:1px solid rgba(88,223,255,.12);border-radius:8px;background:#0610189e}dt,.hash-readout span,.contour-box span{margin-bottom:.32rem;color:var(--muted);font-size:.68rem;font-weight:900;letter-spacing:.08em;text-transform:uppercase}dd{margin:0;min-width:0;overflow-wrap:anywhere;color:#f5fdff;font-weight:900}code{display:block;min-width:0;overflow-wrap:anywhere;color:#bdfaff;font-size:.78rem}.key-list{display:grid;gap:.45rem}.key-row{display:grid;grid-template-columns:78px minmax(0,1fr);gap:.6rem;align-items:center;min-height:34px;padding:.46rem .6rem;border:1px solid rgba(88,223,255,.12);border-radius:8px;background:#0610188a}.key-row span{color:var(--amber);font-size:.72rem;font-weight:900}.small-note{margin:.4rem 0 0;font-size:.78rem}.hash-readout{display:grid;gap:.3rem;margin-top:.6rem}.difficulty-meter{position:relative;min-height:38px;margin-top:.75rem;overflow:hidden;border:1px solid rgba(88,223,255,.18);border-radius:8px;background:linear-gradient(90deg,#ff677d2e,#ffd16624,#8cffc224),#061018b8}.difficulty-meter-fill{position:absolute;inset:0 auto 0 0;width:0;background:linear-gradient(90deg,#58dfff57,#8cffc261);box-shadow:0 0 18px #8cffc233;transition:width .42s ease}.difficulty-meter span{position:relative;z-index:1;display:grid;min-height:38px;place-items:center;padding:0 .75rem;color:#f2fbff;font-size:.74rem;font-weight:900}.button-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin-top:.75rem}#miningStatus.valid{color:var(--green)}#miningStatus.error{color:var(--red)}#seedMiningStatus.valid,#difficultyStatus.guaranteed_solvable{color:var(--green)}#seedMiningStatus.error,#difficultyStatus.hardening{color:var(--red)}#difficultyStatus.relaxing{color:var(--amber)}#contourSeedBytes.error{color:var(--red)}.state-layout{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:1rem;margin-top:1rem}.world-state-card,.contour-card{display:grid;gap:.9rem}.contour-box{display:grid;gap:.35rem}.contour-box small{color:var(--amber);font-size:.78rem;font-weight:900}.contour-input-wrap{display:grid;gap:.45rem}.contour-input-wrap span{color:var(--muted);font-size:.68rem;font-weight:900;letter-spacing:.08em;text-transform:uppercase}.formula-section{display:grid;grid-template-columns:minmax(260px,.42fr) minmax(0,.58fr);gap:1rem;margin-top:1rem}pre{min-width:0;margin:0;overflow:auto;padding:1rem;border:1px solid rgba(88,223,255,.12);border-radius:8px;background:#061018b8;color:#d9f7ff;font-size:.78rem;line-height:1.6}.transaction-section{margin-top:1rem;margin-bottom:2rem}.transaction-log{display:none;grid-template-columns:repeat(2,minmax(0,1fr));gap:.75rem;margin-top:.9rem}.transaction-log.open{display:grid}.tx-item{display:grid;gap:.38rem}.tx-item strong{color:var(--green)}.tx-item span{color:var(--muted);font-family:SFMono-Regular,Consolas,monospace;font-size:.75rem;overflow-wrap:anywhere}@media (max-width: 1100px){.site-header,.site-nav{align-items:flex-start}.site-header{flex-direction:column}.site-nav{width:100%;flex-wrap:wrap;justify-content:flex-start}.nav-links{flex:1 1 100%;width:100%}.demo-layout,.state-layout,.formula-section{grid-template-columns:1fr}.concept-strip{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width: 720px){.proof-shell{padding:1rem}.hero-section{min-height:0;padding:2rem 0}.nav-actions{width:100%;justify-content:space-between}.language-control{flex:1 1 11rem;min-width:0}.concept-strip,.metric-grid,.metric-grid.wide,.transaction-log,.step-row{grid-template-columns:1fr}.panel-head,.card-title-row{align-items:flex-start;flex-direction:column}.legend{justify-content:flex-start}.button-grid{grid-template-columns:1fr}}