:root{--bg: #0e1116;--panel: #161b22;--panel-2: #1c232d;--border: #2a323d;--text: #e6edf3;--dim: #8b97a5;--accent: #4493f8;--ok: #3fb950;--bad: #f85149;--warn: #d29922}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{background:var(--bg);color:var(--text);font:14px/1.5 ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,sans-serif}a{color:var(--accent);text-decoration:none}.dim{color:var(--dim)}.mono{font-family:ui-monospace,SF Mono,Menlo,monospace}.app{display:flex;flex-direction:column;height:100%}.topbar{display:flex;align-items:center;gap:24px;padding:0 20px;height:52px;background:var(--panel);border-bottom:1px solid var(--border)}.brand{font-weight:600;font-size:15px}.brand-dim{color:var(--dim);font-weight:400}.nav{display:flex;gap:4px}.nav a{padding:6px 12px;border-radius:6px;color:var(--dim);font-weight:500}.nav a:hover,.nav a.active{background:var(--panel-2);color:var(--text)}.health{margin-left:auto;display:flex;gap:12px;align-items:center}.hdot{display:inline-flex;align-items:center;gap:5px;color:var(--dim);font-size:12px}.dot{width:8px;height:8px;border-radius:50%;display:inline-block}.dot-ok{background:var(--ok)}.dot-bad{background:var(--bad)}.content{flex:1;overflow:auto;padding:24px;max-width:1280px;width:100%;margin:0 auto}h1{font-size:20px;margin:0 0 4px}h2{font-size:15px;margin:0 0 12px;color:var(--text)}.sub{color:var(--dim);margin:0 0 20px}.panel{background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:18px}.grid{display:grid;gap:16px}.grid-2{grid-template-columns:1fr 1fr}@media (max-width: 900px){.grid-2{grid-template-columns:1fr}}table{width:100%;border-collapse:collapse}th,td{text-align:left;padding:9px 10px;border-bottom:1px solid var(--border)}th{color:var(--dim);font-weight:500;font-size:12px;text-transform:uppercase;letter-spacing:.04em}tbody tr:hover{background:var(--panel-2)}.row-link{cursor:pointer}td.num,th.num{text-align:right;font-variant-numeric:tabular-nums}.badge{display:inline-block;padding:2px 9px;border-radius:999px;font-size:12px;font-weight:600;border:1px solid transparent}.badge-queued{background:#21262d;color:var(--dim)}.badge-running{background:#4493f826;color:var(--accent)}.badge-done{background:#3fb95026;color:var(--ok)}.badge-error{background:#f8514926;color:var(--bad)}.badge-interrupted{background:#d2992226;color:var(--warn)}.badge-unknown{background:#21262d;color:var(--dim)}.pulse{animation:pulse 1.4s ease-in-out infinite}@keyframes pulse{0%,to{opacity:1}50%{opacity:.45}}label{display:block;font-size:12px;color:var(--dim);margin-bottom:4px}input,select{width:100%;background:var(--panel-2);border:1px solid var(--border);color:var(--text);border-radius:6px;padding:7px 9px;font:inherit}input:focus,select:focus{outline:none;border-color:var(--accent)}.field{margin-bottom:12px}.field-row{display:flex;gap:10px}.field-row>*{flex:1}button{background:var(--accent);color:#fff;border:none;border-radius:7px;padding:9px 16px;font:inherit;font-weight:600;cursor:pointer}button:hover{filter:brightness(1.08)}button:disabled{opacity:.5;cursor:not-allowed}button.ghost{background:var(--panel-2);color:var(--text);border:1px solid var(--border)}.btn-row{display:flex;gap:10px;align-items:center;margin-top:8px}.stat-strip{display:flex;flex-wrap:wrap;gap:22px}.stat{display:flex;flex-direction:column}.stat .k{font-size:11px;color:var(--dim);text-transform:uppercase;letter-spacing:.04em}.stat .v{font-size:18px;font-variant-numeric:tabular-nums}.viewer{position:relative;height:460px;border-radius:10px;overflow:hidden;background:#0a0d12;border:1px solid var(--border)}.viewer-overlay{position:absolute;top:0;right:0;bottom:0;left:0;display:flex;align-items:center;justify-content:center;color:var(--dim);pointer-events:none}.legend{position:absolute;right:12px;top:12px;bottom:12px;width:54px;pointer-events:none}.legend .bar{width:14px;height:100%;border-radius:4px;border:1px solid var(--border);margin:0 auto}.legend .ticks{position:absolute;top:0;right:0;bottom:0;left:20px}.legend .tick{position:absolute;font-size:10px;color:var(--text);transform:translateY(-50%);white-space:nowrap}.legend .tick.yield{color:var(--warn);font-weight:700}.controls{position:absolute;left:12px;bottom:12px;right:80px;background:#0e1116c7;border:1px solid var(--border);border-radius:8px;padding:8px 12px}.controls label{display:flex;justify-content:space-between;margin-bottom:4px}.controls input[type=range]{width:100%}.error-box{background:#f851491a;border:1px solid var(--bad);color:#ffb4ae;padding:12px 14px;border-radius:8px}.spinner{width:22px;height:22px;border:3px solid var(--border);border-top-color:var(--accent);border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.center-col{display:flex;flex-direction:column;align-items:center;gap:10px}.dl-row{display:flex;flex-wrap:wrap;gap:8px}.dl-row a{background:var(--panel-2);border:1px solid var(--border);padding:6px 11px;border-radius:6px;font-size:13px}.toolbar{display:flex;align-items:center;gap:12px;margin-bottom:18px}.toolbar .spacer{flex:1}.verdict{font-size:15px;margin:14px 0 0;padding:12px 14px;border-radius:8px;background:var(--panel-2);border:1px solid var(--border)}.seg{display:inline-flex;gap:0;margin:6px 0 10px;border:1px solid var(--border);border-radius:8px;overflow:hidden}.seg button{background:var(--panel-2);color:var(--dim);border:none;border-radius:0;padding:7px 14px;font-size:13px}.seg button.seg-on{background:var(--accent);color:#fff}.seg button+button{border-left:1px solid var(--border)}details.collapse>summary{cursor:pointer;list-style:none;display:flex;align-items:center;gap:8px}details.collapse>summary::-webkit-details-marker{display:none}details.collapse>summary h2{margin:0}details.collapse>summary:before{content:"▸";color:var(--dim);font-size:12px}details.collapse[open]>summary:before{content:"▾"}.spec-view h3{font-size:13px;color:var(--dim);text-transform:uppercase;letter-spacing:.04em;margin:0 0 6px}.table-scroll{max-height:460px;overflow:auto;border:1px solid var(--border);border-radius:8px}table.dense{width:100%;border-collapse:collapse;font-size:13px}table.dense th,table.dense td{padding:4px 9px}table.dense thead th{position:sticky;top:0;background:var(--panel-2);z-index:1}th.sortable{cursor:pointer;-webkit-user-select:none;user-select:none;white-space:nowrap}th.sortable:hover{color:var(--accent)}tr.row-infeasible{color:var(--dim)}tr.row-infeasible td:last-child{color:var(--bad)}.viewer-fieldtoggle{position:absolute;left:12px;top:12px;margin:0;z-index:2}.notice{background:#d299221f;border:1px solid var(--warn);color:#f0d08a;padding:10px 14px;border-radius:8px;margin-bottom:16px;font-size:13px}.nav a.brandlink{color:var(--text);font-weight:600}.hero{padding:40px 0 28px;max-width:880px}.hero h1{font-size:34px;line-height:1.15;margin:0 0 14px;letter-spacing:-.02em}.hero .lede{font-size:17px;color:var(--text);margin:0 0 10px}.hero .finding{font-size:15px;color:var(--dim);margin:0 0 24px}.cta-row{display:flex;flex-wrap:wrap;gap:10px;margin:6px 0}.cta-row a{padding:10px 18px;border-radius:8px;font-weight:600}.cta-row a.primary{background:var(--accent);color:#fff}.cta-row a.secondary{background:var(--panel-2);color:var(--text);border:1px solid var(--border)}.statcards{display:grid;grid-template-columns:repeat(4,1fr);gap:14px;margin:26px 0}@media (max-width: 860px){.statcards{grid-template-columns:repeat(2,1fr)}}.statcard{background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:16px}.statcard .v{font-size:24px;font-weight:700;font-variant-numeric:tabular-nums}.statcard .k{font-size:12px;color:var(--dim);margin-top:4px}.section{margin:0 0 34px}.section>h2{font-size:17px;margin:0 0 4px}.section>.sub{margin:0 0 14px}.figure{background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:16px}.figure img{width:100%;max-width:760px;display:block;margin:0 auto;background:#fff;border-radius:6px}.figure figcaption{color:var(--dim);font-size:13px;margin-top:10px}.pdf-frame{width:100%;height:84vh;border:1px solid var(--border);border-radius:10px;background:var(--panel)}.num{font-variant-numeric:tabular-nums;text-align:right}.pos{color:var(--ok)}.neg{color:var(--bad)}.viewer-pick{display:flex;align-items:center;gap:12px;margin-bottom:14px;flex-wrap:wrap}.viewer-pick select{background:var(--panel-2);color:var(--text);border:1px solid var(--border);border-radius:7px;padding:8px 12px;font:inherit}