@import "https://fonts.googleapis.com/css2?family=DM+Sans:ital,opsz,wght@0,9..40,300;0,9..40,400;0,9..40,500;0,9..40,600;0,9..40,700;1,9..40,400&family=JetBrains+Mono:wght@400;500;600&display=swap";:root{--bg:#08080c;--bg-raised:#0e0e14;--bg-hover:#14141c;--bg-active:#1a1a24;--bg-input:#0b0b10;--border:#ffffff0d;--border-active:#ffffff1a;--text:#ffffffe0;--text-mid:#ffffff8c;--text-dim:#ffffff4d;--text-ghost:#ffffff24;--accent:#5eb8d4;--sans:"DM Sans", -apple-system, system-ui, sans-serif;--mono:"JetBrains Mono", monospace;--r:5px}*{box-sizing:border-box;margin:0;padding:0}html,body,#root{background:var(--bg);height:100%;color:var(--text);font-family:var(--sans);-webkit-font-smoothing:antialiased;font-size:13px;line-height:1.5}::-webkit-scrollbar{width:4px;height:4px}::-webkit-scrollbar-track{background:0 0}::-webkit-scrollbar-thumb{background:#ffffff0f;border-radius:2px}.app{grid-template:"header header"40px"sidebar main"1fr/200px 1fr;height:100vh;display:grid;overflow:hidden}.hdr{background:var(--bg-raised);border-bottom:1px solid var(--border);z-index:10;grid-area:header;align-items:center;gap:10px;padding:0 14px;font-size:11px;display:flex}.hdr-logo{font-family:var(--mono);letter-spacing:.14em;color:var(--text);font-size:12px;font-weight:700}.hdr-sep{background:var(--border);width:1px;height:16px}.hdr-dim{color:var(--text-dim);font-family:var(--mono);font-size:10px}.hdr-spacer{flex:1}.side{background:var(--bg-raised);border-right:1px solid var(--border);grid-area:sidebar;padding:6px 0;overflow-y:auto}.side-label{text-transform:uppercase;letter-spacing:.12em;color:var(--text-ghost);padding:10px 12px 3px;font-size:9px;font-weight:700}.side-sep{background:var(--border);height:1px;margin:5px 0}.side-item{color:var(--text-dim);cursor:pointer;-webkit-user-select:none;user-select:none;border-left:2px solid #0000;align-items:center;gap:7px;padding:4px 12px;font-size:11px;transition:all .1s;display:flex}.side-item:hover{background:var(--bg-hover);color:var(--text-mid)}.side-item.on{background:var(--bg-active);color:var(--text);border-left-color:var(--accent)}.side-dot{border-radius:50%;flex-shrink:0;width:5px;height:5px}.side-cnt{font-family:var(--mono);color:var(--text-ghost);margin-left:auto;font-size:9px}.search{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--r);align-items:center;gap:6px;height:28px;margin:3px 8px 6px;padding:0 10px;display:flex}.search input{color:var(--text);font-family:var(--sans);background:0 0;border:none;outline:none;flex:1;font-size:11px}.search input::placeholder{color:var(--text-ghost)}.search-icon{color:var(--text-ghost);font-size:11px}.search-clear{color:var(--text-ghost);cursor:pointer;font-size:10px}.main{grid-area:main;padding:20px 24px;overflow-y:auto}.stats{grid-template-columns:repeat(auto-fill,minmax(120px,1fr));gap:6px;margin-bottom:18px;display:grid}.stat{background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--r);padding:10px 12px}.stat-v{font-family:var(--mono);font-size:20px;font-weight:700;line-height:1}.stat-l{color:var(--text-dim);margin-top:3px;font-size:10px}.sec-title{align-items:center;gap:8px;margin-bottom:10px;font-size:14px;font-weight:700;display:flex}.sec-count{font-family:var(--mono);color:var(--text-dim);font-size:11px;font-weight:600}.e-list{flex-direction:column;gap:1px;display:flex}.e-row{border-radius:var(--r);cursor:pointer;grid-template-columns:64px 1fr auto;align-items:baseline;gap:10px;padding:6px 10px;transition:background 80ms;display:grid}.e-row:hover{background:var(--bg-raised)}.e-row.sel{background:var(--bg-active);outline:1px solid var(--border-active)}.e-id{font-family:var(--mono);white-space:nowrap;font-size:11px;font-weight:600}.e-stmt{color:var(--text-mid);text-overflow:ellipsis;white-space:nowrap;font-size:12px;overflow:hidden}.e-op{font-family:var(--mono);color:var(--text-ghost);letter-spacing:.04em;font-size:9px;font-weight:600}.detail{background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--r);margin-top:12px;padding:18px}.d-head{flex-wrap:wrap;align-items:baseline;gap:10px;margin-bottom:10px;display:flex}.d-id{font-family:var(--mono);font-size:16px;font-weight:700}.d-type{text-transform:uppercase;letter-spacing:.08em;background:#ffffff08;border-radius:3px;padding:2px 7px;font-size:10px;font-weight:600}.d-stmt{color:var(--text);margin-bottom:14px;font-size:14px;line-height:1.65}.d-sec{margin-top:12px}.d-sec-label{text-transform:uppercase;letter-spacing:.1em;color:var(--text-ghost);margin-bottom:5px;font-size:9px;font-weight:700}.d-proof{color:var(--text-mid);border-radius:var(--r);border-left:2px solid var(--border);background:#ffffff04;padding:10px 12px;font-size:12px;line-height:1.7}.tags{flex-wrap:wrap;gap:3px;display:flex}.tag{font-family:var(--mono);color:var(--accent);cursor:pointer;background:#ffffff08;border-radius:3px;padding:2px 7px;font-size:10px;font-weight:600;transition:background 80ms}.tag:hover{background:#ffffff12}.cov{gap:2px;display:flex}.pip{width:22px;height:16px;font-family:var(--mono);letter-spacing:.04em;border-radius:3px;justify-content:center;align-items:center;font-size:7px;font-weight:700;display:flex}.pip.y{color:var(--accent);background:#5eb8d41f}.pip.n{color:var(--text-ghost);background:#ffffff04}.dep-row{align-items:baseline;gap:8px;padding:3px 0;font-size:11px;display:flex}.dep-id{font-family:var(--mono);color:var(--accent);cursor:pointer;min-width:50px;font-weight:600}.dep-id:hover{text-decoration:underline}.dep-stmt{color:var(--text-dim);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.graph-section{margin-top:12px}.graph-row{align-items:center;gap:6px;padding:2px 0;font-size:11px;display:flex}.graph-depth{font-family:var(--mono);color:var(--text-ghost);text-align:right;min-width:16px;font-size:9px}.graph-id{font-family:var(--mono);cursor:pointer;min-width:50px;font-weight:600}.graph-id:hover{text-decoration:underline}.graph-stmt{color:var(--text-dim);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.t-hdr{border-radius:var(--r);background:var(--bg-raised);cursor:pointer;align-items:center;gap:7px;margin-top:8px;padding:7px 10px;transition:background 80ms;display:flex}.t-hdr:hover{background:var(--bg-hover)}.t-hdr:first-child{margin-top:0}.t-name{font-size:12px;font-weight:600}.t-range{font-family:var(--mono);color:var(--text-ghost);font-size:9px}.t-cnt{font-family:var(--mono);color:var(--text-dim);margin-left:auto;font-size:10px}.t-chev{color:var(--text-ghost);font-size:9px;transition:transform .12s}.t-chev.open{transform:rotate(90deg)}.bar-row{cursor:pointer;grid-template-columns:140px 1fr 36px;align-items:center;gap:10px;padding:3px 0;display:grid}.bar-label{font-size:11px}.bar-track{background:var(--border);border-radius:2px;height:3px;overflow:hidden}.bar-fill{border-radius:2px;height:100%;transition:width .3s}.bar-val{font-family:var(--mono);color:var(--text-dim);text-align:right;font-size:10px}.chain{flex-direction:column;gap:3px;display:flex}.chain-step{background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--r);align-items:center;gap:10px;padding:8px 12px;display:flex}.chain-num{font-family:var(--mono);text-align:center;width:18px;font-size:10px;font-weight:700}.chain-arrow{text-align:center;color:var(--text-ghost);padding:0;font-size:10px;line-height:1}.chain-loop{text-align:center;color:var(--text-ghost);padding:4px;font-size:10px}.loading{height:100%;color:var(--text-dim);justify-content:center;align-items:center;gap:6px;font-size:12px;display:flex}@keyframes pulse{0%,to{opacity:.15}50%{opacity:.7}}.ldot{background:var(--accent);border-radius:50%;width:3px;height:3px;animation:1.2s ease-in-out infinite pulse}.ldot:nth-child(2){animation-delay:.2s}.ldot:nth-child(3){animation-delay:.4s}