.pretty-corpus-overlay button {
  min-height: 2rem;
  padding: 0.3rem 0.6rem;
  color: inherit;
  background: #29313d;
  border: 1px solid #465466;
  border-radius: 0.38rem;
  cursor: pointer;
}

body:has(.pretty-corpus-overlay) {
  overflow: hidden;
}

.pretty-controls button:disabled {
  cursor: wait;
  opacity: 0.65;
}

.pretty-corpus-status {
  min-height: 1.35em;
  margin: 0.3rem 0 0;
  color: #aaa;
  font-size: 0.78em;
}

.pretty-corpus-status.status-pass,
.pretty-corpus-result.status-pass,
.pretty-corpus-overlay tr.status-pass > .pretty-parity {
  color: #76bd86;
}

.pretty-corpus-status.status-fail,
.pretty-corpus-result.status-fail,
.pretty-corpus-overlay tr.status-fail > .pretty-parity {
  color: #df7478;
}

.pretty-corpus-overlay {
  position: fixed;
  inset: 4vh 4vw;
  z-index: 1100;
  overflow: auto;
  box-sizing: border-box;
  padding: 1rem 1.25rem 2rem;
  color: #e5eaf0;
  background:
    radial-gradient(circle at 100% 0, rgba(70, 119, 176, 0.14), transparent 28rem),
    rgba(18, 21, 27, 0.992);
  border: 1px solid #3e4857;
  border-radius: 0.8rem;
  box-shadow: 0 1rem 4rem rgba(0, 0, 0, 0.72);
  font: 0.82rem/1.45 Inter, ui-sans-serif, system-ui, sans-serif;
  overscroll-behavior: contain;
  text-align: left;
}

.pretty-corpus-overlay > header {
  position: sticky;
  top: -1rem;
  z-index: 1;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin: -1rem -1.25rem 0.9rem;
  padding: 0.85rem 1.25rem;
  background: rgba(18, 21, 27, 0.97);
  border-bottom: 1px solid #343d4a;
  backdrop-filter: blur(14px);
}

.pretty-corpus-overlay > header h2,
.pretty-corpus-overlay h3,
.pretty-corpus-overlay h4 {
  margin: 0;
  color: inherit;
  font-family: sans-serif;
  text-transform: none;
}

.pretty-corpus-overlay > header h2 {
  font-size: 1.2rem;
  letter-spacing: -0.015em;
}

.pretty-corpus-overlay > header > div {
  display: flex;
  gap: 0.5rem;
}

.pretty-corpus-overlay h3 {
  margin-top: 1.35rem;
  font-size: 0.98rem;
  letter-spacing: -0.01em;
}

.pretty-corpus-result {
  margin: 0.45rem 0;
  padding: 0.55rem 0.7rem;
  background: rgba(118, 189, 134, 0.07);
  border: 1px solid rgba(118, 189, 134, 0.18);
  border-radius: 0.45rem;
  font-weight: 600;
}

.pretty-corpus-result.status-fail {
  background: rgba(223, 116, 120, 0.07);
  border-color: rgba(223, 116, 120, 0.22);
}

.pretty-corpus-note {
  max-width: 90rem;
  margin: 0.45rem 0;
  color: #a7b0bc;
  font-size: 0.78rem;
}

.pretty-corpus-overlay table {
  width: 100%;
  margin-top: 0.45rem;
  border-collapse: collapse;
  font-variant-numeric: tabular-nums;
}

.pretty-corpus-overlay th,
.pretty-corpus-overlay td {
  padding: 0.38rem 0.48rem;
  border-bottom: 1px solid rgba(180, 180, 180, 0.18);
  text-align: right;
  white-space: nowrap;
}

.pretty-corpus-overlay th {
  color: #b9c5d2;
  background: rgba(255, 255, 255, 0.025);
  font-size: 0.72rem;
  letter-spacing: 0.025em;
  text-transform: uppercase;
}

.pretty-corpus-overlay tr:not(:first-child):hover > td {
  background: rgba(122, 169, 220, 0.055);
}

.pretty-corpus-overlay [hidden] {
  display: none !important;
}

.pretty-corpus-overlay th:first-child,
.pretty-corpus-overlay td:first-child,
.pretty-corpus-overlay th:nth-child(2),
.pretty-corpus-overlay td:nth-child(2) {
  text-align: left;
}

.pretty-corpus-differences {
  margin-top: 1rem;
  padding: 0.6rem;
  border: 1px solid rgba(220, 100, 105, 0.45);
  border-radius: 0.3rem;
}

.pretty-corpus-differences summary {
  cursor: pointer;
  color: #df7478;
  font-weight: 600;
}

.pretty-corpus-differences h4 {
  margin-top: 0.8rem;
}

.pretty-corpus-differences pre {
  overflow-x: auto;
  padding: 0.45rem;
  background: rgba(255, 255, 255, 0.05);
  white-space: pre-wrap;
}

.pretty-scaling-chart {
  display: block;
  width: 100%;
  min-width: 46rem;
  max-height: 20rem;
  margin: 0.35rem 0 0.75rem;
  color: #bbb;
  background: rgba(255, 255, 255, 0.018);
  border: 1px solid rgba(180, 180, 180, 0.14);
  border-radius: 0.3rem;
}

.pretty-scaling-phase-control {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  margin: 0;
  padding: 0.35rem 0.5rem;
  background: #25282d;
  border: 1px solid rgba(180, 180, 180, 0.25);
  border-radius: 0.3rem;
}

.pretty-scaling-phase-control select {
  min-width: 7rem;
  color: inherit;
  background: #30343a;
  border: 1px solid rgba(180, 180, 180, 0.35);
  border-radius: 0.2rem;
}

.pretty-interaction-controls,
.pretty-report-controls {
  position: sticky;
  top: 3.4rem;
  z-index: 1;
  display: flex;
  flex-wrap: wrap;
  gap: 0.7rem;
  width: 100%;
  margin: 0.65rem 0 0.8rem;
  padding: 0.55rem 0.65rem;
  background: rgba(32, 38, 47, 0.97);
  border: 1px solid #3c4858;
  border-radius: 0.55rem;
  box-shadow: 0 0.4rem 1rem rgba(0, 0, 0, 0.24);
  backdrop-filter: blur(12px);
}

.pretty-interaction-controls label {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}

.pretty-report-controls > label {
  flex: 0 0 auto;
}

.pretty-interaction-controls select {
  min-width: 7rem;
  color: inherit;
  background: #30343a;
  border: 1px solid rgba(180, 180, 180, 0.35);
  border-radius: 0.2rem;
}

.pretty-interaction-chart text {
  fill: #ddd;
}

.pretty-scaling-chart text {
  fill: currentColor;
  font: 11px sans-serif;
}

.pretty-scaling-chart .axis {
  stroke: rgba(210, 210, 210, 0.65);
  stroke-width: 1;
}

.pretty-scaling-chart .grid {
  stroke: rgba(180, 180, 180, 0.14);
  stroke-width: 1;
}

.pretty-dashboard-overlay {
  inset: 2vh 2vw;
  padding-bottom: 2rem;
  background: #181a1e;
}

.pretty-dashboard-source {
  display: inline-block;
  padding: 0.3rem 0.55rem;
  background: rgba(109, 158, 235, 0.09);
  border: 1px solid rgba(109, 158, 235, 0.25);
  border-radius: 999px;
}

.pretty-dashboard-controls {
  position: sticky;
  top: 3.4rem;
  z-index: 1;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.6rem;
  margin: 0.55rem 0 0.8rem;
  padding: 0.55rem 0.65rem;
  background: rgba(32, 38, 47, 0.97);
  border: 1px solid #3c4858;
  border-radius: 0.55rem;
  box-shadow: 0 0.3rem 0.8rem rgba(0, 0, 0, 0.25);
}

.pretty-dashboard-controls > label {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  white-space: nowrap;
}

.pretty-dashboard-controls select {
  min-width: 7.5rem;
  color: inherit;
  background: #30343a;
  border: 1px solid rgba(180, 180, 180, 0.35);
  border-radius: 0.25rem;
}

.pretty-dashboard-backends,
.pretty-backend-filter,
.benchmark-backend-filter {
  display: flex;
  flex: 1 1 24rem;
  flex-wrap: wrap;
  gap: 0.35rem 0.75rem;
  min-width: 16rem;
  margin: 0;
  padding: 0.3rem 0.5rem 0.48rem;
  border: 1px solid #475466;
  border-radius: 0.45rem;
}

.pretty-dashboard-backends legend,
.pretty-backend-filter legend,
.benchmark-backend-filter legend {
  padding: 0 0.25rem;
  color: #b5c0ce;
  font-size: 0.72rem;
  font-weight: 650;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

.pretty-dashboard-backend {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  white-space: nowrap;
}

.benchmark-backend-filter-options {
  display: flex;
  flex: 1 1 auto;
  flex-wrap: wrap;
  gap: 0.35rem;
}

.benchmark-backend-filter-option {
  display: inline-flex;
  align-items: center;
  gap: 0.32rem;
  min-height: 1.9rem;
  padding: 0.18rem 0.48rem;
  color: #aab4c1;
  background: rgba(10, 13, 18, 0.38);
  border: 1px solid #3e4855;
  border-radius: 999px;
  cursor: pointer;
  white-space: nowrap;
}

.benchmark-backend-filter-option:has(input:checked) {
  color: #edf2f7;
  background: rgba(100, 145, 198, 0.12);
  border-color: #60758f;
}

.benchmark-backend-filter-option input {
  width: 0.85rem;
  height: 0.85rem;
  margin: 0;
  accent-color: #8cbbea;
}

.benchmark-backend-filter-actions {
  display: flex;
  align-items: center;
}

.benchmark-backend-filter-actions button {
  min-height: 1.9rem;
  padding: 0.2rem 0.5rem;
  font-size: 0.72rem;
}

.benchmark-backend-filter-summary {
  align-self: center;
  color: #96a2b0;
  font-size: 0.7rem;
  white-space: nowrap;
}

.benchmark-backend-swatch {
  width: 0.65rem;
  height: 0.65rem;
  border-radius: 50%;
  box-shadow: 0 0 0 1px rgba(255, 255, 255, 0.25);
}

.pretty-dashboard-cards {
  display: grid;
  grid-template-columns: repeat(4, minmax(10rem, 1fr));
  gap: 0.65rem;
  margin: 0.45rem 0 1rem;
}

.pretty-dashboard-card {
  min-width: 0;
  padding: 0.75rem 0.8rem;
  background: linear-gradient(
    145deg,
    rgba(109, 158, 235, 0.1),
    rgba(255, 255, 255, 0.025)
  );
  border: 1px solid rgba(140, 170, 215, 0.22);
  border-radius: 0.55rem;
  box-shadow: 0 0.55rem 1.5rem rgba(0, 0, 0, 0.12);
}

.pretty-dashboard-card h3 {
  margin: 0;
  color: #aaa;
  font-size: 0.72rem;
  font-weight: 500;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.pretty-dashboard-card strong {
  display: block;
  margin: 0.15rem 0;
  color: #f0f0f0;
  font-size: 1.45rem;
  font-variant-numeric: tabular-nums;
}

.pretty-dashboard-card p {
  margin: 0;
  color: #aaa;
  font-size: 0.72rem;
}

.pretty-dashboard-chart {
  display: block;
  width: 100%;
  color: #bbb;
  background: rgba(255, 255, 255, 0.025);
  border: 1px solid rgba(180, 180, 180, 0.14);
  border-radius: 0.5rem;
}

.pretty-dashboard-chart text {
  fill: currentColor;
  font: 11px sans-serif;
}

.pretty-dashboard-chart .grid {
  stroke: rgba(180, 180, 180, 0.14);
  stroke-width: 1;
}

.pretty-dashboard-chart .pretty-dashboard-range {
  stroke: rgba(245, 245, 245, 0.9);
  stroke-width: 1.5;
}

.pretty-dashboard-overview-chart,
.pretty-dashboard-phase-chart,
.pretty-dashboard-overlay .pretty-repeated-memory-chart {
  max-height: 23rem;
  margin: 0.35rem 0 0.9rem;
}

.pretty-dashboard-scaling-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(23rem, 1fr));
  gap: 0.7rem;
  margin-top: 0.45rem;
}

.pretty-dashboard-scaling-grid figure {
  min-width: 0;
  margin: 0;
  padding: 0.5rem;
  background: rgba(255, 255, 255, 0.018);
  border: 1px solid rgba(180, 180, 180, 0.14);
  border-radius: 0.4rem;
}

.pretty-dashboard-scaling-grid figcaption {
  margin: 0 0 0.25rem 0.2rem;
  color: #ddd;
  font-weight: 600;
}

.pretty-dashboard-scaling-chart {
  min-width: 0;
  border: 0;
  background: transparent;
}

.pretty-dashboard-overlay tr.pretty-dashboard-signal-neutral td:last-child {
  color: #aaa;
}

.pretty-dashboard-overlay tr.pretty-dashboard-signal-high td:last-child {
  color: #df7478;
}

.pretty-dashboard-overlay tr.pretty-dashboard-signal-low td:last-child {
  color: #76bd86;
}

@media (max-width: 960px) {
  .pretty-dashboard-cards,
  .pretty-dashboard-scaling-grid {
    grid-template-columns: 1fr;
  }

  .pretty-dashboard-controls {
    position: static;
  }

  .pretty-report-controls,
  .pretty-interaction-controls {
    position: static;
  }

  .pretty-dashboard-chart {
    min-width: 42rem;
  }

  .pretty-dashboard-scaling-grid {
    overflow-x: auto;
  }
}

@media (max-width: 680px) {
  .pretty-corpus-overlay {
    inset: 0;
    border: 0;
    border-radius: 0;
  }

  .pretty-corpus-overlay > header {
    align-items: flex-start;
  }

  .pretty-corpus-overlay > header > div {
    flex-wrap: wrap;
    justify-content: flex-end;
  }

  .pretty-dashboard-controls,
  .pretty-report-controls,
  .pretty-interaction-controls {
    align-items: stretch;
  }

  .pretty-backend-filter {
    min-width: 100%;
  }
}

body:has(.benchmark-report-overlay) {
  overflow: hidden;
}

.benchmark-report-overlay {
  position: fixed;
  inset: 2vh 2vw;
  z-index: 1200;
  overflow: auto;
  padding: 0 1.25rem 2rem;
  color: #e5eaf0;
  background:
    radial-gradient(
      circle at 100% 0,
      rgba(70, 119, 176, 0.14),
      transparent 30rem
    ),
    rgba(18, 21, 27, 0.992);
  border: 1px solid #3e4857;
  border-radius: 0.8rem;
  box-shadow: 0 1rem 4rem rgba(0, 0, 0, 0.72);
  font:
    0.82rem/1.45 Inter,
    ui-sans-serif,
    system-ui,
    sans-serif;
  overscroll-behavior: contain;
}

.benchmark-report-overlay > header {
  position: sticky;
  top: 0;
  z-index: 2;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin: 0 -1.25rem 0.9rem;
  padding: 0.9rem 1.25rem;
  background: rgba(18, 21, 27, 0.97);
  border-bottom: 1px solid #343d4a;
  backdrop-filter: blur(14px);
}

.benchmark-report-overlay h2 {
  margin: 0.05rem 0 0;
  font-size: 1.25rem;
  letter-spacing: -0.015em;
}

.benchmark-report-overlay .bench-eyebrow {
  margin: 0;
}

.benchmark-report-status {
  display: block;
  margin-top: 0.28rem;
  color: #76bd86;
  font-size: 0.76rem;
}

.benchmark-report-status[data-passed="false"] {
  color: #df7478;
}

.benchmark-report-controls {
  position: sticky;
  top: 5.6rem;
  z-index: 1;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.7rem;
  margin: 0.6rem 0 0.9rem;
  padding: 0.65rem;
  background: rgba(32, 38, 47, 0.97);
  border: 1px solid #3c4858;
  border-radius: 0.55rem;
  box-shadow: 0 0.3rem 0.8rem rgba(0, 0, 0, 0.25);
}

.benchmark-report-controls > label {
  display: grid;
  gap: 0.25rem;
  color: #a9b4c0;
  font-size: 0.7rem;
  font-weight: 650;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

.benchmark-report-controls select {
  min-width: 10rem;
  min-height: 2.2rem;
  padding: 0.2rem 0.45rem;
  color: inherit;
  background: #30343a;
  border: 1px solid rgba(180, 180, 180, 0.35);
  border-radius: 0.25rem;
}

.benchmark-backend-swatch {
  display: inline-block;
  flex: 0 0 auto;
  margin-right: 0.35rem;
}

.benchmark-report-figure {
  overflow: auto;
  margin: 0;
  padding: 0.7rem;
  background: rgba(255, 255, 255, 0.018);
  border: 1px solid rgba(180, 180, 180, 0.14);
  border-radius: 0.55rem;
}

.benchmark-report-chart {
  display: block;
  width: 100%;
  min-width: 48rem;
  color: #c4ccd5;
}

.benchmark-report-chart text {
  fill: currentColor;
  font:
    11px Inter,
    ui-sans-serif,
    system-ui,
    sans-serif;
}

.benchmark-report-chart-value {
  font-variant-numeric: tabular-nums;
}

.benchmark-report-chart-empty {
  fill: #8d98a6;
}

.benchmark-report-figure figcaption {
  margin: 0.45rem 0.2rem 0;
  color: #96a2b0;
  font-size: 0.72rem;
}

.benchmark-report-table-shell {
  overflow-x: auto;
  margin-top: 0.9rem;
  border: 1px solid #343d4a;
  border-radius: 0.55rem;
}

.benchmark-report-table {
  width: 100%;
  border-collapse: collapse;
  font-variant-numeric: tabular-nums;
}

.benchmark-report-table th,
.benchmark-report-table td {
  padding: 0.5rem 0.65rem;
  border-bottom: 1px solid rgba(180, 180, 180, 0.15);
  text-align: left;
}

.benchmark-report-table thead th {
  color: #b9c5d2;
  background: rgba(255, 255, 255, 0.025);
  font-size: 0.72rem;
  letter-spacing: 0.025em;
  text-transform: uppercase;
}

.benchmark-report-table tbody th {
  color: #d9e0e7;
  font-weight: 500;
}

.benchmark-report-table td[data-passed="true"] {
  color: #76bd86;
}

.benchmark-report-table td[data-passed="false"] {
  color: #df7478;
}

.benchmark-report-notes {
  margin-top: 0.9rem;
  padding: 0.7rem 0.8rem;
  color: #a7b0bc;
  background: rgba(255, 255, 255, 0.018);
  border-left: 3px solid #55677e;
  font-size: 0.76rem;
}

.benchmark-report-notes p,
.benchmark-report-notes ul {
  margin: 0.25rem 0;
}

@media (max-width: 760px) {
  .benchmark-report-overlay {
    inset: 0;
    border: 0;
    border-radius: 0;
  }

  .benchmark-report-controls {
    position: static;
    align-items: stretch;
  }

  .pretty-backend-filter,
  .benchmark-backend-filter {
    min-width: 100%;
  }
}