:root{color-scheme:dark;--bg:#071015;--panel:#0d1b22;--line:#25414d;--ink:#f4fbfc;--muted:#a8bdc5;--mint:#65e2c2;--blue:#73a9ff;--amber:#ffc76b;--red:#ff8181;font:16px/1.55 Inter,ui-sans-serif,system-ui,sans-serif}*{box-sizing:border-box}body{margin:0;background:radial-gradient(circle at 12% 0,#123543 0,transparent 38%),var(--bg);color:var(--ink)}header,main,footer{width:min(1160px,calc(100% - 32px));margin:auto}header{display:flex;align-items:center;justify-content:space-between;gap:24px;padding:24px 0}nav{display:flex;gap:18px;flex-wrap:wrap}a{color:var(--mint)}.brand{color:var(--ink);font-weight:900;letter-spacing:.12em;text-decoration:none}.hero{padding:60px 0 30px;max-width:900px}.eyebrow{color:var(--mint);font-size:.78rem;font-weight:800;letter-spacing:.14em;text-transform:uppercase}h1{font-size:clamp(2.4rem,6vw,5rem);line-height:1.02;margin:.12em 0 .28em}h2{font-size:clamp(1.5rem,3vw,2.3rem);margin:.2em 0}.lede,p{color:var(--muted)}.lede{font-size:1.25rem}.boundary{display:inline-flex;border:1px solid var(--line);border-radius:999px;padding:7px 12px;color:var(--amber);background:#172119}.taskbox,.workflow,.result,.next,.proofcard{background:linear-gradient(145deg,#10242c,#0b171d);border:1px solid var(--line);border-radius:20px;padding:26px;margin:18px 0;box-shadow:0 18px 45px #0005}.taskbox label{display:block;font-size:1.05rem;font-weight:800;margin-bottom:10px}.taskrow{display:grid;grid-template-columns:1fr auto;gap:10px}.taskrow input{width:100%;background:#061015;color:var(--ink);border:1px solid #41616d;border-radius:12px;padding:14px;font:inherit}button,.button{border:0;border-radius:12px;padding:12px 18px;background:var(--mint);color:#041310;font-weight:850;cursor:pointer;text-decoration:none;display:inline-flex;align-items:center;justify-content:center}button:disabled{opacity:.55;cursor:wait}.examples{display:flex;gap:8px;flex-wrap:wrap;margin-top:12px}.examples button{background:transparent;border:1px solid var(--line);color:var(--muted);font-weight:650;padding:7px 10px}.workflow{display:flex;align-items:center;justify-content:space-between;gap:24px}.contract{margin-top:18px;padding:16px;border-left:4px solid var(--blue);background:#07131a}.hidden{display:none}.status{font-weight:900;color:var(--mint);letter-spacing:.08em}.status.approval{color:var(--amber)}.resultgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:14px}.metric,.receipt,.limits{padding:16px;border:1px solid var(--line);border-radius:14px;background:#08141a}.metric strong{display:block;font-size:1.45rem;color:var(--mint)}.result pre{white-space:pre-wrap;overflow:auto;font-size:.82rem;max-height:350px}.proofgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(290px,1fr));gap:18px}.proofcard{margin:0}.proofcard .claim{font-size:1.15rem;color:var(--ink)}.proofcard dl{display:grid;grid-template-columns:110px 1fr;gap:7px 10px}.proofcard dt{color:var(--muted)}.proofcard dd{margin:0}.proofcard .limitation{color:var(--amber)}footer{border-top:1px solid var(--line);padding:28px 0 55px;margin-top:50px;color:var(--muted)}@media(max-width:760px){header{align-items:flex-start;flex-direction:column}.taskrow{grid-template-columns:1fr}.workflow{align-items:flex-start;flex-direction:column}.workflow button{width:100%}}