.svl-back-bar {
  margin-bottom: 8px;
}

.svl-page {
  width: 100%;
  min-width: 0;
  height: calc(100vh - var(--fn-header-height, 52px) - 40px);
  min-height: 620px;
  color: var(--fn-text);
  background: var(--fn-bg);
  overflow: hidden;
}

.svl-page-gate {
  display: grid;
  place-items: center;
  padding: 24px;
}

.svl-page-gate .svl-empty {
  width: min(100%, 520px);
  padding: 32px;
  text-align: center;
}

.svl-page button,
.svl-page input,
.svl-page select {
  font: inherit;
}

.svl-appbar {
  height: 48px;
  padding: 0 16px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid var(--fn-border);
  background: var(--fn-bg-alt);
}

.svl-brand,
.svl-brand > span:last-child,
.svl-global-state,
.svl-pane-head,
.svl-title-row,
.svl-run-top,
.svl-run-meta,
.svl-detail-title,
.svl-confidence {
  display: flex;
  align-items: center;
}

.svl-brand {
  gap: 10px;
}

.svl-brand > span:last-child {
  align-items: flex-start;
  flex-direction: column;
}

.svl-brand strong {
  font-size: 14px;
  font-weight: 650;
}

.svl-brand small,
.svl-global-state,
.svl-run-meta,
.svl-run time,
.svl-title-row p,
.svl-detail-title p,
.svl-footnote {
  color: var(--fn-text-tertiary);
  font-size: 11px;
}

.svl-brand-icon {
  width: 30px;
  height: 30px;
  display: grid;
  place-items: center;
  color: var(--fn-primary);
  background: var(--fn-accent-soft);
  border: 1px solid var(--fn-border-strong);
  border-radius: var(--fn-radius);
}

.svl-brand-icon svg,
.svl-icon-button svg,
.svl-badge svg {
  width: 16px;
  height: 16px;
}

.svl-global-state {
  gap: 7px;
}

.svl-live-dot,
.svl-status-dot {
  width: 7px;
  height: 7px;
  flex: 0 0 7px;
  border-radius: 50%;
  background: var(--fn-success);
}

.svl-appbody {
  height: calc(100% - 48px);
  display: grid;
  grid-template-columns: minmax(210px, 248px) minmax(520px, 1fr) minmax(260px, 310px);
  min-width: 0;
}

.svl-runs,
.svl-detail {
  min-width: 0;
  background: var(--fn-bg-alt);
  overflow: hidden;
}

.svl-runs {
  border-right: 1px solid var(--fn-border);
}

.svl-detail {
  border-left: 1px solid var(--fn-border);
}

.svl-pane-head {
  height: 43px;
  padding: 0 12px;
  gap: 8px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-pane-head h2 {
  margin: 0;
  font-size: 12px;
  font-weight: 650;
}

.svl-count {
  margin-left: auto;
  max-width: 100px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  color: var(--fn-text-tertiary);
  font: 10px var(--fn-font-mono);
}

.svl-run-filters,
.svl-result-filter,
.svl-tabs {
  display: flex;
}

.svl-run-filters {
  padding: 8px 10px;
  gap: 4px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-run-filters button,
.svl-result-filter button,
.svl-tabs button {
  border: 0;
  background: transparent;
  color: var(--fn-text-tertiary);
  cursor: pointer;
}

.svl-run-filters button {
  height: 24px;
  padding: 0 8px;
  border-radius: var(--fn-radius-sm);
  font-size: 10px;
}

.svl-run-filters button.active,
.svl-result-filter button.active {
  color: var(--fn-primary);
  background: var(--fn-accent-soft);
}

.svl-run-list {
  height: calc(100% - 84px);
  overflow: auto;
  padding: 6px;
}

.svl-run {
  width: 100%;
  min-height: 68px;
  padding: 10px;
  display: flex;
  flex-direction: column;
  gap: 7px;
  border: 1px solid transparent;
  border-radius: var(--fn-radius);
  background: transparent;
  color: var(--fn-text);
  text-align: left;
  cursor: pointer;
}

.svl-run:hover {
  background: var(--fn-bg-muted);
}

.svl-run.active {
  border-color: var(--fn-primary);
  background: var(--fn-accent-soft);
}

.svl-run-top {
  width: 100%;
  min-width: 0;
  gap: 7px;
}

.svl-run-name {
  min-width: 0;
  flex: 1;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
  font-size: 11.5px;
  font-weight: 600;
}

.svl-run-meta {
  justify-content: space-between;
}

.svl-run-progress {
  height: 3px;
  overflow: hidden;
  background: var(--fn-input-bg);
  border-radius: var(--fn-radius-pill);
}

.svl-run-progress span,
.svl-bar span {
  display: block;
  height: 100%;
  background: var(--fn-primary);
  border-radius: inherit;
}

.svl-status-dot.queued {
  background: var(--fn-warning);
}

.svl-status-dot.running {
  background: var(--fn-primary);
}

.svl-status-dot.failed,
.svl-status-dot.cancelled {
  background: var(--fn-danger);
}

.svl-workspace {
  min-width: 0;
  display: grid;
  grid-template-rows: auto 39px minmax(0, 1fr);
  overflow: hidden;
}

.svl-workspace.catalog {
  grid-template-rows: auto minmax(0, 1fr);
}

.svl-module-head {
  padding: 12px 16px 9px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-title-row {
  min-height: 38px;
  gap: 12px;
  justify-content: space-between;
}

.svl-title-row h1 {
  margin: 0;
  font-size: 17px;
  font-weight: 650;
}

.svl-title-row p {
  margin: 3px 0 0;
}

.svl-badge,
.svl-verdict {
  display: inline-flex;
  align-items: center;
  gap: 5px;
  border: 1px solid var(--fn-border-strong);
  border-radius: var(--fn-radius-pill);
  padding: 3px 8px;
  color: var(--fn-text-secondary);
  background: var(--fn-bg-muted);
  font-size: 10px;
  white-space: nowrap;
}

.svl-badge.completed,
.svl-verdict.confirmed,
.svl-verdict.robust {
  color: var(--fn-success);
  border-color: var(--fn-success);
  background: var(--fn-success-soft);
}

.svl-badge.running,
.svl-verdict.candidate {
  color: var(--fn-primary);
  border-color: var(--fn-primary);
  background: var(--fn-accent-soft);
}

.svl-badge.failed,
.svl-badge.cancelled,
.svl-verdict.artifact,
.svl-verdict.nopattern,
.svl-verdict.notanalyzable {
  color: var(--fn-danger);
  border-color: var(--fn-danger);
  background: var(--fn-danger-soft);
}

.svl-verdict.fragile {
  color: var(--fn-warning);
  border-color: var(--fn-warning);
  background: var(--fn-warning-soft);
}

.svl-module-head .fn-list-toolbar {
  margin-top: 9px;
}

.svl-result-filter {
  height: 30px;
  border: 1px solid var(--fn-border);
  border-radius: var(--fn-radius);
  overflow: hidden;
}

.svl-result-filter button {
  min-width: 62px;
  padding: 0 9px;
  font-size: 10px;
  border-right: 1px solid var(--fn-border);
}

.svl-result-filter button:last-child {
  border-right: 0;
}

.svl-tabs {
  padding: 0 16px;
  gap: 2px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-tabs button {
  height: 39px;
  padding: 0 12px;
  border-bottom: 2px solid transparent;
  font-size: 11px;
}

.svl-tabs button.active {
  color: var(--fn-primary);
  border-bottom-color: var(--fn-primary);
}

.svl-content {
  min-width: 0;
  overflow: auto;
  padding: 14px 16px 28px;
}

.svl-empty,
.svl-running {
  min-height: 260px;
  display: flex;
  align-items: center;
  justify-content: center;
  flex-direction: column;
  gap: 9px;
  color: var(--fn-text-secondary);
  border: 1px dashed var(--fn-border-strong);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
}

.svl-empty > svg {
  width: 32px;
  height: 32px;
  color: var(--fn-primary);
}

.svl-empty strong {
  color: var(--fn-text);
}

.svl-empty-compact {
  padding: 18px 12px;
  color: var(--fn-text-tertiary);
  font-size: 11px;
  text-align: center;
}

.svl-failed > svg {
  color: var(--fn-danger);
}

.svl-running {
  flex-direction: row;
}

.svl-running > div:nth-child(2) {
  display: flex;
  flex-direction: column;
  min-width: 160px;
}

.svl-running-ring {
  width: 64px;
  height: 64px;
  display: grid;
  place-items: center;
  border: 5px solid var(--fn-border-strong);
  border-top-color: var(--fn-primary);
  border-radius: 50%;
  color: var(--fn-primary);
  font: 18px var(--fn-font-mono);
}

.svl-running-ring span {
  font-size: 9px;
}

.svl-summary-grid {
  display: grid;
  grid-template-columns: 1.05fr 1fr 1fr;
  gap: 10px;
}

.svl-panel {
  min-width: 0;
  border: 1px solid var(--fn-border);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
  overflow: hidden;
}

.svl-panel > header {
  min-height: 37px;
  padding: 0 11px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-panel h3,
.svl-section-title h3,
.svl-detail-section h4 {
  margin: 0;
  font-size: 11px;
  font-weight: 650;
}

.svl-panel > header span,
.svl-section-title span {
  color: var(--fn-text-tertiary);
  font: 9.5px var(--fn-font-mono);
}

.svl-funnel,
.svl-family-list,
.svl-cost-list,
.svl-blockers {
  padding: 10px 11px;
}

.svl-funnel-row,
.svl-family-row,
.svl-cost-row {
  min-height: 27px;
  display: grid;
  grid-template-columns: minmax(90px, 1.1fr) minmax(60px, 1fr) 54px;
  align-items: center;
  gap: 8px;
  font-size: 10px;
}

.svl-family-row {
  grid-template-columns: minmax(80px, 1fr) minmax(55px, 1fr) 80px;
}

.svl-cost-row {
  grid-template-columns: minmax(110px, 1.4fr) minmax(55px, 1fr) 44px;
}

.svl-bar {
  height: 6px;
  overflow: hidden;
  border-radius: var(--fn-radius-pill);
  background: var(--fn-input-bg);
}

.svl-funnel-row output,
.svl-family-row output,
.svl-cost-row output {
  color: var(--fn-text-secondary);
  font: 10px var(--fn-font-mono);
  text-align: right;
}

.svl-scatter {
  position: relative;
  height: 195px;
  padding: 8px 10px 18px 22px;
}

.svl-scatter svg {
  width: 100%;
  height: 100%;
}

.svl-scatter line {
  stroke: var(--fn-border-strong);
  stroke-width: 1;
}

.svl-scatter .svl-survival-line {
  stroke: var(--fn-warning);
  stroke-dasharray: 4 4;
}

.svl-scatter circle {
  fill: var(--fn-text-tertiary);
}

.svl-scatter circle.survivor {
  fill: var(--fn-success);
}

.svl-scatter circle.positive {
  fill: var(--fn-primary);
}

.svl-scatter circle.failed {
  fill: var(--fn-danger);
}

.svl-axis-x,
.svl-axis-y {
  position: absolute;
  color: var(--fn-text-tertiary);
  font: 8px var(--fn-font-mono);
}

.svl-axis-x {
  left: 45%;
  bottom: 3px;
}

.svl-axis-y {
  left: 3px;
  top: 46%;
  writing-mode: vertical-rl;
  transform: rotate(180deg);
}

.svl-kpis {
  margin-top: 10px;
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  border: 1px solid var(--fn-border);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
}

.svl-kpis > div {
  min-width: 0;
  padding: 10px 12px;
  display: flex;
  flex-direction: column;
  gap: 2px;
  border-right: 1px solid var(--fn-border);
}

.svl-kpis > div:last-child {
  border-right: 0;
}

.svl-kpis span,
.svl-kpis small {
  color: var(--fn-text-tertiary);
  font-size: 9px;
}

.svl-kpis strong {
  color: var(--fn-primary);
  font: 19px var(--fn-font-mono);
}

.svl-lower-grid,
.svl-robust-grid,
.svl-audit-grid {
  margin-top: 10px;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
}

.svl-blocker {
  min-height: 43px;
  display: grid;
  grid-template-columns: 18px 1fr auto;
  align-items: center;
  gap: 7px;
  border-bottom: 1px solid var(--fn-border);
}

.svl-blocker:last-child {
  border-bottom: 0;
}

.svl-blocker svg {
  width: 14px;
  height: 14px;
  color: var(--fn-warning);
}

.svl-blocker b {
  display: block;
  font-size: 10px;
}

.svl-blocker p {
  margin: 2px 0 0;
  color: var(--fn-text-tertiary);
  font-size: 9px;
}

.svl-blocker > span {
  color: var(--fn-text-tertiary);
  font: 9px var(--fn-font-mono);
}

.svl-section-title {
  min-height: 34px;
  display: flex;
  align-items: center;
  gap: 10px;
}

.svl-catalog {
  min-width: 0;
}

.svl-catalog-table {
  min-width: 820px;
}

.svl-catalog-table tbody tr {
  cursor: default;
}

.svl-catalog-table td:first-child {
  min-width: 190px;
}

.svl-catalog-table td:last-child span,
.svl-catalog-table td:last-child small {
  display: block;
}

.svl-catalog-table td:last-child small {
  margin-top: 3px;
  color: var(--fn-text-tertiary);
  font-size: 8.5px;
}

.svl-catalog-parameters {
  max-width: 230px;
  overflow: hidden;
  color: var(--fn-text-secondary);
  font: 9px var(--fn-font-mono);
  text-overflow: ellipsis;
}

.svl-catalog-unvalidated {
  display: inline-flex;
  padding: 3px 8px;
  border: 1px solid var(--fn-border-strong);
  border-radius: var(--fn-radius-pill);
  color: var(--fn-text-secondary);
  background: var(--fn-bg-muted);
  font-size: 10px;
}

.svl-mono {
  font-family: var(--fn-font-mono);
}

.svl-table-wrap {
  overflow: auto;
  border: 1px solid var(--fn-border);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
}

.svl-table {
  width: 100%;
  min-width: 900px;
  border-collapse: collapse;
  font-size: 10px;
}

.svl-table th,
.svl-table td {
  padding: 9px 10px;
  border-bottom: 1px solid var(--fn-border);
  text-align: left;
  white-space: nowrap;
}

.svl-table th {
  position: sticky;
  top: 0;
  z-index: 1;
  color: var(--fn-text-tertiary);
  background: var(--fn-bg-muted);
  font-size: 9px;
  font-weight: 550;
}

.svl-table tbody tr {
  cursor: pointer;
}

.svl-table tbody tr:hover,
.svl-table tbody tr.svl-row-active {
  background: var(--fn-accent-soft);
}

.svl-table td:first-child b,
.svl-table td:first-child span {
  display: block;
}

.svl-table td:first-child span {
  color: var(--fn-text-tertiary);
  font: 8.5px var(--fn-font-mono);
}

.svl-good {
  color: var(--fn-success);
}

.svl-warning {
  color: var(--fn-warning);
}

.svl-bad {
  color: var(--fn-danger);
}

.svl-parameter-layout {
  display: grid;
  grid-template-columns: 1fr 250px;
  gap: 10px;
}

.svl-parameter-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
  gap: 7px;
}

.svl-parameter-cell {
  min-height: 86px;
  padding: 10px;
  display: flex;
  flex-direction: column;
  gap: 4px;
  border: 1px solid var(--fn-border);
  border-top: 3px solid var(--fn-danger);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
}

.svl-parameter-cell.medium {
  border-top-color: var(--fn-warning);
}

.svl-parameter-cell.high {
  border-top-color: var(--fn-success);
}

.svl-parameter-cell b {
  font-size: 10px;
}

.svl-parameter-cell span {
  flex: 1;
  color: var(--fn-text-tertiary);
  font: 8.5px var(--fn-font-mono);
  overflow-wrap: anywhere;
}

.svl-parameter-cell output {
  font: 18px var(--fn-font-mono);
}

.svl-parameter-finding {
  padding: 13px;
  border: 1px solid var(--fn-border);
  border-radius: var(--fn-radius);
  background: var(--fn-bg-alt);
}

.svl-parameter-finding h3 {
  font-size: 11px;
}

.svl-parameter-finding dl,
.svl-protocol {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px 10px;
  font-size: 10px;
}

.svl-parameter-finding dt,
.svl-protocol dt {
  color: var(--fn-text-tertiary);
}

.svl-parameter-finding dd,
.svl-protocol dd {
  margin: 0;
  min-width: 0;
  overflow-wrap: anywhere;
  font-family: var(--fn-font-mono);
}

.svl-robust-grid {
  grid-template-columns: 1fr 1fr;
}

.svl-bootstrap-values {
  padding: 14px;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 8px;
}

.svl-bootstrap-values div {
  padding: 10px;
  border-left: 2px solid var(--fn-primary);
  background: var(--fn-bg-muted);
}

.svl-bootstrap-values span,
.svl-bootstrap-values strong {
  display: block;
}

.svl-bootstrap-values span {
  color: var(--fn-text-tertiary);
  font-size: 9px;
}

.svl-bootstrap-values strong {
  margin-top: 4px;
  font: 20px var(--fn-font-mono);
}

.svl-fold-list {
  padding: 10px 12px;
}

.svl-fold-list > div {
  min-height: 31px;
  display: grid;
  grid-template-columns: 26px 1fr 90px 38px;
  align-items: center;
  gap: 7px;
  font-size: 9px;
}

.svl-fold-list span {
  color: var(--fn-text-tertiary);
}

.svl-fold-list output {
  font-family: var(--fn-font-mono);
  text-align: right;
}

.svl-audit-grid {
  grid-template-columns: minmax(240px, .8fr) minmax(320px, 1.2fr);
}

.svl-protocol {
  margin: 0;
  padding: 13px;
}

.svl-timeline {
  padding: 12px;
}

.svl-timeline > div {
  display: grid;
  grid-template-columns: 55px 12px 1fr;
  gap: 7px;
  min-height: 43px;
}

.svl-timeline time {
  color: var(--fn-text-tertiary);
  font: 9px var(--fn-font-mono);
}

.svl-timeline > div > span {
  position: relative;
  border-left: 1px solid var(--fn-border-strong);
}

.svl-timeline > div > span::before {
  content: "";
  position: absolute;
  left: -4px;
  top: 2px;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--fn-primary);
}

.svl-timeline p {
  margin: 0;
  font-size: 10px;
}

.svl-timeline small {
  display: block;
  margin-top: 2px;
  color: var(--fn-text-tertiary);
  font-size: 8.5px;
}