:root{
  --bg:#f6f7f9; --surface:#ffffff; --surface-2:#f1f3f6; --line:#e2e6ec; --line-2:#cfd6df;
  --text:#18202b; --muted:#667085; --faint:#98a2b3;
  --accent:#0f766e; --accent-2:#14b8a6; --accent-ink:#ffffff;
  --bad:#dc2626; --good:#16a34a; --warn:#d97706;
  --map-bg:#fbfcfd; --grid:#eef1f5; --node:#8a94a6;
  --shadow:0 1px 2px rgba(16,24,40,.05),0 1px 3px rgba(16,24,40,.06);
  --r:12px; --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  color-scheme:light;
}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){
  --bg:#0b0f14; --surface:#111821; --surface-2:#17202b; --line:#222d3a; --line-2:#2e3b4b;
  --text:#e6ebf1; --muted:#98a4b3; --faint:#667487;
  --accent:#2dd4bf; --accent-2:#5eead4; --accent-ink:#04201d;
  --bad:#f87171; --good:#4ade80; --warn:#fbbf24;
  --map-bg:#0e141b; --grid:#16202b; --node:#5d6b7c;
  --shadow:none; color-scheme:dark;
}}
:root[data-theme="dark"]{
  --bg:#0b0f14; --surface:#111821; --surface-2:#17202b; --line:#222d3a; --line-2:#2e3b4b;
  --text:#e6ebf1; --muted:#98a4b3; --faint:#667487;
  --accent:#2dd4bf; --accent-2:#5eead4; --accent-ink:#04201d;
  --bad:#f87171; --good:#4ade80; --warn:#fbbf24;
  --map-bg:#0e141b; --grid:#16202b; --node:#5d6b7c;
  --shadow:none; color-scheme:dark;
}
*{box-sizing:border-box}
html,body{margin:0}
body{background:var(--bg);color:var(--text);font:14px/1.55 -apple-system,BlinkMacSystemFont,"PingFang SC","Hiragino Sans GB","Microsoft YaHei",system-ui,sans-serif;-webkit-font-smoothing:antialiased}
b,.num{font-variant-numeric:tabular-nums}
button,input,select{font:inherit;color:inherit}
h1,h2,h3{margin:0;font-weight:650;letter-spacing:.01em}
.muted{color:var(--muted)}
[hidden]{display:none!important}

/* ------------------------------------------------ header */
.top{display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap;
  padding:14px 20px;border-bottom:1px solid var(--line);background:var(--surface);position:sticky;top:0;z-index:20}
.brand{display:flex;align-items:center;gap:12px;min-width:0}
.brand svg{width:34px;height:34px;flex:none}
.brand svg rect{fill:var(--accent)}
.brand svg path{stroke:var(--accent-ink);stroke-width:2.6;fill:none;stroke-linecap:round;stroke-linejoin:round}
.brand svg circle{fill:var(--accent-ink)}
.brand h1{font-size:17px}
.brand p{margin:1px 0 0;color:var(--muted);font-size:12.5px}
.tabs{display:flex;gap:4px;background:var(--surface-2);padding:4px;border-radius:10px}
.tabs button{border:0;background:none;padding:6px 14px;border-radius:7px;cursor:pointer;color:var(--muted);font-weight:550}
.tabs .tablink{padding:6px 12px;border-radius:7px;color:var(--accent);font-weight:550;text-decoration:none;white-space:nowrap}
.tabs .tablink:hover{background:var(--surface)}
.tabs button[aria-selected="true"]{background:var(--surface);color:var(--text);box-shadow:var(--shadow)}

main{padding:16px 20px 8px}
.tab{display:none}
.tab.active{display:block}
#tab-solve.active{display:grid;grid-template-columns:272px minmax(0,1fr) 320px;gap:14px;align-items:start}
.panel{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);box-shadow:var(--shadow)}

/* ------------------------------------------------ controls */
.controls{padding:14px;position:sticky;top:78px;max-height:calc(100vh - 92px);overflow:auto}
.field{margin-bottom:13px}
.field>label{display:flex;justify-content:space-between;align-items:center;font-size:12.5px;color:var(--muted);margin-bottom:6px;font-weight:550}
.field>label b{color:var(--text)}
.field.row{display:flex;align-items:center;gap:8px}
.field.row label{margin:0;flex:1}
.field.row input{width:78px;padding:5px 8px;border:1px solid var(--line-2);border-radius:8px;background:var(--surface)}
.seg{display:flex;background:var(--surface-2);border-radius:9px;padding:3px;gap:2px}
.seg button{flex:1;border:0;background:none;padding:5px 4px;border-radius:7px;cursor:pointer;color:var(--muted);font-size:12.5px;white-space:nowrap}
.seg button.on{background:var(--surface);color:var(--text);box-shadow:var(--shadow);font-weight:600}
.seg button:disabled{opacity:.4;cursor:not-allowed}
select{width:100%;padding:7px 9px;border:1px solid var(--line-2);border-radius:9px;background:var(--surface)}
input[type=range]{width:100%;accent-color:var(--accent)}
.check{display:flex!important;gap:8px;align-items:flex-start;justify-content:flex-start!important;color:var(--text)!important;font-weight:450!important;cursor:pointer;margin-bottom:7px!important;line-height:1.4}
.check input{margin-top:2px;accent-color:var(--accent)}
.hint{margin:6px 0 0;font-size:12px;color:var(--muted)}
.tip{display:inline-grid;place-items:center;width:15px;height:15px;border-radius:50%;background:var(--surface-2);font-size:10px;cursor:help;margin-left:4px}
.actions{display:flex;gap:8px;margin-top:4px}
.actions button{flex:1;padding:9px;border-radius:9px;border:1px solid var(--line-2);background:var(--surface);cursor:pointer;font-weight:600}
.actions .primary{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.actions button:disabled{opacity:.45;cursor:not-allowed}
.icon{border:1px solid var(--line-2);background:var(--surface);border-radius:8px;padding:4px 8px;cursor:pointer}

/* ------------------------------------------------ stage / run */
.stage{display:grid;gap:14px;min-width:0}
.stage.two{grid-template-columns:1fr 1fr}
.run{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);box-shadow:var(--shadow);overflow:hidden;min-width:0}
.run-head{display:flex;align-items:center;gap:8px;padding:10px 12px;border-bottom:1px solid var(--line)}
.run-head .dot{width:10px;height:10px;border-radius:50%}
.run-state{font-size:12px;flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.view-toggle{display:flex;background:var(--surface-2);border-radius:8px;padding:2px}
.view-toggle button{border:0;background:none;padding:3px 9px;border-radius:6px;font-size:12px;cursor:pointer;color:var(--muted)}
.view-toggle button.on{background:var(--surface);color:var(--text);box-shadow:var(--shadow)}
.map-box{position:relative;aspect-ratio:1/1;max-height:calc(100vh - 250px);min-height:320px;background:var(--map-bg);width:100%}
.stage.two .map-box{max-height:calc(100vh - 330px)}
.stage.two .kpis{grid-template-columns:repeat(3,minmax(0,1fr))}
.stage.two .kpis div:nth-child(3){border-right:0}
.stage.two .kpis div:nth-child(-n+3){border-bottom:1px solid var(--line)}
.map{width:100%;height:100%;display:block;cursor:crosshair}
.tooltip{position:absolute;pointer-events:none;background:var(--surface);border:1px solid var(--line-2);border-radius:9px;padding:8px 10px;font-size:12px;box-shadow:0 6px 20px rgba(0,0,0,.15);min-width:150px;z-index:5;line-height:1.5}
.tooltip b{font-size:13px}
.caption{position:absolute;left:10px;right:10px;bottom:10px;background:color-mix(in srgb,var(--surface) 92%,transparent);border:1px solid var(--line);border-radius:10px;padding:8px 11px;font-size:12.5px;backdrop-filter:blur(6px)}
.caption .tag{display:inline-block;padding:1px 7px;border-radius:99px;font-size:11.5px;font-weight:650;margin-right:6px}
.tag.best{background:color-mix(in srgb,var(--good) 18%,transparent);color:var(--good)}
.tag.accept{background:color-mix(in srgb,var(--accent) 18%,transparent);color:var(--accent)}
.tag.reject{background:color-mix(in srgb,var(--bad) 16%,transparent);color:var(--bad)}
.kpis{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));border-top:1px solid var(--line)}
.kpis div{padding:8px 10px;border-right:1px solid var(--line);min-width:0}
.kpis div:last-child{border-right:0}
.kpis span{display:block;font-size:11px;color:var(--muted)}
.kpis b{font-size:15px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;display:block}
.progress{height:3px;background:var(--surface-2)}
.progress i{display:block;height:100%;width:0;background:var(--accent);transition:width .15s linear}

/* ------------------------------------------------ side */
.side{padding:12px;display:grid;gap:14px;position:sticky;top:78px}
.chart-card{min-width:0}
.card-head{display:flex;justify-content:space-between;align-items:baseline;gap:8px;margin-bottom:8px}
.card-head h3{font-size:13.5px}
.card-head .muted{font-size:11.5px}
#conv{height:210px}
.explain{font-size:12.5px;color:var(--muted)}
.explain p{margin:0 0 6px}
.explain ol{margin:0;padding-left:18px}
.explain li{margin-bottom:5px}
.explain b{color:var(--text)}
.explain .live{color:var(--text)}
.explain .live em{font-style:normal;color:var(--accent);font-weight:600}

/* ------------------------------------------------ plan */
.plan{grid-column:2 / 4;background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:14px;box-shadow:var(--shadow);min-width:0}
.table-wrap{overflow-x:auto}
table{border-collapse:collapse;width:100%;font-size:12.5px}
th,td{padding:6px 8px;border-bottom:1px solid var(--line);text-align:right;white-space:nowrap}
th{color:var(--muted);font-weight:600;background:var(--surface-2);position:sticky;top:0}
th:first-child,td:first-child{text-align:left}
tbody tr{cursor:pointer}
tbody tr:hover,tbody tr.sel{background:var(--surface-2)}
.swatch{display:inline-block;width:9px;height:9px;border-radius:3px;margin-right:6px;vertical-align:0}
#gantt{margin-bottom:12px;overflow-x:auto}

/* ------------------------------------------------ bench / doc */
.bench-wrap,.doc{max-width:1180px;margin:0 auto}
.cards{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:4px 0 18px}
.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:14px 16px;box-shadow:var(--shadow)}
.card .big{font-size:26px;font-weight:700;letter-spacing:-.01em}
.card .big small{font-size:14px;font-weight:600;margin-left:2px}
.card p{margin:4px 0 0;font-size:12.5px;color:var(--muted)}
.section{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:16px 18px;margin-bottom:16px;box-shadow:var(--shadow);min-width:0}
.section h2{font-size:16px;margin-bottom:4px}
.section>p.muted{margin:0 0 12px;font-size:12.5px}
.grid2{display:grid;grid-template-columns:1fr 1fr;gap:16px}
.gap-good{color:var(--good)}
.gap-mid{color:var(--warn)}
.gap-bad{color:var(--bad)}
td.best-cell{font-weight:700}
.legend{display:flex;flex-wrap:wrap;gap:12px;font-size:12px;color:var(--muted);margin-bottom:6px}
.legend i{display:inline-block;width:14px;height:3px;border-radius:2px;margin-right:5px;vertical-align:middle}
.pill-row{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:10px}
.pill-row button{border:1px solid var(--line-2);background:var(--surface);border-radius:99px;padding:3px 11px;font-size:12px;cursor:pointer;color:var(--muted)}
.pill-row button.on{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.doc h2{font-size:17px;margin:4px 0 8px}
.doc h3{font-size:14px;margin:14px 0 6px}
.doc p,.doc li{color:var(--text);line-height:1.75}
.doc ul{padding-left:20px}
.doc code{font-family:var(--mono);font-size:12.5px;background:var(--surface-2);padding:1px 5px;border-radius:5px}
.doc .kv{display:grid;grid-template-columns:170px 1fr;gap:6px 14px;font-size:13px}
.doc .kv dt{color:var(--muted)}
.doc .kv dd{margin:0}
.arch{width:100%;height:auto;display:block}
.arch text{font-family:inherit}
.tree{font-family:var(--mono);font-size:12.5px;line-height:1.7;background:var(--surface-2);border-radius:10px;padding:12px 14px;overflow-x:auto;white-space:pre}
.opt{display:grid;grid-template-columns:1fr auto;gap:4px 16px;align-items:baseline;padding:10px 0;border-bottom:1px solid var(--line)}
.opt:last-child{border-bottom:0}
.opt b{font-size:13.5px}
.opt .val{font-weight:700;color:var(--accent);font-size:15px}
.opt p{grid-column:1/-1;margin:0;color:var(--muted);font-size:12.5px;line-height:1.65}

/* charts */
.chart svg{display:block;width:100%;height:100%;overflow:visible}
.chart .axis text{fill:var(--muted);font-size:10.5px}
.chart .axis line,.chart .axis path{stroke:var(--line-2)}
.chart .gridline{stroke:var(--grid)}
.chart-tip{position:fixed;pointer-events:none;background:var(--surface);border:1px solid var(--line-2);border-radius:8px;padding:6px 9px;font-size:12px;box-shadow:0 6px 20px rgba(0,0,0,.15);z-index:50}

.foot{padding:14px 20px 22px;color:var(--faint);font-size:12px;text-align:center}

/* ------------------------------------------------ responsive */
@media (max-width:1280px){
  #tab-solve.active{grid-template-columns:260px minmax(0,1fr)}
  .side{grid-column:1 / 3;position:static;grid-template-columns:1fr 1fr}
  .plan{grid-column:1 / 3}
}
@media (max-width:860px){
  main{padding:12px 16px}
  .top{padding:12px 16px}
  .brand p{display:none}
  #tab-solve.active{grid-template-columns:1fr}
  .controls,.side{position:static;max-height:none}
  .side{grid-column:auto;grid-template-columns:1fr}
  .plan{grid-column:auto}
  .stage.two{grid-template-columns:1fr}
  .kpis{grid-template-columns:repeat(3,minmax(0,1fr))}
  .kpis div:nth-child(3){border-right:0}
  .kpis div:nth-child(-n+3){border-bottom:1px solid var(--line)}
  .cards{grid-template-columns:1fr 1fr}
  .grid2{grid-template-columns:1fr}
  .map-box{max-height:none}
  .doc .kv{grid-template-columns:1fr}
}
@media (max-width:480px){.tabs{width:100%}.tabs button{flex:1;padding:6px 6px}}