:root{color:#17202a;background:#f5f7fb;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}body{margin:0}button,a.ghost{border:1px solid #1f6feb;border-radius:8px;background:#1f6feb;color:#fff;cursor:pointer;display:inline-flex;font-size:14px;font-weight:650;justify-content:center;line-height:1.2;padding:11px 14px;text-decoration:none}button:hover,a.ghost:hover{filter:brightness(.96)}button.ghost,a.ghost{background:#fff;color:#1f6feb}.shell{margin:0 auto;max-width:1080px;padding:32px 20px 56px}.hero{align-items:flex-start;display:flex;gap:20px;justify-content:space-between;margin-bottom:18px}.eyebrow{color:#59667a;font-size:13px;font-weight:750;letter-spacing:0;margin:0 0 8px;text-transform:uppercase}.intro{color:#59667a;margin:10px 0 0}h1,h2{letter-spacing:0;margin:0}h1{font-size:32px;line-height:1.1}h2{font-size:16px;margin-bottom:16px}.panel-heading{align-items:center;display:flex;gap:12px;justify-content:space-between;margin-bottom:16px}.panel-heading h2{margin:0}.help-toggle{flex:0 0 auto;padding:8px 11px}.help-content{background:#f8fbff;border:1px solid #d7e7ff;border-radius:8px;color:#334155;font-size:13px;line-height:1.62;margin:-4px 0 18px;padding:14px 16px}.help-content h3{color:#17202a;font-size:14px;margin:14px 0 6px}.help-content h3:first-child{margin-top:0}.help-content p{margin:0 0 10px}.help-content ol{margin:0 0 10px;padding-left:20px}.help-content li{margin:0 0 8px}.help-content code{background:#edf4ff;border:1px solid #d7e7ff;border-radius:5px;color:#164f96;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:12px;padding:1px 4px}.section-note{color:#59667a;font-size:14px;line-height:1.5;margin:-6px 0 18px}.warning{background:#fff7ed;border:1px solid #fed7aa;border-radius:8px;color:#8a4b12;font-size:14px;line-height:1.55;margin:16px 0;padding:14px 16px}.panel{background:#fff;border:1px solid #d9e1ec;border-radius:8px;margin-top:16px;padding:18px}.controls,.buttons{display:flex;flex-wrap:wrap;gap:12px}.controls{margin-bottom:16px}.toggle{align-items:center;color:#39465a;display:flex;font-size:14px;gap:8px}.grid{display:grid;gap:16px;grid-template-columns:repeat(2,minmax(0,1fr))}.claim-grid{display:grid;gap:18px;grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr)}.steps{display:grid;gap:0}.step{align-items:start;border-top:1px solid #e4ebf4;display:grid;gap:16px;grid-template-columns:38px minmax(0,1fr);padding:18px 0}.step:first-child{border-top:0;padding-top:0}.step-number{align-items:center;background:#eef5ff;border:1px solid #cfe0ff;border-radius:999px;color:#1f5fb9;display:inline-flex;font-size:14px;font-weight:750;height:30px;justify-content:center;width:30px}.step-body{min-width:0}.step-body h3{align-items:center;display:flex;flex-wrap:wrap;font-size:15px;gap:8px;line-height:1.25;margin:3px 0 8px}.step-body p{color:#59667a;font-size:14px;line-height:1.5;margin:0 0 12px}.compact-field{max-width:280px}.step-dl{margin:0 0 12px}.status-pill{align-items:center;border-radius:999px;display:inline-flex;font-size:11px;font-weight:800;letter-spacing:0;line-height:1;min-height:22px;padding:5px 8px}.status-pill.idle{background:#f1f5f9;color:#64748b}.status-pill.ready{background:#eef5ff;color:#1f5fb9}.status-pill.pass{background:#dcfce7;color:#166534}.status-pill.fail{background:#fee2e2;color:#991b1b}.mini-log{margin-bottom:12px;max-height:220px}.proof-editors{display:grid;gap:16px;grid-template-columns:repeat(2,minmax(0,1fr))}.proof-editors textarea{min-height:260px}.verify-grid{align-items:start;display:grid;gap:16px;grid-template-columns:minmax(0,1fr) minmax(260px,.8fr)}.claim-status-panel{align-items:start;border-top:1px solid #e4ebf4;display:grid;gap:18px;grid-template-columns:minmax(0,1fr) auto;margin-top:2px;padding-top:18px}dl{display:grid;gap:10px;grid-template-columns:180px minmax(0,1fr);margin:0}dt{color:#667085;font-size:13px}dd{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:13px;margin:0;overflow-wrap:anywhere}pre{background:#111827;border-radius:8px;color:#d1d5db;font-size:12px;line-height:1.55;margin:0;max-height:520px;overflow:auto;padding:14px;white-space:pre-wrap}.field{display:grid;gap:8px;margin-bottom:12px}.field span{color:#667085;font-size:13px}textarea,input{border:1px solid #cbd5e1;border-radius:8px;color:#17202a;font:inherit;padding:10px 12px;width:100%}textarea{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;resize:vertical}.compact{margin-top:14px}@media(max-width:760px){.hero,.panel-heading,.grid,.claim-grid,.claim-status-panel,.proof-editors,.verify-grid{display:block}.help-toggle{margin-top:12px}.hero button{margin-top:16px}.step{grid-template-columns:32px minmax(0,1fr)}.claim-status-panel button{margin-top:14px}.proof-editors textarea{min-height:220px}dl{grid-template-columns:1fr}}