:root{--bg: #0f1117;--panel: #161a23;--border: #262b38;--text: #e2e8f0;--muted: #8b93a7;--done: #22c55e;--running: #3b82f6;--open: #6b7280;--blocked: #f97316}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font-family:-apple-system,Segoe UI,Helvetica,sans-serif}a{color:#60a5fa;text-decoration:none}a:hover{text-decoration:underline}.layout{display:flex;flex-direction:column;height:100vh}.header{display:flex;align-items:center;gap:16px;padding:10px 18px;background:var(--panel);border-bottom:1px solid var(--border);flex-wrap:wrap}.header h1{font-size:15px;margin:0;font-weight:600}.header .sub{color:var(--muted);font-size:12px}.progress{flex:1;min-width:160px;max-width:340px;height:14px;background:#262b38;border-radius:7px;overflow:hidden}.progress>div{height:100%;background:var(--done);transition:width .6s}.badge{display:inline-flex;align-items:center;border-radius:4px;padding:1px 8px;font-size:11px;font-weight:600}.badge.done{background:#14532d;color:#86efac}.badge.running{background:#1e3a8a;color:#93c5fd}.badge.open{background:#374151;color:#d1d5db}.badge.blocked{background:#7c2d12;color:#fdba74}.badge.ok{background:#14532d;color:#86efac}.badge.bad{background:#7f1d1d;color:#fca5a5}.main{display:flex;flex:1;min-height:0}.graph-wrap{flex:1;min-width:0}.drawer{width:480px;overflow-y:auto;background:var(--panel);border-left:1px solid var(--border);padding:14px 16px}.drawer h2{font-size:14px;margin:4px 0 10px}.drawer h3{font-size:12px;margin:14px 0 6px;color:var(--muted);text-transform:uppercase;letter-spacing:.05em}.drawer pre{background:#0b0d12;border:1px solid var(--border);border-radius:6px;padding:10px;font-size:11px;line-height:1.45;overflow-x:auto;white-space:pre-wrap;max-height:260px;overflow-y:auto}.kv{font-size:12px;color:var(--muted);margin:2px 0}.kv b{color:var(--text)}.case-node{border-radius:8px;border:2px solid var(--open);background:var(--panel);padding:6px 10px;font-size:11px;min-width:118px;color:var(--text);cursor:default}.case-node.done{border-color:var(--done)}.case-node.running{border-color:var(--running);box-shadow:0 0 10px #3b82f680;cursor:pointer}.case-node.blocked{border-color:var(--blocked)}.case-node .nm{font-weight:600;font-size:11px}.case-node .own{color:var(--muted);font-size:10px;margin-top:2px;display:flex;justify-content:space-between;gap:6px}.footer{padding:6px 18px;background:var(--panel);font-size:11px;color:var(--muted);border-top:1px solid var(--border);display:flex;gap:18px;flex-wrap:wrap}.prove-page{display:flex;flex-direction:column;height:100vh}.prove-head{display:flex;align-items:center;gap:12px;padding:8px 16px;background:var(--panel);border-bottom:1px solid var(--border);font-size:13px;flex-wrap:wrap}.prove-cols{display:grid;flex:1;min-height:0;gap:0}.prove-foot{border-top:1px solid var(--border);background:var(--panel);padding:6px 14px;max-height:110px;overflow-y:auto}.splitter{cursor:col-resize;display:flex;align-items:center;justify-content:center;background:var(--bg)}.splitter .grip{width:2px;height:40px;background:var(--border);border-radius:1px}.col{display:flex;flex-direction:column;min-width:0;min-height:0;background:#0d1117;border-left:1px solid var(--border)}.col-h{padding:7px 12px;font-size:12px;font-weight:600;background:var(--panel);border-bottom:1px solid var(--border)}.col-b{flex:1;overflow:auto;font-size:11.5px;line-height:1.5}.col-b.pad{padding:10px 12px}.mono{font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.mut{color:var(--muted);font-weight:400}.code-line{display:flex;white-space:pre}.code-line .ln{width:58px;text-align:right;padding-right:10px;color:#4b5563;-webkit-user-select:none;user-select:none;flex-shrink:0}.code-line .lc{color:#c9d1d9}.frontier-line{background:#7c2d1266}.frontier-line .lc{color:#fdba74;font-weight:700}.hyp{color:#9cdcfe;margin:1px 0}.hyp-n{color:#4ec9b0;font-weight:600}.concl-sep{color:#4b5563;margin:6px 0}.concl{color:#dcdcaa;white-space:pre-wrap}.inline-pre{background:#0b0d12;border:1px solid var(--border);border-radius:5px;padding:8px;font-size:10.5px;white-space:pre-wrap;overflow-x:auto;max-height:300px;overflow-y:auto;color:#a8b3c5}.act{padding:4px 12px;border-bottom:1px solid #1a1f2b;cursor:pointer}.act:hover{background:#ffffff08}.act-tag{font-size:10.5px;font-weight:700;border-radius:3px;padding:0 6px}.tool-tag{background:#1e3a8a;color:#93c5fd}.res-tag{background:#374151;color:#d1d5db}.done-tag{background:#14532d;color:#86efac}.text-ev{font-size:11px}