:root{
  --bg2:#111C2F;--raised:#1C2942;
  --txt:#EAF1FF;--inv:#0F1728;--bdr:#2C3A52;
  --acc:#8DBBFF;--acc2:#8FCDBD;--acc3:#F1C0D0;
  --pos:#7FB2FF;--neg:#FF8B8B;
  --ok-bg:#103529;--ok-txt:#9BE7B4;
  --er-bg:#4A1D26;--er-txt:#FFB3BA;
  --wn-bg:#4A3412;--wn-txt:#FFD28C;
  --in-bg:#132E56;--in-txt:#A8C9FF;
  --inp:rgba(255,255,255,.06);--sh:0 2px 16px rgba(120,160,220,.12);
  --ce:#8DBBFF; --ce-bg:rgba(141,187,255,.12); --ce-b:rgba(141,187,255,.4);
  --cr:#6DD5C8; --cr-bg:rgba(109,213,200,.11); --cr-b:rgba(109,213,200,.4);
  --cl:#F4A4C0; --cl-bg:rgba(244,164,192,.11); --cl-b:rgba(244,164,192,.4);
  --cR:#C4B5FD; --cR-bg:rgba(196,181,253,.12); --cR-b:rgba(196,181,253,.4);
  --cL:#FDE68A; --cL-bg:rgba(253,230,138,.12); --cL-b:rgba(253,230,138,.4);
  --cO:#A8B6CF; --cO-bg:rgba(168,182,207,.12); --cO-b:rgba(168,182,207,.4);
}
body.light{
  --bg2:#F8FBFF;--panel:#FFF;--raised:#FFF;
  --txt:#2D3436;--inv:#FFF;--bdr:#E0E6F0;
  --acc:#4A7FD4;--pos:#2563EB;--neg:#DC2626;
  --ok-bg:#D1F5E0;--ok-txt:#1A5E35;--er-bg:#FFE0E0;--er-txt:#8B1A1A;
  --wn-bg:#FFF4D9;--wn-txt:#7A4A00;--in-bg:#E8F0FF;--in-txt:#174A9C;
  --ce:#2563EB;--ce-bg:rgba(37,99,235,.08);--ce-b:rgba(37,99,235,.35);
  --cr:#0D7A70;--cr-bg:rgba(13,122,112,.08);--cr-b:rgba(13,122,112,.35);
  --cl:#C2185B;--cl-bg:rgba(194,24,91,.08); --cl-b:rgba(194,24,91,.35);
  --cR:#6B21A8;--cR-bg:rgba(107,33,168,.08);--cR-b:rgba(107,33,168,.35);
  --cL:#B45309;--cL-bg:rgba(180,83,9,.08);  --cL-b:rgba(180,83,9,.35);
  --cO:#475569;--cO-bg:rgba(71,85,105,.08); --cO-b:rgba(71,85,105,.35);
}
*{box-sizing:border-box;min-width:0}
body{margin:0;font-family:'DM Sans',system-ui,sans-serif;font-size:15px;line-height:1.5;
  color:var(--txt);background:var(--bg);transition:background .25s,color .25s}
.mono{font-family:'DM Mono',monospace;font-variant-numeric:tabular-nums}
.wrap{max-width:1540px;margin:0 auto;padding:18px 22px;display:flex;flex-direction:column;gap:14px}
.card{background:rgba(255,255,255,.03);border:1px solid var(--bdr);border-radius:14px;box-shadow:var(--sh)}
body.light .card{background:rgba(255,255,255,.9)}

/* ── Header ── */
.hdr{padding:16px 22px;display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px}
.hdr h1{margin:0 0 2px;font-size:1.5rem;font-weight:800;letter-spacing:-.02em}
.hdr p{margin:0;color:var(--muted);font-size:.82rem}
.hdr-r{display:flex;gap:8px}

/* ── Toolbar ── */
.toolbar{padding:0;overflow:hidden}
.tb-row{display:flex;align-items:stretch;flex-wrap:wrap;border-bottom:1px solid var(--bdr)}
.tg{padding:12px 16px;display:flex;flex-direction:column;gap:6px;border-right:1px solid var(--bdr)}
.tg:last-child{border-right:none;justify-content:center;align-items:center;margin-left:auto}
.tg-lbl{font-size:.67rem;font-weight:700;text-transform:uppercase;letter-spacing:.09em;color:var(--muted);white-space:nowrap}
.tg-r{display:flex;gap:6px;align-items:center;flex-wrap:wrap}
.upload-btn{display:inline-flex;align-items:center;gap:6px;padding:7px 12px;
  background:var(--inp);border:1px solid var(--bdr);border-radius:8px;
  cursor:pointer;font-size:.83rem;font-weight:600;color:var(--txt);white-space:nowrap;
  transition:border-color .15s;font-family:inherit}
.upload-btn:hover{border-color:var(--acc)}
.upload-btn input[type=file]{display:none}
.fname{font-size:.74rem;color:var(--muted);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:170px}
input[type=number],input[type=text],select{
  background:var(--inp);border:1px solid var(--bdr);border-radius:8px;
  padding:7px 10px;color:var(--txt);font-size:.83rem;font-family:inherit;
  transition:border-color .15s;outline:none}
input:focus,select:focus{border-color:var(--acc)}
select option{background:var(--panel);color:var(--txt)}
.hint{font-size:.72rem;color:var(--muted);line-height:1.3}
/* Status bar */
.tb-status{display:flex;flex-wrap:wrap;gap:6px;padding:8px 14px;
  background:rgba(0,0,0,.12);align-items:center}
body.light .tb-status{background:rgba(0,0,0,.04)}
.sp{display:inline-flex;align-items:center;gap:5px;font-size:.75rem;font-weight:600;
  padding:3px 9px;border-radius:999px;white-space:nowrap}
.sp.ok {background:var(--ok-bg);color:var(--ok-txt)}
.sp.er {background:var(--er-bg);color:var(--er-txt)}
.sp.wn {background:var(--wn-bg);color:var(--wn-txt)}
.sp.in {background:var(--in-bg);color:var(--in-txt)}
.sp .d{width:6px;height:6px;border-radius:50%;background:currentColor;flex-shrink:0}
.fallback-inp{font-size:.74rem;color:var(--wn-txt);cursor:pointer;text-decoration:underline;margin-left:4px}
/* Buttons */
.btn-p{background:var(--acc);color:var(--inv);border:none;border-radius:10px;
  padding:9px 22px;font-weight:700;font-size:.88rem;cursor:pointer;transition:opacity .15s;
  font-family:inherit;white-space:nowrap}
.btn-p:hover{opacity:.88}
.btn-s{background:var(--inp);color:var(--txt);border:1px solid var(--bdr);border-radius:10px;
  padding:7px 13px;font-weight:600;font-size:.82rem;cursor:pointer;transition:border-color .15s;
  font-family:inherit;white-space:nowrap}
.btn-s:hover{border-color:var(--acc)}
.btn-t{background:var(--inp);border:1px solid var(--bdr);color:var(--muted);border-radius:10px;
  padding:7px 13px;font-size:.8rem;font-weight:600;cursor:pointer;transition:all .15s;
  font-family:inherit;white-space:nowrap}
.btn-t:hover{border-color:var(--acc);color:var(--txt)}
.badge{border-radius:999px;padding:2px 9px;font-size:.71rem;font-weight:700;display:inline-block}
.b-ok {background:var(--ok-bg);color:var(--ok-txt)}
.b-er {background:var(--er-bg);color:var(--er-txt)}

/* ── Constraint invocation filter ── */
.filt{padding:0;overflow:hidden}
.filt-hd{padding:11px 18px;border-bottom:1px solid var(--bdr);display:flex;align-items:center;
  justify-content:space-between;flex-wrap:wrap;gap:8px}
.filt-hd h2{margin:0;font-size:.95rem;font-weight:700}
.filt-grid{display:grid;grid-template-columns:1.3fr 1fr 1.3fr}
.filt-col{padding:12px 16px;border-right:1px solid var(--bdr);display:flex;flex-direction:column;gap:7px}
.filt-col:last-child{border-right:none}
.filt-lbl{font-size:.67rem;font-weight:700;text-transform:uppercase;letter-spacing:.08em;
  color:var(--muted);display:flex;align-items:center;gap:6px;flex-wrap:wrap}
.filt-cnt{font-weight:600;color:var(--acc);text-transform:none;letter-spacing:0}
.filt-note{font-weight:500;color:var(--muted);text-transform:none;letter-spacing:0;font-size:.66rem}
.filt-bar{display:flex;gap:6px;align-items:center}
.filt-bar input{flex:1;padding:5px 9px;font-size:.8rem}
.btn-sm{padding:4px 10px;font-size:.75rem;border:1px solid var(--bdr);border-radius:6px;cursor:pointer;
  background:var(--inp);color:var(--txt);font-family:inherit;white-space:nowrap;transition:border-color .15s}
.btn-sm:hover{border-color:var(--acc)}
.chk-list{height:172px;overflow-y:auto;border:1px solid var(--bdr);border-radius:8px;padding:4px 0}
.chk-list label{display:flex;align-items:center;gap:6px;padding:3px 10px;cursor:pointer;font-size:.8rem}
.chk-list label:hover{background:var(--inp)}
.chk-list label.nil{font-weight:700}
.chk-list input,.chk-inline input{accent-color:var(--acc);cursor:pointer;margin:0}
.chk-list input:disabled{opacity:.7;cursor:default}
.chk-inline{display:flex;flex-wrap:wrap;gap:6px 16px;padding:6px 2px}
.chk-inline label{display:inline-flex;align-items:center;gap:6px;cursor:pointer;font-size:.82rem}
.chk-empty{padding:8px 10px;color:var(--muted);font-size:.8rem;display:block}

/* ── KPIs ── */
.metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:12px}
.metric{padding:14px 18px}
.metric .lbl{color:var(--muted);font-size:.69rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em;margin-bottom:4px}
.metric .val{font-family:'DM Mono',monospace;font-size:1.6rem;font-weight:700;letter-spacing:-.01em}
.metric .sub{font-size:.75rem;color:var(--muted);margin-top:2px}

/* ── Banner ── */
.banner{padding:11px 18px;border-radius:12px;display:flex;align-items:center;gap:10px;
  font-weight:600;font-size:.9rem;flex-wrap:wrap}
.banner.ok  {background:var(--ok-bg);color:var(--ok-txt);border:1px solid rgba(155,231,180,.2)}
.banner.viol{background:var(--er-bg);color:var(--er-txt);border:1px solid rgba(255,179,186,.2)}
.banner.idle{background:var(--in-bg);color:var(--in-txt);border:1px solid rgba(168,201,255,.2)}

/* ── Legend — two groups ── */
.legend{display:flex;flex-wrap:wrap;gap:10px;align-items:center;padding:9px 14px;
  background:var(--inp);border:1px solid var(--bdr);border-radius:10px}
.lg-grp{display:flex;flex-wrap:wrap;gap:8px;align-items:center}
.lg-grp-lbl{font-size:.68rem;font-weight:700;text-transform:uppercase;letter-spacing:.07em;
  color:var(--muted);margin-right:2px;white-space:nowrap}
.lg-sep{width:1px;height:22px;background:var(--bdr);flex-shrink:0}
.lg-item{display:flex;align-items:center;gap:5px;font-size:.75rem;color:var(--muted)}
/* Colorblind swatches: square + symbol */
.lg-sw{width:16px;height:16px;border-radius:4px;border:1.5px solid;display:inline-flex;
  align-items:center;justify-content:center;font-size:.7rem;font-weight:800;flex-shrink:0}
.lg-sw.energy  {background:var(--ce-bg);border-color:var(--ce-b);color:var(--ce)}
.lg-sw.regRaise{background:var(--cr-bg);border-color:var(--cr-b);color:var(--cr)}
.lg-sw.regLower{background:var(--cl-bg);border-color:var(--cl-b);color:var(--cl)}
.lg-sw.rating  {background:var(--cR-bg);border-color:var(--cR-b);color:var(--cR)}
.lg-sw.load    {background:var(--cL-bg);border-color:var(--cL-b);color:var(--cL)}
.lg-sw.offset  {background:var(--cO-bg);border-color:var(--cO-b);color:var(--cO)}

/* ── Results table ── */
.res-card{padding:0;overflow:hidden}
.res-hd{padding:11px 18px;border-bottom:1px solid var(--bdr);display:flex;align-items:center;
  justify-content:space-between;flex-wrap:wrap;gap:8px}
.res-hd h2{margin:0;font-size:.95rem;font-weight:700}
.fbar{padding:7px 14px;border-bottom:1px solid var(--bdr);display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.fbar label{font-size:.78rem;color:var(--muted);font-weight:600}
.fbar input{padding:5px 9px;font-size:.8rem;width:220px}
.tbl-wrap{overflow-x:auto;max-height:68vh;overflow-y:auto}
table{width:100%;border-collapse:collapse;font-size:.82rem}
th{position:sticky;top:0;z-index:2;background:var(--panel);color:var(--muted);
  font-family:'DM Sans',sans-serif;font-size:.68rem;font-weight:700;
  text-transform:uppercase;letter-spacing:.06em;
  padding:8px 12px;border-bottom:1px solid var(--bdr);white-space:nowrap}
td{padding:8px 12px;border-bottom:1px solid var(--bdr);vertical-align:middle}
tr:last-child td{border-bottom:none}
tr.dr:hover td{background:rgba(141,187,255,.04)}
tr.dr.viol td{background:rgba(74,28,28,.2)}
tr.dr.viol:hover td{background:rgba(74,28,28,.35)}
tr.xr td{padding:0;background:var(--bg2)}
.idx{color:var(--muted);font-family:'DM Mono',monospace;font-size:.75rem;text-align:right;width:34px}
.idc{font-family:'DM Mono',monospace;font-size:.75rem;max-width:280px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.elc{font-size:.8rem;font-weight:600;white-space:nowrap}
.lrc{font-family:'DM Mono',monospace;white-space:nowrap;font-size:.83rem;text-align:center}
.lrc .op{color:var(--muted);margin:0 3px}
.lrc.viol .lv{color:var(--neg);font-weight:700}
.lrc.viol .rv{color:var(--neg)}
.lrc.ok   .lv{color:var(--pos)}
.lrc.ok   .rv{color:var(--pos)}
.mgc{font-family:'DM Mono',monospace;font-size:.8rem;text-align:right;white-space:nowrap}
.mgc.neg{color:var(--neg)} .mgc.pos{color:var(--pos)}
.xbtn{background:transparent;border:1px solid var(--bdr);border-radius:6px;padding:3px 9px;
  cursor:pointer;font-size:.75rem;color:var(--muted);font-family:inherit;transition:all .15s;white-space:nowrap}
.xbtn:hover{border-color:var(--acc);color:var(--txt)}
.xbtn.open{border-color:var(--acc);color:var(--acc)}

/* ── Equation panel ── */
.eq-panel{padding:13px 18px 16px;display:none}
.eq-panel.open{display:block}
.eq-sec{margin-bottom:10px}
.eq-lbl{font-size:.68rem;font-weight:700;text-transform:uppercase;letter-spacing:.07em;color:var(--muted);margin-bottom:5px}
.eq-terms{display:flex;flex-wrap:wrap;gap:3px;align-items:center;line-height:2.1}
.eq-tot{font-size:.79rem;font-family:'DM Mono',monospace;color:var(--muted);margin-top:5px;
  padding:4px 10px;border-radius:6px;background:var(--inp);display:inline-block}
.eq-opr{font-size:1.15rem;font-weight:800;text-align:center;margin:3px 0;color:var(--acc)}
/* Term chips */
.tc{display:inline-flex;align-items:center;gap:3px;padding:2px 7px;border-radius:5px;
  font-family:'DM Mono',monospace;font-size:.72rem;white-space:nowrap;border:1.5px solid}
.tc.energy  {color:var(--ce);background:var(--ce-bg);border-color:var(--ce-b)}
.tc.regRaise{color:var(--cr);background:var(--cr-bg);border-color:var(--cr-b)}
.tc.regLower{color:var(--cl);background:var(--cl-bg);border-color:var(--cl-b)}
.tc.rating  {color:var(--cR);background:var(--cR-bg);border-color:var(--cR-b)}
.tc.load    {color:var(--cL);background:var(--cL-bg);border-color:var(--cL-b)}
.tc.offset  {color:var(--cO);background:var(--cO-bg);border-color:var(--cO-b)}
.tc.unknown {color:var(--muted);background:var(--inp);border-color:var(--bdr)}
.tc-sym{font-size:.65rem;opacity:.8;margin-right:1px}
.tc-c{opacity:.65;font-size:.67rem}
.tc-v{opacity:.6;font-size:.67rem}
.tsign{font-family:'DM Mono',monospace;font-size:.82rem;color:var(--muted);margin:0 1px}
.miss-note{display:flex;align-items:center;gap:6px;font-size:.75rem;padding:5px 10px;
  border-radius:7px;background:var(--wn-bg);color:var(--wn-txt);margin-bottom:8px}

/* ── Collapsible passed section ── */
.sec-tog{display:flex;justify-content:space-between;align-items:center;padding:12px 18px;
  cursor:pointer;font-weight:600;font-size:.87rem;user-select:none;transition:background .15s}
.sec-tog:hover{background:var(--inp)}
.arr{transition:transform .2s;font-size:.71rem;color:var(--muted)}
.sec-tog.open .arr{transform:rotate(180deg)}
.col-body{display:none}
.col-body.open{display:block}

/* ── Empty state ── */
.empty{padding:48px 24px;text-align:center;color:var(--muted)}
.empty .ico{font-size:2.3rem;margin-bottom:10px}
.empty h2{margin:0 0 6px;font-size:1.05rem;font-weight:700;color:var(--txt)}
.empty p{margin:0;font-size:.86rem;max-width:360px;margin:0 auto}

@media(max-width:960px){
  .metrics{grid-template-columns:repeat(2,1fr)}
  .tb-row{flex-direction:column}
  .tg{border-right:none;border-bottom:1px solid var(--bdr)}
  .tg:last-child{border-bottom:none;margin-left:0;align-items:flex-start}
  .filt-grid{grid-template-columns:1fr}
  .filt-col{border-right:none;border-bottom:1px solid var(--bdr)}
  .filt-col:last-child{border-bottom:none}
}
@media(max-width:600px){
  .wrap{padding:10px 12px}
  .metrics{grid-template-columns:1fr 1fr}
  .hdr h1{font-size:1.25rem}
}