:root{--bg: #f4f3ef;--panel: #ffffff;--panel-edge: #15120d;--field: #faf9f6;--text: #15120d;--muted: #6b675f;--accent: #004bab;--link: #004bab;--prover: #1a7a44;--verifier: #004bab;--err: #bf2230;--radius: 3px;font-size:15px}*{box-sizing:border-box}[hidden]{display:none!important}body{margin:0;background:var(--bg);color:var(--text);font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,sans-serif;min-height:100vh;display:flex;flex-direction:column;align-items:center}header,main,footer{width:100%;max-width:60rem}header{padding:1.5rem 2rem .5rem;text-align:center}h1.logo{margin:0;line-height:0}h1.logo img{width:15rem;max-width:80%;height:auto}.subtitle{margin:.5rem 0 0;font-size:.95rem;color:var(--muted)}.header-links{display:flex;justify-content:center;align-items:center;gap:.9rem;margin:.6rem 0 0}.header-link{display:inline-flex;color:var(--muted);line-height:0;transition:color .15s}.header-link:hover{color:var(--text)}.header-rule{width:100%;margin:1.25rem 0 0;border:none;border-top:1px solid var(--panel-edge);opacity:.18}.tagline{max-width:46rem;margin:.6rem auto 0;color:var(--muted)}main{flex:1;display:flex;flex-direction:column;gap:1rem;padding:1rem 2rem}.pane{background:var(--panel);border:1px solid var(--panel-edge);border-radius:var(--radius);padding:1rem 1.25rem}.tab-row{display:flex;align-items:flex-end;gap:.3rem}.info-tab{display:inline-flex;align-items:center;justify-content:center;font:inherit;padding:.4rem .7rem;margin:0 0 -1px;color:var(--muted);background:var(--field);border:1px solid var(--panel-edge);border-radius:var(--radius) var(--radius) 0 0;cursor:pointer;position:relative;z-index:0;transition:color .15s}.info-tab:hover{color:var(--text)}.info-tab svg{width:14px;height:14px;display:block}.info-tab.active{color:var(--text);background:var(--panel);z-index:2}.info-tab.active:after{content:"";position:absolute;left:0;right:0;bottom:-1px;height:3px;background:var(--panel)}body.on-about #run{display:none}.guest-intro{margin:0 0 .35rem;font-size:.85rem;line-height:1.5;color:var(--muted)}.about-anim{width:100%;max-width:450px;margin:0 auto .6rem}.label{font-size:.72rem;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:.35rem}.label code{font-family:ui-monospace,monospace;color:var(--text)}.link-btn{font:inherit;font-size:.72rem;padding:0;color:var(--link);background:none;border:none;cursor:pointer;text-decoration:underline}.guest{display:flex;flex-direction:column}.tabs{display:grid;grid-auto-flow:column;grid-auto-columns:1fr;width:fit-content;gap:.3rem;margin:0 0 -1px;position:relative}.tabs button{display:inline-flex;align-items:center;justify-content:center;gap:.4rem;font:inherit;font-size:.85rem;padding:.4rem 1rem;color:var(--muted);background:var(--field);border:1px solid var(--panel-edge);border-radius:var(--radius) var(--radius) 0 0;cursor:pointer;position:relative;z-index:0}.tabs button svg{width:14px;height:14px;flex:none}.tabs button:hover{color:var(--text)}.tabs button.active{color:var(--text);font-weight:600;background:var(--panel);z-index:2}.tabs button.active:after{content:"";position:absolute;left:0;right:0;bottom:-1px;height:3px;background:var(--panel)}.guest-body{position:relative;z-index:1;border-top-left-radius:0;border-top-right-radius:0}.guest-form,.guest-custom{display:flex;flex-direction:column;gap:.6rem;align-items:flex-start}.guest-desc{width:100%;margin:.6rem 0}.guest-desc .label{margin-bottom:.35rem}.guest-desc-box p{margin:0;font-size:.85rem;line-height:1.5;color:var(--muted)}.guest-form>input[type=text],.guest-form>textarea{width:100%;padding:.45rem .6rem;font:inherit;font-family:ui-monospace,monospace;color:var(--text);background:var(--field);border:1px solid var(--panel-edge);border-radius:var(--radius)}.guest-form>textarea{resize:vertical;line-height:1.5}.sudoku-wrap{display:flex;flex-direction:column;align-items:center;gap:.55rem;width:100%;overflow-x:auto}.sudoku{display:grid;grid-template-columns:repeat(9,2rem);width:max-content;max-width:100%;background:var(--panel)}.sudoku-cell{width:2rem;height:2rem;padding:0;text-align:center;font:inherit;font-family:ui-monospace,monospace;font-size:1rem;color:var(--text);background:var(--panel);border:0 solid var(--panel-edge);border-right-width:1px;border-bottom-width:1px;border-radius:0}.sudoku-cell.last-col{border-right-width:0}.sudoku-cell.last-row{border-bottom-width:0}.sudoku-cell.box-right{border-right-width:2px}.sudoku-cell.box-bottom{border-bottom-width:2px}.sudoku-cell.given{font-weight:700;color:var(--verifier);background:color-mix(in srgb,var(--verifier) 22%,white);cursor:default;pointer-events:none;user-select:none}.sudoku-cell.entry{color:var(--prover);font-weight:600}.sudoku-cell.entry:focus{outline:2px solid var(--prover);outline-offset:-2px;background:var(--field)}.sudoku-bar{display:flex;align-items:baseline;gap:.75rem;flex-wrap:wrap}.sudoku-legend{font-size:.72rem;font-style:italic;color:var(--muted)}.presets{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem;font-size:.75rem;color:var(--muted)}.presets button{font:inherit;font-size:.75rem;padding:.2rem .55rem;color:var(--muted);background:var(--panel);border:1px solid var(--panel-edge);border-radius:var(--radius);cursor:pointer}.presets button:hover{color:var(--text);border-color:var(--muted)}.presets-hint{font-size:.7rem;font-style:italic}#upload-pane{width:100%}.dropzone{width:100%;padding:2.4rem .8rem;text-align:center;font-size:.8rem;color:var(--muted);background:var(--field);border:1px dashed var(--panel-edge);border-radius:var(--radius);cursor:pointer;word-break:break-all}.dropzone code{font-family:ui-monospace,monospace;color:var(--text)}.dropzone.drag,.dropzone:hover{border-color:var(--accent);color:var(--text)}.dropzone:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.dropzone-hint{display:block;margin-top:.3rem;font-size:.72rem}.module-info{font-family:ui-monospace,monospace;font-size:.72rem;color:var(--muted);word-break:break-all}.editor-wrap{width:100%;margin-top:1rem}.editor-wrap .label{margin-bottom:.5rem}#editor{height:24rem;border:1px solid var(--panel-edge);border-radius:var(--radius);overflow:hidden}#editor .cm-editor{height:100%}#editor .cm-editor.cm-focused{outline:none}.seg{display:inline-flex;border:1px solid var(--panel-edge);border-radius:var(--radius);overflow:hidden}.seg button{font:inherit;font-size:.8rem;padding:.3rem .85rem;color:var(--muted);background:var(--field);border:0;border-right:1px solid var(--panel-edge);cursor:pointer}.seg button:last-child{border-right:0}.seg button:hover{color:var(--text)}.seg button.active{background:var(--panel);color:var(--text);font-weight:600}#asc-pane{width:100%;display:flex;flex-direction:column;gap:.35rem}#asc-editor{height:14rem;border:1px solid var(--panel-edge);border-radius:var(--radius);overflow:hidden}#asc-editor .cm-editor{height:100%}#asc-editor .cm-editor.cm-focused{outline:none}.module-info{white-space:pre-wrap}.control{display:flex;flex-direction:column}.control-body{position:relative;z-index:1;border-top-left-radius:0;border-top-right-radius:0;display:flex;flex-direction:column;gap:.85rem}.local-explainer p{margin:0;font-size:.85rem;line-height:1.5;color:var(--muted)}.tabs button.soon{color:color-mix(in srgb,var(--muted) 55%,var(--field));cursor:help}.tabs button.soon:hover{color:color-mix(in srgb,var(--muted) 55%,var(--field))}#run{width:100%;font:inherit;font-size:1rem;font-weight:600;padding:.7rem 1.5rem;color:var(--text);background:color-mix(in srgb,var(--prover) 18%,white);border:1px solid var(--panel-edge);border-radius:var(--radius);cursor:pointer}#run:hover:not(:disabled){background:color-mix(in srgb,var(--prover) 30%,white)}#run:disabled{opacity:.5;cursor:not-allowed}#run.done{background:var(--prover);border-color:var(--prover);color:#fff}#run.error{background:var(--err);border-color:var(--err);color:#fff}.peer-controls{display:grid;grid-template-columns:1fr;gap:.85rem}.peer-desc{margin:0;font-size:.85rem;line-height:1.5;color:var(--muted)}.peer-controls .invite{justify-self:start}.invite{display:inline-flex;align-items:center;gap:.45rem;font:inherit;font-size:.85rem;padding:.5rem .9rem;color:var(--muted);background:var(--panel);border:1px dashed var(--verifier);border-radius:var(--radius);cursor:pointer}.invite svg{width:15px;height:15px;flex:none}.invite:hover{color:var(--text)}.remote-conn{display:flex;flex-direction:column;gap:.55rem;padding:.6rem .9rem;border:1px solid var(--verifier);border-radius:var(--radius);background:color-mix(in srgb,var(--verifier) 8%,white)}.remote-conn .remote-status{font-size:.85rem}.remote-conn .link-btn{align-self:flex-start}.peer-info{display:grid;grid-template-columns:auto 1fr;gap:.3rem .9rem;align-items:center;margin:0;padding-top:.55rem;border-top:1px solid color-mix(in srgb,var(--verifier) 30%,transparent);font-size:.78rem}.peer-info dt{color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-size:.68rem}.peer-info dd{margin:0;font-family:ui-monospace,monospace;color:var(--text)}.peer-ping{display:inline-flex;align-items:center;gap:.4rem}.ping-dot{width:8px;height:8px;border-radius:50%;background:var(--prover);animation:ping-pulse 1.4s ease-in-out infinite}.ping-dot.offline{background:var(--muted);animation:none}@keyframes ping-pulse{0%,to{opacity:1;box-shadow:0 0 color-mix(in srgb,var(--prover) 45%,transparent)}50%{opacity:.55;box-shadow:0 0 0 3px transparent}}@media(prefers-reduced-motion:reduce){.ping-dot{animation:none}}.invite-panel{display:flex;flex-direction:column;align-items:center;gap:.5rem;text-align:center}#invite-qr{background:#fff;border-radius:var(--radius)}.invite-link{font-family:ui-monospace,monospace;font-size:.7rem;color:var(--verifier);word-break:break-all;max-width:20rem}.remote-status{font-size:.8rem;color:var(--muted);white-space:pre-line}.verifier-waiting{display:flex;flex-direction:column;align-items:center;text-align:center;gap:.45rem;padding:1.5rem 1rem}.verifier-mark{font-size:2.5rem;line-height:1;animation:pulse 1.8s ease-in-out infinite}@keyframes pulse{0%,to{opacity:1}50%{opacity:.45}}.verifier-headline{font-size:1.05rem;font-weight:600;color:var(--text)}.verifier-sub{margin:0;font-size:.85rem;color:var(--muted)}.verifier-gate{display:flex;flex-direction:column;align-items:center;text-align:center;gap:.55rem;padding:1.5rem 1rem;max-width:26rem;margin:0 auto}.verifier-gate .verifier-sub{line-height:1.5}.verifier-note{display:inline-flex;align-items:center;gap:.45rem;margin:.2rem 0 0;padding:.5rem .75rem;font-size:.8rem;color:#7a5b00;background:#fdf3d3;border:1px solid #e6c65c;border-radius:var(--radius)}.verifier-note svg{width:1em;height:1em;flex:none}.verifier-gate .verifier-actions{margin-top:.3rem}.verifier-run{display:flex;flex-direction:column;gap:.4rem}.verifier-eyebrow{font-size:.68rem;text-transform:uppercase;letter-spacing:.08em;color:var(--verifier)}.verifier-title{display:block;font-size:1rem;color:var(--text)}.verifier-desc{margin:0;font-size:.88rem;line-height:1.5;color:var(--muted)}.verifier-meta{display:grid;grid-template-columns:auto 1fr;gap:.3rem .9rem;align-items:baseline;margin:.3rem 0 0;padding-top:.6rem;border-top:1px solid color-mix(in srgb,var(--verifier) 25%,transparent);font-size:.78rem}.verifier-meta dt{color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-size:.68rem}.verifier-meta dd{margin:0;font-family:ui-monospace,monospace;color:var(--text);word-break:break-word}.verifier-actions{display:flex;align-items:center;gap:.9rem;margin-top:.9rem}.accept-btn{font:inherit;font-size:.9rem;font-weight:600;padding:.5rem 1.1rem;color:#fff;background:var(--verifier);border:1px solid var(--verifier);border-radius:var(--radius);cursor:pointer}.accept-btn:hover{background:color-mix(in srgb,var(--verifier) 85%,black)}.link-btn{font:inherit;font-size:.8rem;color:var(--verifier);background:none;border:none;padding:0;text-decoration:underline;cursor:pointer}.spinner{display:inline-block;width:1.05em;height:1.05em;vertical-align:-.18em;border:2px solid currentColor;border-top-color:transparent;border-radius:50%;animation:spin .7s linear infinite}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.stat-grid{display:flex;flex-wrap:wrap;gap:1.25rem 2.5rem;margin-top:1.25rem}.stat{display:flex;flex-direction:column;gap:.3rem;min-width:0}.stat-label{display:flex;align-items:baseline;gap:.3rem;font-size:.72rem;text-transform:uppercase;letter-spacing:.06em;color:var(--muted)}.stat-label .party{font-weight:600}.stat-label .party.prover{color:var(--prover)}.stat-label .party.verifier{color:var(--verifier)}.stat-label .arrow{color:var(--muted)}.help{display:inline-flex;align-self:center;color:var(--muted)}.help svg{width:.95em;height:.95em;display:block}.help:hover,.help:focus-visible{color:var(--text);outline:none}.tooltip{position:fixed;top:0;left:0;z-index:20;max-width:16rem;padding:.45rem .6rem;font-size:.72rem;font-weight:400;line-height:1.35;letter-spacing:0;text-transform:none;color:var(--text);background:var(--panel);border:1px solid var(--panel-edge);border-radius:var(--radius);box-shadow:0 4px 12px #00000040;opacity:0;visibility:hidden;transition:opacity .12s ease;pointer-events:none}.tooltip.visible{opacity:1;visibility:visible;pointer-events:auto}.tooltip a{color:var(--link)}.peer-desc .help{margin-left:.2em;vertical-align:middle}.stat-val{font-family:ui-monospace,monospace;font-size:1.35rem;font-weight:600;color:var(--text)}.stat-val.result{font-size:.9rem;word-break:break-all}footer{padding:1rem 2rem 1.5rem;text-align:center;font-size:.8rem;color:var(--muted)}footer a{color:var(--link)}@media(max-width:600px){header,main,footer{padding-left:1rem;padding-right:1rem}}