/* Structure only. Every colour, face and size comes from theme.css tokens. */
* { box-sizing: border-box; }
[hidden] { display: none !important; }
html, body { margin: 0; background: var(--bf-bg); color: var(--bf-ink); }
body { font: var(--bf-size-m)/1.5 var(--bf-font); }
a { color: var(--bf-accent); }
button, input, select { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--bf-accent); outline-offset: 2px; }
h1, h2, h3 { margin: 0; font-weight: var(--bf-weight-strong); text-wrap: balance; }
h1 { font: var(--bf-weight-strong) var(--bf-size-l)/1.2 var(--bf-font-display); }
h2 { font-size: var(--bf-size-s); text-transform: var(--bf-head-case); letter-spacing: var(--bf-head-track); color: var(--bf-ink-2); }
h3 { font-size: var(--bf-size-l); }
.num { font-variant-numeric: tabular-nums; }
.mono { font-family: var(--bf-font-mono); }
.dim { color: var(--bf-ink-3); }
.small { font-size: var(--bf-size-s); }

.shell { max-width: var(--bf-max-width); margin: 0 auto; padding-left: max(var(--bf-pad), env(safe-area-inset-left, 0px)); padding-right: max(var(--bf-pad), env(safe-area-inset-right, 0px)); padding-block: var(--bf-gap) 48px; display: flex; flex-direction: column; gap: var(--bf-gap); }
.topbar { display: flex; flex-wrap: wrap; gap: var(--bf-gap-s) var(--bf-gap); align-items: baseline; border-bottom: var(--bf-rule-width) solid var(--bf-rule); padding-bottom: var(--bf-gap-s); }
.topbar .brand { text-decoration: none; color: var(--bf-ink); display: inline-flex; align-items: center; gap: 10px; }
.brand-logo { flex: none; height: 28px; width: auto; display: block; }
.brand-logo-dark { display: none; }
:root[data-mode="dark"] .brand-logo-light { display: none; }
:root[data-mode="dark"] .brand-logo-dark { display: block; }
@media (prefers-color-scheme: dark) {
  :root:not([data-mode]) .brand-logo-light { display: none; }
  :root:not([data-mode]) .brand-logo-dark { display: block; }
}
.brand h1 { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.topbar .svc { display: inline-flex; flex-wrap: wrap; gap: var(--bf-gap-s); align-items: center; }
.topbar .crumbs { color: var(--bf-ink-3); font-size: var(--bf-size-s); min-width: 0; overflow-wrap: anywhere; }
.topbar .crumbs a { color: var(--bf-ink-2); }
.topbar .right { margin-left: auto; display: flex; gap: var(--bf-gap-s); align-items: center; font-size: var(--bf-size-s); color: var(--bf-ink-3); }

.btn { display: inline-flex; align-items: center; gap: 6px; border: var(--bf-rule-width) solid var(--bf-rule-strong); background: var(--bf-surface); border-radius: var(--bf-radius); padding: 5px 10px; cursor: pointer; font-size: var(--bf-size-s); }
.btn:hover { border-color: var(--bf-ink); }
.btn[disabled] { opacity: .45; cursor: default; }
.btn.primary { background: var(--bf-accent); color: var(--bf-accent-ink); border-color: var(--bf-accent); }
select.sel, input.inp { border: var(--bf-rule-width) solid var(--bf-rule-strong); background: var(--bf-surface); border-radius: var(--bf-radius); padding: 5px 8px; font-size: var(--bf-size-s); min-width: 0; }

.tabs { display: flex; gap: 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); overflow-x: auto; }
.tabs a { padding: 8px 14px; text-decoration: none; color: var(--bf-ink-2); border-bottom: 2px solid transparent; white-space: nowrap; display: inline-flex; gap: 6px; align-items: center; }
.tabs a[aria-current="page"] { color: var(--bf-ink); border-bottom-color: var(--bf-accent); }
.tabs .badge { font-size: var(--bf-size-xs); color: var(--bf-crit); }

.panel { border: var(--bf-rule-width) solid var(--bf-rule); border-top: var(--bf-panel-top); border-radius: var(--bf-radius); background: var(--bf-surface); padding: var(--bf-pad); min-width: 0; display: flex; flex-direction: column; gap: 12px; }
.panel-head { display: flex; justify-content: space-between; align-items: baseline; gap: var(--bf-gap-s); flex-wrap: wrap; }
.panel-head .hint { color: var(--bf-ink-3); font-size: var(--bf-size-s); }
.cols { display: grid; grid-template-columns: minmax(0, 1.5fr) minmax(0, 1fr); gap: var(--bf-gap); align-items: start; }
#view { display: flex; flex-direction: column; gap: var(--bf-gap); }
#view:focus { outline: none; }
.cols.even { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); }
@media (max-width: 960px) { .cols, .cols.even { grid-template-columns: minmax(0, 1fr); } }

.notice { border: var(--bf-rule-width) solid var(--bf-rule); border-left: 3px solid var(--bf-warn); padding: 8px 12px; font-size: var(--bf-size-s); color: var(--bf-ink-2); background: var(--bf-surface); }
.notice.crit { border-left-color: var(--bf-crit); }
.notice b { color: var(--bf-ink); }

/* Figures */
.stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 0; border-top: var(--bf-rule-width) solid var(--bf-rule); }
.stat { padding: 10px 12px 10px 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); display: flex; flex-direction: column; gap: 2px; min-width: 0; }
.stat span { font-size: var(--bf-size-xs); color: var(--bf-ink-3); text-transform: uppercase; letter-spacing: .05em; }
.stat b { font: var(--bf-weight-strong) var(--bf-size-l)/1.2 var(--bf-font-display); overflow-wrap: anywhere; }
.stat em { font-style: normal; font-size: var(--bf-size-s); color: var(--bf-ink-2); }
.stat.good b { color: var(--bf-good); } .stat.crit b { color: var(--bf-crit); } .stat.warn b { color: var(--bf-warn); }
.hero { font: var(--bf-weight-strong) var(--bf-size-hero)/1 var(--bf-font-display); }
.meter { position: relative; display: flex; gap: 1px; height: 8px; background: var(--bf-surface-alt); }
.meter i { display: block; height: 100%; }
.meter .mark { position: absolute; top: -3px; bottom: -3px; width: 2px; background: var(--bf-ink-2); }
.meter .cap { position: absolute; right: 0; top: -3px; bottom: -3px; width: 2px; background: var(--bf-crit); }
.meter .wip { background: repeating-linear-gradient(45deg, var(--bf-ink-3) 0 3px, transparent 3px 6px); }
.chart svg { display: block; width: 100%; height: auto; overflow: visible; }
.chart .bar { cursor: pointer; }
.chart .bar:hover .m, .chart .bar.on .m { opacity: .8; }
.legend { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: var(--bf-size-s); color: var(--bf-ink-2); }
.legend span { display: inline-flex; align-items: center; gap: 6px; }
.sw { display: inline-block; width: 10px; height: 10px; flex: none; }

/* Status labels: icon + text + colour */
.st { display: inline-flex; align-items: center; gap: 5px; font-size: var(--bf-size-s); font-weight: var(--bf-weight-strong); white-space: nowrap; }
.st svg { width: 14px; height: 14px; }
.st.good { color: var(--bf-good); } .st.warn { color: var(--bf-warn); } .st.crit { color: var(--bf-crit); } .st.idle { color: var(--bf-idle); }
.lvl { display: inline-flex; align-items: center; gap: 6px; white-space: nowrap; font-size: var(--bf-size-s); }
.lvl i { width: 9px; height: 9px; display: inline-block; }
.lvl b { font-family: var(--bf-font-mono); font-weight: var(--bf-weight-strong); }
.flag-orig { font-size: var(--bf-size-s); color: var(--bf-original); border: var(--bf-rule-width) solid var(--bf-original); padding: 0 6px; white-space: nowrap; }
.tier { display: inline-flex; align-items: center; gap: 6px; white-space: nowrap; }
.tier i { width: 8px; height: 8px; display: inline-block; border-radius: 50%; }

/* Tables */
.toolbar { display: flex; flex-wrap: wrap; gap: var(--bf-gap-s) 12px; align-items: center; }
.toolbar .grow { flex: 1 1 200px; }
.toolbar .count { margin-left: auto; color: var(--bf-ink-3); font-size: var(--bf-size-s); }
.chips { display: flex; flex-wrap: wrap; gap: 4px; }
.chip { border: var(--bf-rule-width) solid var(--bf-rule); background: var(--bf-surface); padding: 2px 8px; cursor: pointer; font-size: var(--bf-size-s); display: inline-flex; gap: 6px; align-items: center; border-radius: var(--bf-radius); }
.chip[aria-pressed="true"] { border-color: var(--bf-ink); background: var(--bf-surface-alt); }
.tablewrap { overflow: auto; max-height: 640px; border: var(--bf-rule-width) solid var(--bf-rule); }
.tablewrap.short { max-height: 420px; }
table { width: 100%; border-collapse: collapse; font-size: var(--bf-size-s); }
th { position: sticky; top: 0; background: var(--bf-surface-alt); text-align: left; font-weight: var(--bf-weight-strong); color: var(--bf-ink-2); padding: 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); white-space: nowrap; z-index: 1; }
th > span, th > button { display: flex; gap: 4px; padding: 7px 10px; }
th > button { all: unset; display: flex; gap: 4px; padding: 7px 10px; cursor: pointer; width: 100%; box-sizing: border-box; }
th > button:focus-visible { outline: 2px solid var(--bf-accent); outline-offset: -2px; }
th.r > button, th.r > span { justify-content: flex-end; }
th[aria-sort] { color: var(--bf-ink); }
td { padding: 6px 10px; border-bottom: var(--bf-rule-width) solid var(--bf-rule); white-space: nowrap; vertical-align: top; }
td.r, th.r { text-align: right; }
td.wrap { white-space: normal; min-width: 220px; }
td.fn { font-family: var(--bf-font-mono); }
td.fn small { display: block; font-family: var(--bf-font); color: var(--bf-ink-3); }
tr.click { cursor: pointer; }
tr.click:hover td, tr.click:focus-visible td { background: var(--bf-surface-alt); }
tr.fresh td { background: var(--bf-surface-alt); }
.empty { padding: 24px; text-align: center; color: var(--bf-ink-3); }
.ok { color: var(--bf-good); } .bad { color: var(--bf-crit); }

/* Code */
.code-pair { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 12px; }
@media (max-width: 820px) { .code-pair { grid-template-columns: minmax(0, 1fr); } }
.code { border: var(--bf-rule-width) solid var(--bf-rule); background: var(--bf-code-bg); min-width: 0; }
.code-h { display: flex; justify-content: space-between; gap: 8px; align-items: center; padding: 6px 10px; border-bottom: var(--bf-rule-width) solid var(--bf-rule); font-size: var(--bf-size-s); background: var(--bf-surface-alt); }
.code pre { margin: 0; padding: 10px 0; overflow: auto; max-height: 520px; font: 12.5px/1.6 var(--bf-font-mono); counter-reset: ln; }
.code pre .ln { display: block; white-space: pre; padding-right: 12px; }
.code pre.c .ln::before { counter-increment: ln; content: counter(ln); display: inline-block; width: 3em; padding-right: 1em; text-align: right; color: var(--bf-code-addr); user-select: none; }
.code pre.asm .ln { padding-left: 12px; }
.code .none { padding: 14px 12px; color: var(--bf-ink-3); font-size: var(--bf-size-s); }
.k { color: var(--bf-code-kw); } .nu { color: var(--bf-code-num); } .s { color: var(--bf-code-str); } .cm { color: var(--bf-code-com); font-style: italic; } .rg { color: var(--bf-code-reg); } .op { color: var(--bf-code-op); font-weight: var(--bf-weight-strong); } .ad { color: var(--bf-code-addr); }
.verdict { max-width: 90ch; color: var(--bf-ink-2); margin: 0; }
.verdict b { color: var(--bf-ink); }

/* Live */
.alert { display: flex; gap: 10px; border: var(--bf-rule-width) solid var(--bf-crit); padding: 10px 12px; }
.alert.warn { border-color: var(--bf-warn); }
.alert svg { width: 18px; height: 18px; flex: none; color: var(--bf-crit); }
.alert.warn svg { color: var(--bf-warn); }
.alert p { margin: 2px 0 0; color: var(--bf-ink-2); font-size: var(--bf-size-s); }
.controls { display: flex; flex-wrap: wrap; gap: var(--bf-gap-s); align-items: center; font-size: var(--bf-size-s); }
.controls .clock { margin-left: auto; font-family: var(--bf-font-mono); color: var(--bf-ink-3); }
.wip { display: flex; flex-direction: column; gap: 0; }
.wip-row { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 2px 10px; padding: 8px 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
.wip-row .nm { font-family: var(--bf-font-mono); overflow-wrap: anywhere; }
.wip-row .meta { grid-column: 1 / -1; font-size: var(--bf-size-s); color: var(--bf-ink-2); display: flex; flex-wrap: wrap; gap: 4px 14px; }
.checks .row { display: grid; grid-template-columns: 20px minmax(0, 1fr) auto; gap: 2px 8px; padding: 8px 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
.checks svg { width: 15px; height: 15px; margin-top: 3px; }
.checks .good svg { color: var(--bf-good); } .checks .warn svg { color: var(--bf-warn); } .checks .crit svg { color: var(--bf-crit); } .checks .idle svg { color: var(--bf-idle); }
.checks p { margin: 0; color: var(--bf-ink-2); font-size: var(--bf-size-s); }
.checks .v { font-family: var(--bf-font-mono); font-size: var(--bf-size-s); color: var(--bf-ink-2); }
.hbars { display: flex; flex-direction: column; gap: 6px; }
.hbar { display: grid; grid-template-columns: minmax(0, 220px) minmax(0, 1fr) auto; gap: 8px; align-items: center; font-size: var(--bf-size-s); }
.hbar .n { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.hbar .t { height: 8px; background: var(--bf-surface-alt); }
.hbar .t i { display: block; height: 100%; background: var(--bf-ink-2); }
.hbar .v { text-align: right; font-variant-numeric: tabular-nums; color: var(--bf-ink-2); }

/* Pipeline */
.pipe svg { display: block; width: 100%; height: auto; }
.pipe .node { cursor: pointer; }
.pipe .node:focus { outline: none; }
.pipe .node:focus-visible .box, .pipe .node:hover .box { stroke: var(--bf-accent); }
.pipe .node.sel .box { stroke: var(--bf-accent); stroke-width: 2; }
.fnlinks { display: flex; flex-wrap: wrap; gap: 4px 12px; font-family: var(--bf-font-mono); font-size: var(--bf-size-s); }
#view > div:empty, #demoMsg:empty { display: none; }

/* Forms, sign-in, dialogs */
.auth-box { max-width: 440px; margin: 40px auto; }
.auth-box code { font-family: var(--bf-font-mono); font-size: var(--bf-size-s); overflow-wrap: anywhere; }
.form { display: flex; flex-direction: column; gap: 6px; }
.form label { font-size: var(--bf-size-s); color: var(--bf-ink-2); }
.form .inp, .form .sel { width: 100%; }
.form button[type="submit"] { align-self: flex-start; margin-top: 6px; }
.form.inline { flex-direction: row; flex-wrap: wrap; align-items: center; gap: 8px 12px; }
.form.inline .inp { width: auto; max-width: 9em; }
.form.inline button[type="submit"] { margin-top: 0; }
.form fieldset { border: var(--bf-rule-width) solid var(--bf-rule); padding: 8px 10px; display: flex; flex-direction: column; gap: 4px; margin: 4px 0; }
.form fieldset label { color: var(--bf-ink); display: flex; gap: 6px; align-items: baseline; }
.form-msg { font-size: var(--bf-size-s); min-height: 1em; }
.form-msg.ok { color: var(--bf-good); } .form-msg.bad { color: var(--bf-crit); }
.row-btns { display: flex; gap: 8px; justify-content: flex-end; margin-top: 10px; }
dialog.dlg { border: var(--bf-rule-width) solid var(--bf-rule-strong); border-radius: var(--bf-radius); padding: var(--bf-pad); width: min(480px, calc(100vw - 32px)); background: var(--bf-surface); color: var(--bf-ink); }
dialog.dlg::backdrop { background: var(--bf-overlay); }
dialog.dlg h3 { margin-bottom: 6px; }
.stack { display: flex; flex-direction: column; gap: var(--bf-gap); }
.actions { display: flex; flex-wrap: wrap; gap: 4px; min-width: 260px; }
.topbar .right a { color: var(--bf-ink-2); }

/* Dials */
.dial { display: flex; flex-direction: column; gap: 4px; padding: 10px 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
.dial:last-child { border-bottom: 0; }
.dial-head { display: flex; justify-content: space-between; align-items: baseline; gap: 8px; }
.dial-head label, .dial-head .lbl { font-weight: var(--bf-weight-strong); font-size: var(--bf-size-s); }
.dial-row { display: flex; align-items: center; gap: 12px; }
.dial-row input[type=range] { flex: 1 1 auto; min-width: 0; accent-color: var(--bf-accent); }
.dial-num { display: inline-flex; align-items: center; gap: 4px; font-size: var(--bf-size-s); }
.dial-num .inp { width: 7em; text-align: right; }
.help { margin: 0; color: var(--bf-ink-3); font-size: var(--bf-size-s); max-width: 70ch; }
.linkbtn { all: unset; cursor: pointer; color: var(--bf-accent); font-size: var(--bf-size-s); align-self: flex-start; }
.linkbtn:focus-visible { outline: 2px solid var(--bf-accent); outline-offset: 2px; }
.src { font-size: var(--bf-size-xs); color: var(--bf-ink-3); border: var(--bf-rule-width) solid var(--bf-rule); padding: 0 6px; white-space: nowrap; }
.src-live { color: var(--bf-accent); border-color: var(--bf-accent); }
.src-changed { color: var(--bf-warn); border-color: var(--bf-warn); }
.tg { display: inline-flex; gap: 6px; align-items: center; font-size: var(--bf-size-s); }
.seg { display: inline-flex; flex-wrap: wrap; border: var(--bf-rule-width) solid var(--bf-rule-strong); }
.seg label { display: inline-flex; }
.seg input { position: absolute; opacity: 0; width: 1px; height: 1px; }
.seg span { padding: 4px 10px; font-size: var(--bf-size-s); cursor: pointer; border-right: var(--bf-rule-width) solid var(--bf-rule); }
.seg label:last-child span { border-right: 0; }
.seg input:checked + span { background: var(--bf-accent); color: var(--bf-accent-ink); }
.seg input:focus-visible + span { outline: 2px solid var(--bf-accent); outline-offset: -2px; }
.seg input:disabled + span { opacity: .55; cursor: default; }
.seg.small span { padding: 2px 8px; }
.ctl-cols { grid-template-columns: minmax(0, 1.4fr) minmax(0, 1fr); }
@media (max-width: 960px) { .ctl-cols { grid-template-columns: minmax(0, 1fr); } }
.sticky { position: sticky; top: calc(env(safe-area-inset-top, 0px) + 8px); align-self: start; }
@media (max-width: 960px) { .sticky { position: static; } }
table.cmp { font-size: var(--bf-size-s); }
table.cmp th { position: static; }
table.cmp td { white-space: normal; }
.notes { margin: 6px 0 0; padding-left: 18px; color: var(--bf-ink-2); }
.applybar { position: sticky; bottom: env(safe-area-inset-bottom, 0px); display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: center; justify-content: flex-end; padding: 10px var(--bf-pad); background: var(--bf-surface); border: var(--bf-rule-width) solid var(--bf-rule-strong); z-index: 5; }
.applybar > span:first-child { margin-right: auto; font-size: var(--bf-size-s); }
.tag { font-size: var(--bf-size-xs); border: var(--bf-rule-width) solid var(--bf-rule-strong); padding: 0 5px; white-space: nowrap; }
.tag.forced { color: var(--bf-original); border-color: var(--bf-original); }

/* Closeness: shared */
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.mh-k { font-size: var(--bf-size-xs); text-transform: uppercase; letter-spacing: .08em; color: var(--bf-ink-3); }
.bridge-banner { display: block; overflow: visible; }
.mh-bridge, .lh-bridge { position: relative; display: inline-flex; flex-direction: column; align-items: stretch; padding-bottom: 16px; }
.mh-bridge .l, .mh-bridge .r, .lh-bridge .l, .lh-bridge .r { position: absolute; bottom: 0; font-size: var(--bf-size-xs); color: var(--bf-ink-3); white-space: nowrap; }
.mh-bridge .l, .lh-bridge .l { left: 0; } .mh-bridge .r, .lh-bridge .r { right: 0; }

/* Fingerprint match */
.matchhero { border: var(--bf-rule-width) solid var(--bf-rule); border-top: var(--bf-panel-top); background: var(--bf-surface); padding: var(--bf-pad); display: flex; flex-direction: column; gap: 14px; min-width: 0; }
.mh-top { display: grid; grid-template-columns: minmax(0, 1fr) auto auto; gap: 12px 24px; align-items: end; }
.mh-id { display: flex; flex-direction: column; gap: 2px; min-width: 0; }
.mh-id h3 { font: var(--bf-weight-strong) var(--bf-size-xl)/1.1 var(--bf-font-mono); overflow-wrap: anywhere; }
.mh-meta { color: var(--bf-ink-2); font-size: var(--bf-size-s); }
.mh-actions { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; justify-content: flex-end; }
@media (max-width: 900px) { .mh-top { grid-template-columns: minmax(0, 1fr); } .mh-bridge { display: none; } .mh-actions { justify-content: flex-start; } }
.mh-att { display: flex; flex-wrap: wrap; gap: 6px 12px; align-items: center; }
.mh-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: var(--bf-gap); }
@media (max-width: 980px) { .mh-grid { grid-template-columns: minmax(0, 1fr); } }
.mcard { background: var(--bf-stage-bg); color: var(--bf-stage-ink); border: var(--bf-rule-width) solid var(--bf-stage-rule); border-radius: var(--bf-radius); padding: 14px 14px 10px; display: flex; flex-direction: column; gap: 6px; min-width: 0; }
.mcard header { display: flex; justify-content: space-between; align-items: flex-start; gap: 10px; flex-wrap: wrap; }
.mcard h4 { margin: 0; font-size: var(--bf-size-m); font-weight: var(--bf-weight-strong); }
.mcard .sub { font-size: var(--bf-size-s); color: var(--bf-stage-ink-2); }
.mpct { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.mpct b { font: var(--bf-weight-strong) var(--bf-size-hero)/1 var(--bf-font-display); letter-spacing: -.01em; min-width: 3.2ch; }
.mpct span { color: var(--bf-stage-ink-2); font-size: var(--bf-size-s); }
.mnote { margin: 0; color: var(--bf-stage-ink-2); font-size: var(--bf-size-s); min-height: 2.6em; }
.mh-foot { margin: 0; color: var(--bf-ink-2); font-size: var(--bf-size-s); max-width: 110ch; }
.mh-foot b { color: var(--bf-ink); font-family: var(--bf-font-mono); }
.proof { display: inline-flex; align-items: center; gap: 7px; font-size: var(--bf-size-s); padding: 3px 9px; border: var(--bf-rule-width) solid var(--bf-ridge-match); background: var(--bf-stage-bg-2); white-space: nowrap; }
.proof i { width: 9px; height: 9px; display: inline-block; }
.proof b { font-family: var(--bf-font-mono); letter-spacing: .04em; }
.proof.no { border-style: dashed; border-color: var(--bf-stage-ink-2); color: var(--bf-stage-ink-2); }
.proof.no b { text-transform: uppercase; font-size: var(--bf-size-xs); }
.stage { position: relative; }
.stage-svg { display: block; width: 100%; height: auto; aspect-ratio: 520 / 320; }
.stage-svg .foot { fill: var(--bf-stage-ink-2); font: 10px var(--bf-font-mono); letter-spacing: .14em; }
.stage-svg .hud { fill: var(--bf-stage-ink-2); font: 10px var(--bf-font-mono); letter-spacing: .1em; }
.stage-svg .hud.ok { fill: var(--bf-ridge-match); } .stage-svg .hud.warn { fill: var(--bf-stage-warn); }
.stage-svg .bands { opacity: var(--bf-bridge-opacity); }
.stage-svg .print path { fill: none; stroke-linecap: round; transition: stroke .25s, opacity .25s, stroke-width .2s; }
.stage-svg .print .r { stroke-width: 1.45; }
.stage-svg .print .e { stroke-width: 1; opacity: .7; }
.stage-svg .orig path { stroke: var(--bf-ridge); }
.stage-svg .reb path { stroke: var(--bf-ridge-2); opacity: .7; }
.stage-svg path.on.match { stroke: var(--bf-ridge-match); }
.stage-svg .reb path.on.match { opacity: .5; }
.stage-svg .orig path.on.diff { opacity: .55; }
.stage-svg .reb path.on.diff, .stage-svg .reb path.on.extra { stroke: var(--bf-stage-warn); opacity: 1; stroke-width: 1.7; }
.stage-svg .orig path.on.miss { stroke: var(--bf-stage-warn); stroke-dasharray: 2 2.5; }
.stage-svg .e.on.diff { stroke: var(--bf-stage-warn); }
.stage-svg.hl-on .print path:not(.hl) { opacity: .18; }
.stage-svg .print path.hl { stroke: var(--bf-stage-ink); stroke-width: 2.6; opacity: 1; }
.stage-svg .mk circle { fill: none; stroke: var(--bf-stage-warn); stroke-width: 1.3; }
.stage-svg .mk path { fill: none; stroke: var(--bf-stage-warn); stroke-width: .8; opacity: .85; }
.stage-svg .mk text, .stage-svg .mk-more { fill: var(--bf-stage-warn); font: 9.5px var(--bf-font-mono); }
.stage-svg .mk.pop { animation: bf-pop .4s var(--bf-ease) both; animation-delay: var(--d, 0ms); transform-box: fill-box; transform-origin: center; }
@keyframes bf-pop { from { opacity: 0; transform: scale(.6); } to { opacity: 1; transform: none; } }

.trend { position: relative; }
.trend svg { display: block; width: 100%; height: auto; overflow: visible; }
.trend .grid { stroke: var(--bf-rule); stroke-width: 1; }
.trend .ref { stroke: var(--bf-ink-3); stroke-dasharray: 3 3; }
.trend .ax { fill: var(--bf-ink-3); font-size: 11px; }
.trend .refl, .trend .markl { fill: var(--bf-ink-2); }
.trend .tierl { fill: var(--bf-ink-2); }
.trend .band.b0 { fill: var(--bf-surface-alt); }
.trend .band.b1 { fill: transparent; }
.trend .mark { stroke: var(--bf-ink-3); stroke-dasharray: 2 3; }
.trend .line { fill: none; stroke: var(--bf-accent); stroke-width: 2; stroke-linejoin: round; }
.trend .best { fill: none; stroke: var(--bf-ink-2); stroke-width: 1.5; stroke-dasharray: 4 3; }
.trend .pt { fill: var(--bf-accent); stroke: var(--bf-surface); stroke-width: 2; }
.trend .pt.on { stroke: var(--bf-ink); }
.trend .nob { stroke: var(--bf-ink-3); stroke-width: 1.6; }
.trend .lvk { font: var(--bf-weight-strong) 11px var(--bf-font-mono); }
.trend .tp { cursor: pointer; outline: none; }
.trend .tp:focus-visible .pt, .trend .tp:hover .pt { stroke: var(--bf-ink); }
.trend svg.anim .line { stroke-dasharray: 1; stroke-dashoffset: 1; animation: bf-draw 1.5s var(--bf-ease) forwards; }
.trend svg.anim .best { opacity: 0; animation: bf-fade .6s 1.2s forwards; }
.trend svg.anim .tp { animation: bf-fade .35s both; animation-delay: var(--d); }
@keyframes bf-draw { to { stroke-dashoffset: 0; } }
@keyframes bf-fade { from { opacity: 0; } to { opacity: 1; } }
.trend .tip, .tmtip { position: absolute; z-index: 6; width: 250px; background: var(--bf-surface); border: var(--bf-rule-width) solid var(--bf-rule-strong); padding: 8px 10px; font-size: var(--bf-size-s); line-height: 1.6; pointer-events: none; box-shadow: 0 4px 16px rgba(0, 0, 0, .12); }
.trend .tip { transform: translateY(-100%); }

.adiff { border: var(--bf-rule-width) solid var(--bf-rule); background: var(--bf-code-bg); font: 12.5px/1.65 var(--bf-font-mono); overflow-x: auto; max-height: 560px; overflow-y: auto; }
.ad-h, .ad-r { display: grid; grid-template-columns: 3em minmax(16em, 1fr) 2em 3em minmax(16em, 1fr); min-width: 640px; }
.ad-h { position: sticky; top: 0; background: var(--bf-surface-alt); font: var(--bf-weight-strong) var(--bf-size-s)/1.5 var(--bf-font); color: var(--bf-ink-2); border-bottom: var(--bf-rule-width) solid var(--bf-rule); z-index: 1; }
.ad-h span { padding: 5px 8px; }
.ad-r > * { padding: 0 8px; white-space: pre; }
.ad-r .n { color: var(--bf-code-addr); text-align: right; user-select: none; }
.ad-r .g { text-align: center; font-weight: var(--bf-weight-strong); }
.ad-r.eq .g { color: var(--bf-good); }
.ad-r.chg { background: color-mix(in srgb, var(--bf-warn) 13%, transparent); }
.ad-r.del code:first-of-type, .ad-r.ins code:last-of-type { background: color-mix(in srgb, var(--bf-warn) 13%, transparent); }
.ad-r.del code:last-of-type, .ad-r.ins code:first-of-type { background: repeating-linear-gradient(135deg, transparent 0 5px, color-mix(in srgb, var(--bf-ink-3) 16%, transparent) 5px 6px); }
.ad-r.chg .g, .ad-r.del .g, .ad-r.ins .g { color: var(--bf-warn); }
.ad-r mark { background: color-mix(in srgb, var(--bf-warn) 35%, transparent); color: inherit; padding: 0 1px; }
.ad-r:hover { outline: 1px solid var(--bf-ink-3); outline-offset: -1px; }
.ad-skip { padding: 2px 8px; text-align: center; color: var(--bf-ink-3); font: var(--bf-size-xs)/1.8 var(--bf-font); border-block: var(--bf-rule-width) dashed var(--bf-rule); min-width: 640px; }
.adiff-empty { padding: 10px 0; color: var(--bf-ink-3); font-size: var(--bf-size-s); }
.sw.dsw.eq { background: var(--bf-good); } .sw.dsw.chg { background: var(--bf-warn); } .sw.dsw.del, .sw.dsw.ins { background: color-mix(in srgb, var(--bf-warn) 45%, transparent); }

/* Library closeness */
.libhero { border: var(--bf-rule-width) solid var(--bf-rule); border-top: var(--bf-panel-top); background: var(--bf-surface); padding: var(--bf-pad); display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr) minmax(0, 1.1fr); gap: 16px 28px; align-items: start; }
.lh-num { display: flex; flex-direction: column; gap: 6px; }
.lh-big { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.lh-big b { font: var(--bf-weight-strong) calc(var(--bf-size-hero) * 1.25)/1 var(--bf-font-display); letter-spacing: -.02em; }
.lh-big span { color: var(--bf-ink-2); font-size: var(--bf-size-s); max-width: 30ch; }
.lh-stats { display: grid; grid-template-columns: 1fr 1fr; gap: 0 16px; border-top: var(--bf-rule-width) solid var(--bf-rule); }
.lh-stats div { padding: 7px 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); display: flex; flex-direction: column; }
.lh-stats span { font-size: var(--bf-size-xs); color: var(--bf-ink-3); text-transform: uppercase; letter-spacing: .05em; }
.lh-stats b { font-size: var(--bf-size-l); }
.lh-proof { display: flex; flex-direction: column; gap: 8px; }
.lh-proof .legend { flex-direction: column; gap: 3px; }
.lh-note { grid-column: 1 / -1; margin: 0; color: var(--bf-ink-2); font-size: var(--bf-size-s); max-width: 110ch; }
@media (max-width: 980px) { .libhero { grid-template-columns: minmax(0, 1fr); } }
.tmwrap { position: relative; }
.tm { position: relative; overflow: hidden; width: 100%; min-height: 340px; }
.tmt { position: absolute; overflow: hidden; text-decoration: none; padding: 3px 5px; display: flex; flex-direction: column; justify-content: flex-end; font-size: var(--bf-size-xs); line-height: 1.3; border-radius: var(--bf-radius); transition: left var(--bf-dur) var(--bf-ease), top var(--bf-dur) var(--bf-ease), width var(--bf-dur) var(--bf-ease), height var(--bf-dur) var(--bf-ease), background-color .5s, color .5s, opacity .3s; }
.tmt .tn, .tmt .tv, .tmt .tl { display: none; }
.tmt.mid .tn { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tmt.big .tv { display: block; font-size: var(--bf-size-s); font-weight: var(--bf-weight-strong); }
.tmt.mid .tl { display: block; position: absolute; top: 3px; right: 4px; font: var(--bf-weight-strong) 10px/1.3 var(--bf-font-mono); border: 1px solid currentColor; padding: 0 3px; opacity: .85; }
.tmt.none { background: repeating-linear-gradient(45deg, var(--bf-close-none) 0 4px, transparent 4px 7px) !important; color: var(--bf-ink-2) !important; box-shadow: inset 0 0 0 1px var(--bf-rule); }
.tmt:hover, .tmt:focus-visible { outline: 2px solid var(--bf-ink); outline-offset: -2px; z-index: 2; }
.tmt.dimmed { opacity: .14; }
.tmg { position: absolute; height: 18px; font-size: var(--bf-size-xs); color: var(--bf-ink-2); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; padding: 2px 2px 0; pointer-events: none; transition: left var(--bf-dur) var(--bf-ease), top var(--bf-dur) var(--bf-ease); }
.tmtip { display: flex; flex-direction: column; gap: 1px; }
.tmtip .tt-row { display: grid; grid-template-columns: 5.5em auto 1fr; gap: 8px; align-items: baseline; }
.tmtip .tt-row span:first-child { color: var(--bf-ink-3); }
.tmtip .tt-row em { font-style: normal; color: var(--bf-ink-3); }
.ramp { display: inline-flex; }
.ramp i { width: 22px; height: 10px; display: inline-block; }
.sw.hatch { background: repeating-linear-gradient(45deg, var(--bf-close-none) 0 3px, var(--bf-ink-3) 3px 4px); }
#hist .ax { fill: var(--bf-ink-3); font-size: 11px; }
#hist .hb { cursor: pointer; outline: none; }
#hist .hb:focus-visible .m { stroke: var(--bf-accent); stroke-width: 2; }
.thumb path { fill: none; stroke: currentColor; stroke-width: 1.6; }

@media (prefers-reduced-motion: reduce) {
  .tmt, .tmg, .stage-svg .print path { transition: none; }
  .trend svg.anim .line, .trend svg.anim .best, .trend svg.anim .tp, .stage-svg .mk.pop { animation: none; stroke-dashoffset: 0; opacity: 1; }
}
.ad-h .narrow { display: none; }
@media (max-width: 700px) {
  .ad-h, .ad-r { grid-template-columns: 2.6em minmax(0, 1fr) 1.6em; min-width: 0; }
  .ad-h > :nth-child(n+3) { display: none; }
  .ad-h .wide { display: none; } .ad-h .narrow { display: inline; }
  .ad-r { border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
  .ad-r > * { white-space: pre-wrap; overflow-wrap: anywhere; }
  .ad-r > :nth-child(4) { grid-column: 1; grid-row: 2; }
  .ad-r > :nth-child(5) { grid-column: 2 / 4; grid-row: 2; }
  .ad-skip { min-width: 0; }
}

/* Theme picker */
.tp-dlg { width: min(680px, calc(100vw - 32px)); }
.tp-dlg fieldset, .tp-inline fieldset { border: 0; padding: 0; margin: 0 0 14px; min-width: 0; display: flex; flex-direction: column; gap: 6px; }
.tp-dlg legend, .tp-inline legend { font-size: var(--bf-size-xs); text-transform: var(--bf-head-case); letter-spacing: var(--bf-head-track); color: var(--bf-ink-2); padding: 0; margin-bottom: 6px; }
.tp-dlg fieldset[disabled], .tp-inline fieldset[disabled] { opacity: .55; }
.tp-fams { display: grid !important; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 10px !important; }
@media (max-width: 560px) { .tp-fams { grid-template-columns: minmax(0, 1fr); } }
.tp-card { position: relative; display: flex; flex-direction: column; gap: 4px; padding: 10px; cursor: pointer; background: var(--bf-surface); color: var(--bf-ink); border: var(--bf-rule-width) solid var(--bf-rule-strong); border-top: var(--bf-panel-top); border-radius: var(--bf-radius); font-family: var(--bf-font); }
.tp-card input { position: absolute; opacity: 0; width: 1px; height: 1px; }
.tp-card b { font: var(--bf-weight-strong) var(--bf-size-m)/1.2 var(--bf-font-display); }
.tp-card .tp-d { font-size: var(--bf-size-xs); color: var(--bf-ink-2); }
.tp-prev { display: flex; height: 26px; margin-bottom: 4px; border: var(--bf-rule-width) solid var(--bf-rule); }
.tp-prev i { flex: 1; }
.tp-prev .a { background: var(--bf-bg); } .tp-prev .b { background: var(--bf-accent); } .tp-prev .c { background: var(--bf-l2); } .tp-prev .d { background: var(--bf-stage-bg); }
.tp-card:has(input:checked) { outline: 3px solid var(--bf-accent); outline-offset: 1px; }
:root .tp-card:has(input:focus-visible) { outline: 3px solid var(--bf-ink); outline-offset: 2px; }
.tp-card:has(input:checked)::after { content: "Selected"; position: absolute; top: 8px; right: 8px; font-size: var(--bf-size-xs); color: var(--bf-accent-ink); background: var(--bf-accent); padding: 0 6px; }
.tp-auto .tg { flex-wrap: wrap; }
.tp-auto input[type=time] { width: auto; }

/* Live runs and live function status */
.dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; background: var(--bf-idle); margin-right: 6px; vertical-align: middle; flex: none; }
.dot.live { background: var(--bf-good); box-shadow: 0 0 0 0 color-mix(in srgb, var(--bf-good) 60%, transparent); animation: bf-pulse 1.6s infinite; }
@keyframes bf-pulse { 0% { box-shadow: 0 0 0 0 color-mix(in srgb, var(--bf-good) 55%, transparent); } 70% { box-shadow: 0 0 0 7px transparent; } 100% { box-shadow: 0 0 0 0 transparent; } }
.feed { display: inline-flex; align-items: center; font-size: var(--bf-size-s); color: var(--bf-ink-2); margin-right: 8px; }
.runsum { display: flex; flex-wrap: wrap; gap: 4px 22px; font-size: var(--bf-size-s); color: var(--bf-ink-2); }
.runsum b { color: var(--bf-ink); font-size: var(--bf-size-m); }
.prog { display: flex; flex-direction: column; gap: 3px; min-width: 150px; }
.prog .bar { display: block; height: 6px; background: var(--bf-surface-alt); border: var(--bf-rule-width) solid var(--bf-rule); }
.prog .bar i { display: block; height: 100%; background: var(--bf-accent); transition: width var(--bf-dur) var(--bf-ease); }
.lvstrip { display: inline-flex; width: 140px; height: 8px; gap: 1px; }
.lvstrip i { display: block; height: 100%; }
.newtag { color: var(--bf-accent); border-color: var(--bf-accent); }
tr.new td { animation: bf-newrow 2.4s var(--bf-ease); }
@keyframes bf-newrow { from { background: color-mix(in srgb, var(--bf-accent) 22%, transparent); } to { background: transparent; } }
tr.chg td { animation: bf-chg 1.4s var(--bf-ease); }
@keyframes bf-chg { from { background: color-mix(in srgb, var(--bf-accent) 16%, transparent); } to { background: transparent; } }
tr.active td:first-child { box-shadow: inset 3px 0 0 var(--bf-good); }
.now-cell { min-width: 170px; }
.now-cell small { display: block; font-size: var(--bf-size-xs); color: var(--bf-ink-2); margin-top: 2px; }
.now { display: inline-flex; align-items: center; font-weight: var(--bf-weight-strong); }
.now.done { font-weight: 400; color: var(--bf-ink-2); }
.livebar { display: flex; gap: 8px; align-items: center; border-left-color: var(--bf-good); }
@media (prefers-reduced-motion: reduce) { .dot.live, tr.new td, tr.chg td { animation: none; } .prog .bar i { transition: none; } }

/* Application structure view */
.structop { display: flex; flex-wrap: wrap; gap: 10px 16px; align-items: center; justify-content: space-between; }
.smod { gap: 10px; }
.sfiles { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 12px; }
.sfile { border: var(--bf-rule-width) solid var(--bf-rule); border-radius: var(--bf-radius); background: var(--bf-surface-alt); min-width: 0; }
.sfile > header { display: flex; align-items: center; gap: 8px; padding: 7px 10px; border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
.sfile > header h3 { font-size: var(--bf-size-s); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; flex: 1; min-width: 0; }
.statusbar { display: inline-flex; width: 72px; height: 8px; gap: 1px; flex: none; }
.statusbar i { display: block; height: 100%; }
.fnodes { display: flex; flex-wrap: wrap; gap: 4px; padding: 8px; }
.fnode { display: inline-flex; align-items: center; gap: 5px; max-width: 100%; text-decoration: none; color: var(--bf-ink); font-size: var(--bf-size-xs);
  border: var(--bf-rule-width) solid var(--bf-rule-strong); border-left: 3px solid var(--c); border-radius: var(--bf-radius); padding: 2px 7px; background: var(--bf-surface); }
.fnode:hover, .fnode:focus-visible { border-color: var(--bf-ink); outline: none; }
.fnode .sw { display: inline-flex; width: 8px; height: 8px; border-radius: 50%; background: var(--c); flex: none; }
.fnode.prog .sw { background: transparent; width: auto; }
.fnode .fn { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.fnode .k { font-family: var(--bf-font-mono); font-weight: var(--bf-weight-strong); font-size: 10px; color: var(--c); }
.sfrow td { vertical-align: middle; }
.sfrow .wrap { white-space: normal; display: flex; flex-wrap: wrap; gap: 4px; }
.pill { display: inline-flex; align-items: center; gap: 4px; text-decoration: none; color: var(--bf-ink); font-size: var(--bf-size-xs);
  border: var(--bf-rule-width) solid var(--bf-rule); border-left: 3px solid var(--c); border-radius: var(--bf-radius); padding: 1px 6px; }
.pill:hover { border-color: var(--bf-ink); }

/* ---- jobs: main navigation, queue, cost bars, wizard, dialogs ---- */
.mainnav { display: flex; gap: 0; border-bottom: var(--bf-rule-width) solid var(--bf-rule); padding: 0 var(--bf-pad); }
.mainnav:empty { display: none; }
.mainnav a { padding: 8px 14px; text-decoration: none; color: var(--bf-ink-2); border-bottom: 2px solid transparent; }
.mainnav a[aria-current="page"] { color: var(--bf-ink); border-bottom-color: var(--bf-accent); }
table.jobs td.acts { min-width: 150px; }
table.jobs td.acts .btn { margin: 0 4px 4px 0; }
table.jobs tr.pinned td { background: color-mix(in srgb, var(--bf-warn) 8%, var(--bf-surface)); }
table.jobs tr.over-amber td:first-child { box-shadow: inset 3px 0 0 var(--bf-warn); }
table.jobs tr.over-red td:first-child { box-shadow: inset 3px 0 0 var(--bf-crit); }
.warnline { display: block; color: var(--bf-warn); font-size: var(--bf-size-xs); }
.cost { display: flex; flex-direction: column; gap: 3px; min-width: 170px; }
.cost.warn .costbar .spent { background: var(--bf-warn); } .cost.crit .costbar .spent { background: var(--bf-crit); }
.costbar { position: relative; display: block; height: 8px; background: var(--bf-surface-alt); border: var(--bf-rule-width) solid var(--bf-rule); }
.costbar i { position: absolute; top: 0; bottom: 0; display: block; }
.costbar .band { background: color-mix(in srgb, var(--bf-ink-3) 35%, transparent); }
.costbar .spent { left: 0; background: var(--bf-accent); height: 4px; top: 1px; }
.costbar .captick { width: 2px; background: var(--bf-ink); }
.tag.uncapped { color: var(--bf-warn); border-color: var(--bf-warn); }
.tag.good { color: var(--bf-good); border-color: var(--bf-good); } .tag.warn { color: var(--bf-warn); border-color: var(--bf-warn); }
.tag.prod { text-transform: none; }
.notice.good { border-left-color: var(--bf-good); } .notice.warn { border-left-color: var(--bf-warn); }
.estimate { display: flex; flex-direction: column; gap: 4px; border: var(--bf-rule-width) solid var(--bf-rule); padding: 10px 12px; background: var(--bf-surface); }
.estimate .big { font-size: 1.5em; }
.estimate .calib { margin-top: 4px; }
.st.good { color: var(--bf-good); } .st.warn { color: var(--bf-warn); } .st.crit { color: var(--bf-crit); }
.facts { display: flex; gap: 20px; flex-wrap: wrap; margin: 4px 0 8px; }
.facts-grid { display: grid; grid-template-columns: max-content 1fr; gap: 3px 16px; margin: 8px 0; }
.facts-grid dt { color: var(--bf-ink-3); }
table.limits { width: 100%; margin: 8px 0; }
dialog.dlg.wide { width: min(720px, calc(100vw - 32px)); }
.amt { display: flex; gap: 8px; align-items: center; }
label.check { display: flex; gap: 8px; align-items: baseline; color: var(--bf-ink); }
.row-btns.left { justify-content: flex-start; margin: 6px 0; }
.row-line { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.steps { list-style: none; display: flex; gap: 4px; padding: 0; margin: 0 0 6px; flex-wrap: wrap; }
.steps li button { border: var(--bf-rule-width) solid var(--bf-rule); background: var(--bf-surface); padding: 5px 10px; cursor: pointer; color: var(--bf-ink-2); font-size: var(--bf-size-s); }
.steps li.cur button { border-color: var(--bf-accent); color: var(--bf-ink); }
.steps li.done button { color: var(--bf-good); }
.steps li.skip { display: none; }
.steps li button[disabled] { opacity: .45; cursor: default; }
.drop { border: 2px dashed var(--bf-rule-strong); padding: 28px; text-align: center; background: var(--bf-surface); }
.drop.over { border-color: var(--bf-accent); background: var(--bf-surface-alt); }
fieldset.products { border: var(--bf-rule-width) solid var(--bf-rule); display: flex; flex-direction: column; gap: 6px; padding: 8px 12px; }
label.opt { display: flex; gap: 8px; align-items: flex-start; } label.opt.off { color: var(--bf-ink-3); }
label.opt small { display: block; }
.timeline { list-style: none; padding: 0; margin: 0; display: flex; flex-direction: column; gap: 3px; }
.timeline time { color: var(--bf-ink-3); margin-right: 8px; font-size: var(--bf-size-xs); }
.panel.wizard textarea.inp { width: 100%; font-family: var(--bf-mono, monospace); }

/* ---- Job view: Assess | Rebuild or Mapping | Verify. One layout; themes change colours and type only. ---- */
.jv-top .jv-bar { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.jv-search { flex: 1 1 220px; max-width: 360px; } .jv-search .inp { width: 100%; }
.jv-totals { grid-template-columns: repeat(auto-fit, minmax(120px, 1fr)); }
.jv-chips .chip { padding: 4px 10px; } .jv-chips .chip small { color: var(--bf-ink-3); } .jv-chips .chip b { font-family: var(--bf-font-mono); }
.jv-hb { padding: 6px 10px; }
.jv-listpanel { padding: 0; gap: 0; }
.jv-head, .jv-row { display: grid; grid-template-columns: minmax(180px, 1.15fr) minmax(170px, 1.2fr) minmax(220px, 1.5fr); gap: 0; }
.jv-head { border-bottom: var(--bf-rule-width) solid var(--bf-rule-strong); background: var(--bf-surface-alt); }
.jv-h { padding: 8px 12px; display: flex; flex-direction: column; gap: 1px; position: relative; }
.jv-h b { font: var(--bf-weight-strong) var(--bf-size-s)/1.2 var(--bf-font); text-transform: var(--bf-head-case); letter-spacing: var(--bf-head-track); }
.jv-h span { font-size: var(--bf-size-xs); color: var(--bf-ink-2); }
.jv-h + .jv-h, .jv-cell + .jv-cell { border-left: 1px solid var(--bf-rule); }
.jv-scroll { position: relative; height: clamp(320px, calc(100vh - 430px), 760px); overflow-y: auto; overflow-x: hidden; contain: strict; }
.jv-spacer { position: relative; }
.jv-row, .jv-group { position: absolute; left: 0; right: 0; top: 0; box-sizing: border-box; border-bottom: var(--bf-rule-width) solid var(--bf-rule); }
.jv-row { cursor: pointer; background: var(--bf-surface); }
.jv-row:hover { background: var(--bf-surface-alt); }
.jv-row.sel { outline: 2px solid var(--bf-accent); outline-offset: -2px; background: var(--bf-surface-alt); }
.jv-row:focus-visible, .jv-group:focus-visible { outline: 2px solid var(--bf-accent); outline-offset: -2px; }
.jv-row.isgap { background: repeating-linear-gradient(135deg, transparent 0 7px, color-mix(in srgb, var(--bf-original) 10%, transparent) 7px 9px); }
.jv-cell { padding: 6px 12px; display: flex; flex-direction: column; justify-content: center; gap: 2px; min-width: 0; position: relative; font-size: var(--bf-size-s); overflow: hidden; }
.jv-cell b, .jv-cell small { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.jv-cell small { color: var(--bf-ink-2); font-size: var(--bf-size-xs); }
.jv-cell.on { box-shadow: inset 3px 0 0 var(--bf-accent); }
.jv-cell.on.testing { box-shadow: inset 3px 0 0 var(--bf-good); }
.jv-cell.gap { box-shadow: inset 3px 0 0 var(--bf-original); }
.jv-gap { color: var(--bf-original); font-weight: var(--bf-weight-strong); border: 1px dashed var(--bf-original); padding: 0 6px; width: fit-content; }
h3.jv-gap { border: 0; padding: 0; }
.jv-res { display: inline-flex; gap: 6px; align-items: baseline; flex-wrap: wrap; }
.jv-res i { width: 9px; height: 9px; display: inline-block; align-self: center; background: var(--bf-na); }
.jv-res small { color: var(--bf-ink-3); } .jv-res em { font-style: normal; font-size: var(--bf-size-xs); color: var(--bf-ink-2); border: 1px solid var(--bf-rule-strong); padding: 0 4px; }
.jv-res.S2 i { background: var(--bf-l4); } .jv-res.S1 i { background: var(--bf-l2); } .jv-res.F2 i { background: var(--bf-l1); } .jv-res.F1 i { background: var(--bf-l0); }
.jv-cell .jv-res b { white-space: normal; }
.jv-group { display: flex; align-items: center; gap: 10px; padding: 0 12px; background: var(--bf-surface-alt); cursor: pointer; font-size: var(--bf-size-s); }
.jv-mini { font: var(--bf-size-xs) var(--bf-font-mono); border: 1px solid var(--bf-rule-strong); padding: 0 5px; }
.jv-mini.jv-F1 { color: var(--bf-l0); } .jv-mini.jv-F2 { color: var(--bf-l1); } .jv-mini.jv-GAP { color: var(--bf-original); border-style: dashed; }
.jv-empty { padding: 24px 12px; }
.jv-detail .jv-flow { display: grid; grid-template-columns: minmax(0, 1fr) 28px minmax(0, 1.2fr) 28px minmax(0, 1.2fr); gap: 8px; align-items: start; }
.jv-detail h3 { margin: 0 0 6px; font-size: var(--bf-size-m); } .jv-detail dl { display: grid; grid-template-columns: auto 1fr; gap: 2px 12px; margin: 0; font-size: var(--bf-size-s); }
.jv-detail dt { color: var(--bf-ink-3); } .jv-detail dd { margin: 0; overflow-wrap: anywhere; }
.jv-arrow { align-self: center; text-align: center; color: var(--bf-ink-3); font-size: 22px; }
.jv-links { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 4px; }
.jv-row.moved .jv-cell.on { animation: jv-flow .9s var(--bf-ease); }
@keyframes jv-flow { from { transform: translateX(-36px); opacity: .15; background: color-mix(in srgb, var(--bf-accent) 22%, transparent); } to { transform: none; opacity: 1; } }
@media (max-width: 900px) { .jv-head, .jv-row { grid-template-columns: 1.2fr 1fr 1.2fr; } .jv-detail .jv-flow { grid-template-columns: 1fr; } .jv-arrow { transform: rotate(90deg); } }
@media (prefers-reduced-motion: reduce) { .jv-row.moved .jv-cell.on { animation: none; } }

/* filter bar, sortable headers and pager shared by Runs and Jobs */
.filters { display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: flex-end; }
.filters .f { display: flex; flex-direction: column; gap: 2px; font-size: var(--bf-size-xs); color: var(--bf-ink-3); }
.filters .f input, .filters .f select { min-width: 9rem; }
.filters .f input[type="number"] { min-width: 7rem; width: 7rem; }
.filters .f-count { margin-left: auto; color: var(--bf-ink-2); font-size: var(--bf-size-s); align-self: center; }
.msel { position: relative; }
.msel > summary { list-style: none; cursor: pointer; border: var(--bf-rule-width) solid var(--bf-rule-strong); background: var(--bf-surface); border-radius: var(--bf-radius); padding: 5px 10px; font-size: var(--bf-size-s); display: inline-flex; gap: 6px; align-items: center; }
.msel > summary::-webkit-details-marker { display: none; }
.msel > summary::after { content: "▾"; color: var(--bf-ink-3); }
.msel.on > summary { border-color: var(--bf-ink); }
.msel-list { position: absolute; z-index: 5; top: calc(100% + 2px); left: 0; min-width: 12rem; max-height: 18rem; overflow: auto; background: var(--bf-surface); border: var(--bf-rule-width) solid var(--bf-rule-strong); border-radius: var(--bf-radius); padding: 6px 8px; display: flex; flex-direction: column; gap: 4px; font-size: var(--bf-size-s); }
.msel-list label { display: flex; gap: 6px; align-items: center; white-space: nowrap; cursor: pointer; }
th .sortmark { color: var(--bf-ink-2); min-width: 1em; }
.pager { display: flex; gap: 8px; align-items: center; justify-content: flex-end; }
.pager:empty { display: none; }
.fn-table td { vertical-align: middle; } .fn-table .row-btns { display: flex; gap: 6px; justify-content: flex-end; flex-wrap: wrap; }
.fn-table tr[data-stage="held"] .fn-stage, .fn-table tr[data-stage="pausing"] .fn-stage { color: var(--bf-warn, #b26a00); font-weight: 600; }
.fn-table tr[data-stage="skipped"] { opacity: .75; }
.rb-card { border: var(--bf-rule-width) solid var(--bf-rule); padding: 8px 12px; margin: 8px 0; background: var(--bf-surface); }
.rb-targets td { vertical-align: top; } .rb-counts { display: inline-flex; gap: 12px; flex-wrap: wrap; }
.rb-log { max-height: 16rem; overflow: auto; font-size: var(--bf-size-xs); white-space: pre-wrap; background: var(--bf-surface); border: var(--bf-rule-width) solid var(--bf-rule); padding: 8px; }

/* Archive: row selection, the Active/Archived switch and the action bar */
th.sel, td.sel { width: 2.5rem; padding: 0; text-align: center; vertical-align: middle; }
th.sel { padding: 7px 0; }
.selbox { display: flex; align-items: center; justify-content: center; min-width: 44px; min-height: 44px; cursor: pointer; }   /* a finger-sized target */
td.sel input, th.sel input { width: 1.1rem; height: 1.1rem; margin: 0; cursor: pointer; }
td.sel input:disabled { cursor: not-allowed; opacity: .4; }
.archtabs { margin-top: 8px; }
.archnote { margin: 6px 0 0; }
.archmsg { display: none; align-items: center; gap: 10px; flex-wrap: wrap; margin: 6px 0; padding: 6px 10px; border: var(--bf-rule-width) solid var(--bf-rule); border-left: 3px solid var(--bf-good); background: var(--bf-surface); font-size: var(--bf-size-s); }
.archmsg.on { display: flex; }
.selbar { position: sticky; bottom: 0; z-index: 3; display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: center; padding: 8px 12px; margin-top: 6px;
  background: var(--bf-surface); border: var(--bf-rule-width) solid var(--bf-rule-strong); border-top: 3px solid var(--bf-accent); padding-bottom: max(8px, env(safe-area-inset-bottom)); }
.selbar[hidden] { display: none; }
.selbar .selcount { margin-right: auto; }
@media (max-width: 700px) { .selbar .btn, .archmsg .btn { min-height: 44px; } .selbar .btn.primary { flex: 1 1 100%; justify-content: center; } }

/* ---- UX Redesign: 3-item mainnav CTA, Step Strip, Next-Step Banner, Slide-Over Inspector Drawer ---- */
.mainnav a.nav-cta { margin-left: auto; align-self: center; padding: 4px 12px; border: var(--bf-rule-width) solid var(--bf-accent); background: var(--bf-accent); color: var(--bf-accent-ink); border-radius: var(--bf-radius); font-size: var(--bf-size-s); font-weight: var(--bf-weight-strong); }
.mainnav a.nav-cta[aria-current="page"] { border-bottom-color: var(--bf-accent); }

.ux-workspace { display: flex; gap: var(--bf-gap); align-items: flex-start; min-width: 0; }
.ux-main { flex: 1 1 0%; min-width: 0; }
.ux-drawer { flex: 0 0 min(520px, 46vw); max-width: 560px; position: sticky; top: 12px; max-height: calc(100vh - 24px); overflow-y: auto; border: var(--bf-rule-width) solid var(--bf-rule-strong); border-top: var(--bf-panel-top); border-radius: var(--bf-radius); background: var(--bf-surface); padding: var(--bf-pad); display: flex; flex-direction: column; gap: 12px; box-shadow: -4px 0 18px rgba(0, 0, 0, .08); z-index: 4; }
.ux-drawer-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 10px; border-bottom: var(--bf-rule-width) solid var(--bf-rule); padding-bottom: 8px; }
.ux-drawer-body { display: flex; flex-direction: column; gap: 12px; min-width: 0; }
@media (max-width: 980px) {
  .ux-workspace { flex-direction: column; }
  .ux-drawer { flex: 1 1 auto; width: 100%; max-width: 100%; position: static; max-height: none; }
}

.ux-step-strip { display: flex; flex-wrap: wrap; gap: 6px; align-items: stretch; padding: 6px 0; }
.ux-step { flex: 1 1 130px; display: flex; flex-direction: column; gap: 4px; text-align: left; padding: 8px 10px; border: var(--bf-rule-width) solid var(--bf-rule-strong); border-left: 3px solid var(--bf-idle); border-radius: var(--bf-radius); background: var(--bf-surface); cursor: pointer; }
.ux-step:hover { border-color: var(--bf-ink); }
.ux-step.active { outline: 2px solid var(--bf-accent); outline-offset: 1px; background: var(--bf-surface-alt); }
.ux-step-done { border-left-color: var(--bf-good); }
.ux-step-running { border-left-color: var(--bf-accent); }
.ux-step-failed { border-left-color: var(--bf-crit); }
.ux-step-paused { border-left-color: var(--bf-warn); }
.ux-step-top { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; }
.ux-step-num { display: inline-flex; align-items: center; justify-content: center; width: 18px; height: 18px; border-radius: 50%; background: var(--bf-surface-alt); color: var(--bf-ink-2); font-size: var(--bf-size-xs); font-family: var(--bf-font-mono); }
.ux-step-label { font-size: var(--bf-size-s); margin-right: auto; }
.ux-step-counts { display: flex; flex-wrap: wrap; gap: 6px; font-size: var(--bf-size-xs); }
.ux-step-arrow { align-self: center; color: var(--bf-ink-3); font-size: var(--bf-size-s); user-select: none; }

.ux-next-banner { display: flex; justify-content: space-between; align-items: center; gap: 12px; flex-wrap: wrap; }
.ux-next-body { display: flex; flex-direction: column; gap: 2px; }
.fn-table tr.sel td, .lib-table tr.sel td { background: var(--bf-surface-alt); }


/* certified function library */
.libbar { display: flex; gap: var(--bf-gap-s); flex-wrap: wrap; align-items: center; margin-bottom: var(--bf-gap-s); }
.libbar .inp { flex: 1 1 22rem; }
.libgrid { display: grid; grid-template-columns: 15rem 1fr; gap: var(--bf-gap); align-items: start; }
.facets .facet { border: 0; padding: 0; margin: 0 0 var(--bf-gap); }
.facets legend { font-weight: var(--bf-weight-strong); padding: 0; margin-bottom: 4px; }
.facets label { display: flex; gap: 6px; align-items: baseline; font-size: var(--bf-size-s); }
.facets label .dim { margin-left: auto; }
@media (max-width: 900px) { .libgrid { grid-template-columns: 1fr; } }
pre.code { overflow: auto; max-height: 28rem; padding: var(--bf-gap-s); border: var(--bf-rule-width) solid var(--bf-rule); background: var(--bf-surface-alt); }
.stack { display: grid; gap: var(--bf-gap-s); max-width: 44rem; }
.stack label { display: grid; gap: 2px; }

/* Evidence detail under the F1/F2/S1/S2 label */
.tag.why { background: var(--bf-surface-2, transparent); border: 1px solid var(--bf-rule); color: var(--bf-ink-2); font-weight: 500; white-space: normal; }
.tag.ident.byte { border: 1px solid var(--bf-l4); }
.tag.ident.near { border: 1px dashed var(--bf-l3); }
.ev-checked { display: grid; grid-template-columns: repeat(auto-fill, minmax(170px, 1fr)); gap: 8px 16px; margin: 6px 0 12px; }
.ev-checked .ev-cell dt { font-size: 12px; color: var(--bf-ink-3); }
.ev-checked .ev-cell dd { margin: 0; font-weight: 600; overflow-wrap: anywhere; }
.jv-why { display: block; color: var(--bf-ink-2); }
#evBar { gap: 8px; flex-wrap: wrap; align-items: center; }