:root {
  color-scheme: light;
  --page: #f5f5f7;
  --surface: #ffffff;
  --surface-soft: #fbfbfd;
  --ink: #1d1d1f;
  --muted: #6e6e73;
  --faint: #86868b;
  --line: rgba(29, 29, 31, 0.1);
  --line-strong: rgba(29, 29, 31, 0.18);
  --blue: #0071e3;
  --blue-dark: #0066cc;
  --blue-soft: #e8f3ff;
  --green: #248a3d;
  --green-soft: #e9f7ed;
  --orange: #c93400;
  --orange-soft: #fff2e8;
  --red: #d70015;
  --red-soft: #fff0f1;
  --dark: #101012;
  --max: 1180px;
  --radius-large: 32px;
  --radius-medium: 22px;
  --radius-small: 14px;
  font-family: -apple-system, BlinkMacSystemFont, "SF Pro Display", "SF Pro Text", "Helvetica Neue", Arial, sans-serif;
  font-synthesis: none;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  overflow-x: hidden;
  color: var(--ink);
  background: var(--page);
  font-size: 16px;
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

button,
input,
textarea,
select {
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

button {
  color: inherit;
}

a {
  color: inherit;
}

button:focus-visible,
a:focus-visible,
summary:focus-visible {
  outline: 3px solid rgba(0, 113, 227, 0.42);
  outline-offset: 3px;
}

button:active,
.primary-button:active,
.source-button:active,
.case-button:active {
  transform: scale(0.98);
  transition-duration: 80ms;
}

[hidden] {
  display: none !important;
}

.skip-link {
  position: fixed;
  top: 0.75rem;
  left: 0.75rem;
  z-index: 100;
  padding: 0.7rem 1rem;
  border-radius: 999px;
  color: white;
  background: var(--blue);
  transform: translateY(-180%);
  transition: transform 180ms ease-out;
}

.skip-link:focus {
  transform: translateY(0);
}

.topbar {
  position: sticky;
  top: 0;
  z-index: 50;
  background: rgba(250, 250, 252, 0.78);
  backdrop-filter: saturate(180%) blur(22px);
  -webkit-backdrop-filter: saturate(180%) blur(22px);
}

.topbar::after {
  position: absolute;
  right: 0;
  bottom: -12px;
  left: 0;
  height: 12px;
  pointer-events: none;
  content: "";
  background: linear-gradient(to bottom, rgba(0, 0, 0, 0.06), transparent);
  opacity: 0.25;
}

.nav-inner {
  width: min(var(--max), calc(100% - 2.5rem));
  min-height: 3.4rem;
  margin: 0 auto;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 1rem;
}

.brand {
  justify-self: start;
  display: inline-flex;
  align-items: center;
  gap: 0.6rem;
  font-size: 0.76rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-decoration: none;
}

.brand-orbit {
  position: relative;
  width: 1.25rem;
  height: 1.25rem;
  border: 1.5px solid var(--orange);
  border-radius: 50%;
}

.brand-orbit span {
  position: absolute;
  top: 0.11rem;
  right: -0.05rem;
  width: 0.3rem;
  height: 0.3rem;
  border-radius: 50%;
  background: var(--orange);
}

.nav-context {
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 500;
}

.nav-link {
  justify-self: end;
  color: var(--blue);
  font-size: 0.8rem;
  font-weight: 500;
  text-decoration: none;
}

.nav-link:hover {
  text-decoration: underline;
}

.hero {
  width: min(var(--max), calc(100% - 2.5rem));
  min-height: 43rem;
  margin: 0 auto;
  padding: 7rem 0 6rem;
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(20rem, 0.75fr);
  align-items: center;
  gap: 4rem;
}

.hero-copy {
  animation: hero-arrive 700ms cubic-bezier(0.2, 0.7, 0.2, 1) both;
}

.eyebrow {
  margin: 0 0 0.8rem;
  color: var(--blue);
  font-size: 0.76rem;
  font-weight: 650;
  letter-spacing: 0.015em;
}

h1,
h2,
h3,
h4,
p {
  margin-top: 0;
}

h1 {
  max-width: 13ch;
  margin-bottom: 1.7rem;
  font-size: clamp(3.6rem, 7vw, 6.7rem);
  font-weight: 700;
  line-height: 0.96;
  letter-spacing: -0.055em;
}

h1 span {
  color: var(--faint);
}

.hero-dek {
  max-width: 42rem;
  margin-bottom: 2rem;
  color: #424245;
  font-size: clamp(1.2rem, 2vw, 1.48rem);
  line-height: 1.42;
  letter-spacing: -0.012em;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1rem 1.3rem;
}

.primary-button,
.replay-button {
  min-height: 2.8rem;
  border: 0;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0.55rem;
  color: white;
  background: var(--blue);
  font-size: 0.9rem;
  font-weight: 600;
  text-decoration: none;
  cursor: pointer;
  transition: transform 180ms cubic-bezier(0.2, 0.8, 0.2, 1), background 180ms ease;
}

.primary-button {
  padding: 0 1.25rem;
}

.primary-button:hover,
.replay-button:hover {
  background: var(--blue-dark);
}

.prototype-note {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  color: var(--muted);
  font-size: 0.8rem;
}

.prototype-note i,
#opssat-load-state i,
#jetson-replay-status i {
  width: 0.48rem;
  height: 0.48rem;
  flex: none;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 0 0.27rem rgba(36, 138, 61, 0.11);
}

.hero-visual {
  position: relative;
  width: min(100%, 27rem);
  aspect-ratio: 1;
  justify-self: end;
  animation: visual-arrive 850ms 100ms cubic-bezier(0.2, 0.7, 0.2, 1) both;
}

.orbit {
  position: absolute;
  inset: 10%;
  border: 1px solid rgba(0, 113, 227, 0.17);
  border-radius: 50%;
}

.orbit-two {
  inset: 25%;
  border-color: rgba(0, 113, 227, 0.3);
}

.orbit-one::after,
.orbit-two::after {
  position: absolute;
  width: 0.65rem;
  height: 0.65rem;
  border: 0.35rem solid var(--page);
  border-radius: 50%;
  content: "";
  background: var(--blue);
}

.orbit-one::after {
  top: 16%;
  right: 8%;
}

.orbit-two::after {
  bottom: 1%;
  left: 28%;
  background: var(--orange);
}

.satellite-mark {
  position: absolute;
  top: 50%;
  left: 50%;
  width: 5.2rem;
  height: 5.2rem;
  border-radius: 1.45rem;
  background: var(--dark);
  box-shadow: 0 1.5rem 4rem rgba(0, 0, 0, 0.2);
  transform: translate(-50%, -50%) rotate(8deg);
}

.satellite-mark::before,
.satellite-mark::after {
  position: absolute;
  top: 1.4rem;
  width: 3.4rem;
  height: 2.35rem;
  border: 0.22rem solid var(--dark);
  content: "";
  background: repeating-linear-gradient(90deg, #88c2f5 0 0.55rem, #baddfb 0.55rem 0.68rem);
}

.satellite-mark::before {
  right: 4.6rem;
}

.satellite-mark::after {
  left: 4.6rem;
}

.satellite-mark span {
  position: absolute;
  top: 1.2rem;
  left: 1.2rem;
  width: 2.8rem;
  height: 2.8rem;
  border: 1px solid rgba(255, 255, 255, 0.38);
  border-radius: 50%;
}

.signal-card-mini {
  position: absolute;
  right: -1rem;
  bottom: 3.2rem;
  width: 12.5rem;
  padding: 1rem 1.1rem;
  border: 1px solid rgba(255, 255, 255, 0.7);
  border-radius: 1.2rem;
  display: flex;
  flex-direction: column;
  background: rgba(255, 255, 255, 0.74);
  backdrop-filter: blur(18px) saturate(160%);
  -webkit-backdrop-filter: blur(18px) saturate(160%);
  box-shadow: 0 1.2rem 3rem rgba(0, 0, 0, 0.12);
}

.signal-line-mini {
  width: 100%;
  height: 2.1rem;
  margin-bottom: 0.65rem;
  background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 180 36'%3E%3Cpath d='M2 27 C20 24 30 26 44 22 S65 18 76 23 S95 29 106 20 S124 4 136 15 S154 31 178 9' fill='none' stroke='%230071e3' stroke-width='3' stroke-linecap='round'/%3E%3C/svg%3E") center / contain no-repeat;
}

.signal-card-mini strong {
  font-size: 0.86rem;
}

.signal-card-mini small {
  margin-top: 0.1rem;
  color: var(--green);
  font-size: 0.7rem;
  font-weight: 600;
}

.idea-strip {
  width: min(var(--max), calc(100% - 2.5rem));
  margin: 0 auto 8rem;
  padding: 1.5rem;
  border-radius: 1.65rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.25rem;
  background: rgba(255, 255, 255, 0.8);
  box-shadow: 0 0.3rem 1.5rem rgba(0, 0, 0, 0.045);
}

.idea-strip article {
  min-width: 0;
  padding: 0.9rem 1.2rem;
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.9rem;
  align-items: start;
}

.idea-strip article + article {
  border-left: 1px solid var(--line);
}

.idea-strip article > span {
  width: 1.75rem;
  height: 1.75rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: var(--blue);
  background: var(--blue-soft);
  font-size: 0.74rem;
  font-weight: 700;
}

.idea-strip strong {
  display: block;
  font-size: 0.94rem;
}

.idea-strip p {
  margin: 0.2rem 0 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.demo-section {
  width: min(1280px, calc(100% - 2rem));
  margin: 0 auto;
  padding: 6.5rem max(2rem, calc((100% - var(--max)) / 2)) 5.5rem;
  border-radius: 3rem;
  background: var(--surface);
}

.section-heading {
  max-width: 49rem;
  margin-bottom: 2.8rem;
}

.section-heading h2,
.product-thesis h2 {
  margin-bottom: 1rem;
  font-size: clamp(3rem, 6vw, 5.3rem);
  font-weight: 700;
  line-height: 0.98;
  letter-spacing: -0.052em;
}

.section-heading > p:last-child {
  max-width: 43rem;
  margin-bottom: 0;
  color: var(--muted);
  font-size: 1.2rem;
  line-height: 1.48;
}

.source-switcher {
  margin-bottom: 4.8rem;
  padding: 0.35rem;
  border-radius: 1.55rem;
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.35rem;
  background: #ececf0;
}

.source-button {
  min-width: 0;
  min-height: 8.25rem;
  padding: 1.05rem 1.15rem;
  border: 0;
  border-radius: 1.25rem;
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  align-items: start;
  gap: 0.9rem;
  text-align: left;
  background: transparent;
  cursor: pointer;
  transition: transform 220ms cubic-bezier(0.2, 0.8, 0.2, 1), background 220ms ease, box-shadow 220ms ease;
}

.source-button.is-active {
  background: white;
  box-shadow: 0 0.15rem 0.7rem rgba(0, 0, 0, 0.09);
}

.source-copy {
  min-width: 0;
}

.source-step,
.source-button strong,
.source-button small,
.source-meta {
  display: block;
}

.source-step {
  margin-bottom: 0.2rem;
  color: var(--blue);
  font-size: 0.64rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  line-height: 1;
  text-transform: uppercase;
}

.source-button strong {
  font-size: 0.95rem;
  line-height: 1.18;
}

.source-button small {
  margin-top: 0.24rem;
  color: var(--muted);
  font-size: 0.77rem;
  line-height: 1.3;
}

.source-meta {
  width: fit-content;
  max-width: 100%;
  margin-top: 0.62rem;
  padding: 0.3rem 0.52rem;
  border-radius: 999px;
  color: var(--muted);
  background: rgba(0, 0, 0, 0.045);
  font-size: 0.65rem;
  font-weight: 600;
  line-height: 1.2;
}

.source-icon {
  position: relative;
  width: 2.5rem;
  height: 2.5rem;
  flex: none;
  border-radius: 0.8rem;
  background: #d9d9df;
}

.source-button.is-active .source-icon {
  color: white;
  background: var(--blue);
}

.source-icon-signal::before {
  position: absolute;
  inset: 0.72rem 0.55rem;
  content: "";
  background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 26 14'%3E%3Cpath d='M1 9 C4 9 4 4 7 4 S10 12 13 8 S17 2 19 6 S22 11 25 3' fill='none' stroke='white' stroke-width='2' stroke-linecap='round'/%3E%3C/svg%3E") center / contain no-repeat;
}

.source-icon-chip::before {
  position: absolute;
  inset: 0.67rem;
  border: 2px solid currentColor;
  border-radius: 0.25rem;
  content: "";
}

.source-icon-chip::after {
  position: absolute;
  top: 0.38rem;
  left: 1.08rem;
  width: 0.32rem;
  height: 1.74rem;
  border-top: 0.3rem double currentColor;
  border-bottom: 0.3rem double currentColor;
  content: "";
}

.source-icon-proof::before {
  position: absolute;
  inset: 0.62rem;
  border: 0.13rem solid currentColor;
  border-radius: 50%;
  content: "";
}

.source-icon-proof::after {
  position: absolute;
  top: 0.83rem;
  left: 0.91rem;
  width: 0.62rem;
  height: 0.32rem;
  border-bottom: 0.13rem solid currentColor;
  border-left: 0.13rem solid currentColor;
  content: "";
  transform: rotate(-45deg);
}

.source-icon-trace::before {
  position: absolute;
  top: 0.62rem;
  left: 0.68rem;
  width: 1.12rem;
  height: 1.12rem;
  border: 0.13rem solid currentColor;
  border-radius: 50%;
  content: "";
}

.source-icon-trace::after {
  position: absolute;
  top: 1.03rem;
  left: 0.2rem;
  width: 2.08rem;
  height: 0.46rem;
  border-top: 0.13rem solid currentColor;
  border-bottom: 0.13rem solid currentColor;
  content: "";
}

.source-view {
  animation: source-arrive 420ms cubic-bezier(0.2, 0.75, 0.2, 1) both;
}

.experience-intro,
.format-heading {
  margin-bottom: 2rem;
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(18rem, 0.65fr);
  align-items: end;
  gap: 3rem;
}

.experience-intro h3,
.format-heading h3,
.fault-replay-header h3,
.performance-copy h3 {
  margin-bottom: 0;
  font-size: clamp(2rem, 4vw, 3.35rem);
  font-weight: 700;
  line-height: 1.02;
  letter-spacing: -0.042em;
}

.experience-intro > p,
.format-heading > p {
  margin-bottom: 0.2rem;
  color: var(--muted);
  font-size: 1rem;
  line-height: 1.55;
}

.case-picker {
  margin-bottom: 1.1rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.75rem;
}

.case-button {
  min-width: 0;
  min-height: 5.2rem;
  padding: 0.9rem 1rem;
  border: 1px solid var(--line);
  border-radius: 1.15rem;
  display: flex;
  align-items: center;
  gap: 0.8rem;
  text-align: left;
  background: var(--surface-soft);
  cursor: pointer;
  transition: transform 200ms cubic-bezier(0.2, 0.8, 0.2, 1), border 200ms ease, background 200ms ease, box-shadow 200ms ease;
}

.case-button:hover {
  border-color: var(--line-strong);
}

.case-button.is-active {
  border-color: transparent;
  background: white;
  box-shadow: 0 0.35rem 1.8rem rgba(0, 0, 0, 0.09);
}

.case-button strong,
.case-button small {
  display: block;
}

.case-button strong {
  font-size: 0.9rem;
}

.case-button small {
  margin-top: 0.12rem;
  color: var(--muted);
  font-size: 0.74rem;
}

.case-symbol {
  width: 2.15rem;
  height: 2.15rem;
  flex: none;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: var(--muted);
  background: #ececf1;
  font-size: 0.92rem;
  font-weight: 700;
}

.case-button.is-active .is-caught {
  color: var(--green);
  background: var(--green-soft);
}

.case-button.is-active .is-false {
  color: var(--orange);
  background: var(--orange-soft);
}

.case-button.is-active .is-missed {
  color: var(--red);
  background: var(--red-soft);
}

.is-memory::before,
.is-hang::before,
.is-storage::before {
  width: 0.95rem;
  height: 0.95rem;
  content: "";
}

.is-memory::before {
  border: 0.13rem solid currentColor;
  border-radius: 0.2rem;
  box-shadow: inset 0 0 0 0.14rem #ececf1;
  background: currentColor;
}

.is-hang::before {
  border-radius: 50%;
  background: conic-gradient(currentColor 0 28%, transparent 28% 42%, currentColor 42% 70%, transparent 70%);
}

.is-storage::before {
  border: 0.13rem solid currentColor;
  border-radius: 50%;
  box-shadow: inset 0 -0.18rem 0 currentColor;
}

.jetson-cases .case-button.is-active .case-symbol {
  color: var(--blue);
  background: var(--blue-soft);
}

.opssat-frame {
  transition: opacity 240ms ease;
}

.opssat-frame[data-state="loading"] {
  opacity: 0.68;
}

.signal-result-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.58fr) minmax(18rem, 0.72fr);
  gap: 1rem;
}

.signal-card,
.result-card,
.saved-card,
.performance-card,
.fault-replay-card,
.format-comparison {
  border-radius: var(--radius-large);
}

.signal-card {
  min-width: 0;
  padding: 1.6rem;
  background: #f7f7fa;
}

.card-topline {
  min-height: 1.4rem;
  margin-bottom: 2rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: var(--muted);
  font-size: 0.7rem;
}

#opssat-load-state,
#jetson-replay-status {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  color: var(--green);
  font-weight: 600;
}

#opssat-load-state.is-active {
  color: var(--blue);
}

#opssat-load-state.is-active i {
  background: var(--blue);
  box-shadow: 0 0 0 0.27rem rgba(0, 113, 227, 0.1);
}

.signal-heading {
  display: flex;
  align-items: start;
  justify-content: space-between;
  gap: 1rem;
}

.signal-heading p {
  margin-bottom: 0.2rem;
  color: var(--muted);
  font-size: 0.72rem;
}

.signal-heading h4 {
  margin-bottom: 0.25rem;
  font-size: clamp(1.45rem, 3vw, 2.15rem);
  line-height: 1.08;
  letter-spacing: -0.032em;
}

.signal-heading > div > span {
  color: var(--muted);
  font-size: 0.8rem;
}

.replay-button {
  min-height: 2.55rem;
  padding: 0 1rem;
  font-size: 0.78rem;
}

.replay-button:disabled {
  cursor: wait;
  opacity: 0.5;
}

.play-icon {
  width: 0;
  height: 0;
  border-top: 0.28rem solid transparent;
  border-bottom: 0.28rem solid transparent;
  border-left: 0.45rem solid currentColor;
}

.waveform-figure {
  margin: 1.4rem 0 0;
}

.waveform-figure svg {
  width: 100%;
  height: auto;
  overflow: visible;
}

.waveform-grid line {
  stroke: rgba(29, 29, 31, 0.075);
  stroke-width: 1;
}

.waveform-area {
  fill: rgba(0, 113, 227, 0.075);
}

.waveform-path {
  fill: none;
  stroke: var(--blue);
  stroke-width: 4;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.waveform-playhead {
  stroke: rgba(0, 113, 227, 0.32);
  stroke-width: 1.5;
  opacity: 0;
}

.waveform-playhead-cap {
  fill: white;
  stroke: var(--blue);
  stroke-width: 3;
  opacity: 0;
}

.opssat-frame.is-replaying .waveform-playhead,
.opssat-frame.is-replaying .waveform-playhead-cap {
  opacity: 1;
}

.waveform-labels text {
  fill: var(--muted);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.05em;
}

.waveform-figure figcaption {
  margin-top: -0.2rem;
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  color: var(--muted);
  font-size: 0.7rem;
}

.result-card {
  --result-tone: var(--green);
  --result-soft: var(--green-soft);
  padding: 2rem;
  display: flex;
  flex-direction: column;
  background: var(--result-soft);
  transition: background 250ms ease;
}

.opssat-frame[data-case-role="false_alert"] .result-card {
  --result-tone: var(--orange);
  --result-soft: var(--orange-soft);
}

.opssat-frame[data-case-role="missed_anomaly"] .result-card {
  --result-tone: var(--red);
  --result-soft: var(--red-soft);
}

.result-symbol {
  width: 3.3rem;
  height: 3.3rem;
  margin-bottom: 2rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: white;
  background: var(--result-tone);
  font-size: 1.35rem;
  font-weight: 750;
  transition: background 250ms ease, transform 350ms cubic-bezier(0.2, 0.8, 0.2, 1);
}

.result-kicker {
  margin-bottom: 0.35rem;
  color: var(--result-tone);
  font-size: 0.75rem;
  font-weight: 700;
}

.result-card h4,
.saved-card h4,
.unknown-cause h4,
.format-result h4 {
  margin-bottom: 0.8rem;
  font-size: clamp(1.7rem, 3vw, 2.5rem);
  line-height: 1.04;
  letter-spacing: -0.04em;
}

.result-card > p:not(.result-kicker) {
  margin-bottom: 1.5rem;
  color: #424245;
  font-size: 0.92rem;
}

.plain-comparison {
  margin: auto 0 1.5rem;
  border-top: 1px solid rgba(29, 29, 31, 0.1);
}

.plain-comparison > div {
  padding: 0.75rem 0;
  border-bottom: 1px solid rgba(29, 29, 31, 0.1);
  display: flex;
  justify-content: space-between;
  gap: 1rem;
}

.plain-comparison dt {
  color: var(--muted);
  font-size: 0.72rem;
}

.plain-comparison dd {
  margin: 0;
  text-align: right;
  font-size: 0.75rem;
  font-weight: 650;
}

.score-explainer > div:first-child {
  margin-bottom: 0.55rem;
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  color: var(--muted);
  font-size: 0.7rem;
}

.score-explainer > div:first-child strong {
  color: var(--ink);
  font-size: 1.25rem;
}

.score-track {
  position: relative;
  height: 0.5rem;
  overflow: visible;
  border-radius: 999px;
  background: rgba(29, 29, 31, 0.1);
}

.score-track span {
  display: block;
  width: 0;
  height: 100%;
  border-radius: inherit;
  background: var(--result-tone);
  transition: width 450ms cubic-bezier(0.2, 0.75, 0.2, 1), background 250ms ease;
}

.score-track i {
  position: absolute;
  top: -0.28rem;
  width: 2px;
  height: 1.05rem;
  background: var(--ink);
}

.score-labels {
  margin-top: 0.55rem;
  display: grid;
  grid-template-columns: 1fr 1fr 1fr;
  color: var(--muted);
  font-size: 0.62rem;
}

.score-labels span:nth-child(2) {
  text-align: center;
}

.score-labels span:last-child {
  text-align: right;
}

.score-explainer p {
  margin: 0.65rem 0 0;
  color: var(--muted);
  font-size: 0.68rem;
}

.evidence-story-grid {
  margin-top: 1rem;
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 1rem;
}

.saved-card,
.unknown-cause {
  min-width: 0;
  padding: 2.3rem;
}

.saved-card {
  background: var(--surface-soft);
}

.saved-card > p:not(.eyebrow) {
  max-width: 35rem;
  color: var(--muted);
}

.size-story {
  margin: 1.8rem 0 1.1rem;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.8rem;
}

.size-story > div {
  min-width: 0;
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: 1rem;
  background: white;
}

.size-story span,
.size-story strong {
  display: block;
}

.size-story span {
  color: var(--muted);
  font-size: 0.67rem;
}

.size-story strong {
  margin-top: 0.2rem;
  font-size: 1.45rem;
  line-height: 1;
  letter-spacing: -0.03em;
}

.size-story .capsule-size {
  border-color: rgba(0, 113, 227, 0.18);
  background: var(--blue-soft);
}

.size-story .capsule-size strong {
  color: var(--blue);
}

.size-arrow {
  color: var(--blue) !important;
  font-size: 1.2rem !important;
}

.size-story.is-not-emitted .capsule-size {
  border-color: rgba(215, 0, 21, 0.16);
  background: var(--red-soft);
}

.size-story.is-not-emitted .capsule-size strong {
  color: var(--red);
  font-size: 1rem;
}

.inline-details,
.benchmark-details {
  border-top: 1px solid var(--line);
}

.inline-details summary,
.benchmark-details summary {
  padding: 1rem 0;
  color: var(--blue);
  font-size: 0.78rem;
  font-weight: 600;
  cursor: pointer;
}

.inline-details pre,
.dark-details pre {
  max-height: 19rem;
  margin: 0 0 0.5rem;
  padding: 1rem;
  overflow: auto;
  border-radius: 0.9rem;
  color: #d9efff;
  background: #15171a;
  font: 0.68rem/1.55 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  white-space: pre-wrap;
  word-break: break-word;
}

.unknown-cause {
  position: relative;
  overflow: hidden;
  color: white;
  background: var(--dark);
}

.unknown-cause::after {
  position: absolute;
  top: -5rem;
  right: -5rem;
  width: 14rem;
  height: 14rem;
  border: 1px solid rgba(255, 255, 255, 0.08);
  border-radius: 50%;
  content: "";
}

.unknown-cause .eyebrow {
  color: #8bc4ff;
}

.unknown-cause > p:not(.eyebrow) {
  max-width: 34rem;
  color: #b9b9bf;
}

.unknown-icon {
  width: 3.2rem;
  height: 3.2rem;
  margin-bottom: 1.8rem;
  border: 1px solid rgba(255, 255, 255, 0.22);
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: #8bc4ff;
  font-size: 1.3rem;
  font-weight: 650;
}

.missing-context {
  margin: 1.3rem 0 1.6rem;
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.missing-context span {
  padding: 0.45rem 0.7rem;
  border: 1px solid rgba(255, 255, 255, 0.13);
  border-radius: 999px;
  color: #d1d1d6;
  background: rgba(255, 255, 255, 0.055);
  font-size: 0.68rem;
}

.unknown-verdict {
  display: block;
  color: #8bc4ff;
  font-size: 0.86rem;
}

.performance-card {
  margin-top: 4.5rem;
  padding: 3rem;
  background: #f5f5f7;
}

.performance-card {
  display: grid;
  grid-template-columns: 0.8fr 1.2fr;
  gap: 3rem;
}

.performance-copy p:last-child {
  margin: 1rem 0 0;
  color: var(--muted);
}

.human-metrics {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.7rem;
}

.human-metrics > div {
  min-width: 0;
  padding: 1.25rem;
  border-radius: 1.2rem;
  background: white;
}

.human-metrics strong,
.human-metrics span,
.human-metrics small {
  display: block;
}

.human-metrics strong {
  margin-bottom: 0.7rem;
  font-size: clamp(2.5rem, 5vw, 4.5rem);
  font-weight: 650;
  line-height: 0.9;
  letter-spacing: -0.055em;
}

.human-metrics span {
  font-size: 0.78rem;
  font-weight: 650;
}

.human-metrics small {
  margin-top: 0.15rem;
  color: var(--muted);
  font-size: 0.65rem;
}

.metric-caught strong {
  color: var(--green);
}

.metric-missed strong {
  color: var(--red);
}

.benchmark-details {
  grid-column: 1 / -1;
}

.benchmark-detail-grid {
  padding: 1.2rem 0;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 1rem;
}

.benchmark-detail-grid > div {
  padding-right: 1rem;
  border-right: 1px solid var(--line);
}

.benchmark-detail-grid > div:last-child {
  border-right: 0;
}

.benchmark-detail-grid span,
.benchmark-detail-grid strong,
.benchmark-detail-grid small {
  display: block;
}

.benchmark-detail-grid span {
  color: var(--muted);
  font-size: 0.66rem;
}

.benchmark-detail-grid strong {
  margin-top: 0.25rem;
  font-size: 1.45rem;
}

.benchmark-detail-grid small {
  margin-top: 0.25rem;
  color: var(--muted);
  font-size: 0.65rem;
  line-height: 1.45;
}

.provenance-row {
  padding-top: 1rem;
  border-top: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem 1rem;
  color: var(--muted);
  font-size: 0.67rem;
}

.provenance-row a {
  color: var(--blue);
  text-decoration: none;
}

.fault-replay-card {
  padding: 2rem;
  background: #f7f7fa;
}

.fault-replay-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
}

.fault-replay-header h3 {
  font-size: clamp(1.8rem, 3vw, 2.5rem);
}

.fault-replay-actions {
  display: flex;
  align-items: center;
  gap: 1rem;
}

#jetson-replay-status {
  color: var(--muted);
  font-size: 0.7rem;
}

#jetson-replay-status.is-active {
  color: var(--blue);
}

#jetson-replay-status.is-active i {
  background: var(--blue);
  box-shadow: 0 0 0 0.27rem rgba(0, 113, 227, 0.1);
}

.simple-timeline {
  --timeline-progress: 0;
  position: relative;
  margin: 3rem 0;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  list-style: none;
}

.simple-timeline::before,
.simple-timeline::after {
  position: absolute;
  top: 1.15rem;
  left: 12.5%;
  width: 75%;
  height: 0.18rem;
  border-radius: 999px;
  content: "";
}

.simple-timeline::before {
  background: #d9d9df;
}

.simple-timeline::after {
  width: 75%;
  background: var(--blue);
  transform: scaleX(var(--timeline-progress));
  transform-origin: left center;
  transition: transform 120ms linear;
}

.simple-timeline li {
  position: relative;
  z-index: 1;
  min-width: 0;
  padding: 0 0.8rem;
  text-align: center;
  opacity: 0.38;
  transition: opacity 250ms ease, transform 360ms cubic-bezier(0.2, 0.8, 0.2, 1);
}

.simple-timeline li.is-visible {
  opacity: 1;
}

.simple-timeline li.is-current {
  transform: translateY(-0.15rem);
}

.stage-dot {
  width: 2.4rem;
  height: 2.4rem;
  margin: 0 auto 0.8rem;
  border: 0.18rem solid #f7f7fa;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: var(--muted);
  background: #d9d9df;
  font-size: 0.72rem;
  font-weight: 700;
  box-shadow: 0 0 0 1px #d9d9df;
  transition: color 250ms ease, background 250ms ease, box-shadow 250ms ease, transform 360ms cubic-bezier(0.2, 0.8, 0.2, 1);
}

.simple-timeline li.is-visible .stage-dot {
  color: white;
  background: var(--blue);
  box-shadow: 0 0 0 1px var(--blue);
}

.simple-timeline li.is-current .stage-dot {
  transform: scale(1.1);
  box-shadow: 0 0 0 1px var(--blue), 0 0 0 0.4rem rgba(0, 113, 227, 0.1);
}

.simple-timeline strong,
.simple-timeline p {
  display: block;
}

.simple-timeline strong {
  font-size: 0.8rem;
}

.simple-timeline p {
  max-width: 11rem;
  margin: 0.2rem auto 0;
  color: var(--muted);
  font-size: 0.67rem;
}

.fault-outcome {
  padding: 1rem;
  border-radius: 1.5rem;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: stretch;
  gap: 1rem;
  background: white;
}

.outside-view,
.inside-view {
  padding: 1.4rem;
  border-radius: 1.1rem;
}

.outside-view {
  background: var(--page);
}

.inside-view {
  background: var(--blue-soft);
}

.outside-view span,
.inside-view span,
.outside-view strong,
.inside-view strong,
.inside-view small {
  display: block;
}

.outside-view span,
.inside-view span {
  margin-bottom: 0.6rem;
  color: var(--muted);
  font-size: 0.66rem;
  font-weight: 600;
}

.outside-view strong,
.inside-view strong {
  font-size: clamp(1.45rem, 3vw, 2.15rem);
  line-height: 1.04;
  letter-spacing: -0.035em;
}

.outside-view p,
.inside-view p {
  margin: 0.7rem 0 0;
  color: var(--muted);
  font-size: 0.8rem;
}

.inside-view strong {
  color: var(--blue);
}

.inside-view small {
  width: fit-content;
  margin-top: 0.9rem;
  padding: 0.32rem 0.55rem;
  border-radius: 999px;
  color: var(--blue-dark);
  background: rgba(255, 255, 255, 0.65);
  font-size: 0.65rem;
  font-weight: 650;
}

.outcome-arrow {
  align-self: center;
  color: var(--blue);
  font-size: 1.3rem;
}

.format-comparison {
  margin-top: 1rem;
  padding: 2.5rem;
  color: white;
  background: var(--dark);
}

.format-heading h3 {
  color: white;
  font-size: clamp(1.85rem, 3vw, 2.8rem);
}

.format-heading .eyebrow {
  color: #8bc4ff;
}

.format-heading > p {
  color: #a9a9af;
}

.format-tabs {
  margin: 2.3rem 0 1rem;
  padding: 0.3rem;
  border-radius: 1.2rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.3rem;
  background: #252528;
}

.format-tabs button {
  min-height: 4.2rem;
  padding: 0.75rem;
  border: 0;
  border-radius: 0.95rem;
  color: #c8c8cd;
  background: transparent;
  cursor: pointer;
  transition: transform 180ms cubic-bezier(0.2, 0.8, 0.2, 1), color 180ms ease, background 180ms ease;
}

.format-tabs button:active {
  transform: scale(0.98);
}

.format-tabs button.is-active {
  color: var(--ink);
  background: white;
}

.format-tabs strong,
.format-tabs small {
  display: block;
}

.format-tabs strong {
  font-size: 0.8rem;
}

.format-tabs small {
  margin-top: 0.15rem;
  color: inherit;
  font-size: 0.62rem;
  opacity: 0.65;
}

.format-result {
  padding: 1.3rem;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 1.25rem;
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  align-items: center;
  gap: 1.2rem;
  background: #1a1a1d;
}

.format-result.is-unknown {
  background: #211d18;
}

.format-result-icon {
  width: 2.8rem;
  height: 2.8rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: white;
  background: var(--green);
  font-weight: 750;
}

.format-result.is-unknown .format-result-icon {
  color: #1d1d1f;
  background: #ffb340;
}

.format-result > div:nth-child(2) > span {
  color: #70c98a;
  font-size: 0.68rem;
  font-weight: 650;
}

.format-result.is-unknown > div:nth-child(2) > span {
  color: #ffb340;
}

.format-result h4 {
  margin: 0.25rem 0 0.35rem;
  color: white;
  font-size: 1.55rem;
}

.format-result p {
  margin: 0;
  color: #a9a9af;
  font-size: 0.78rem;
}

.format-score {
  min-width: 6rem;
  text-align: right;
}

.format-score strong,
.format-score span {
  display: block;
}

.format-score strong {
  font-size: 2rem;
  letter-spacing: -0.04em;
}

.format-score span {
  color: #8e8e93;
  font-size: 0.65rem;
}

.dark-details {
  margin-top: 1rem;
  border-color: rgba(255, 255, 255, 0.1);
}

.dark-details summary {
  color: #8bc4ff;
}

.raw-evidence-meta {
  margin-bottom: 0.55rem;
  display: flex;
  justify-content: space-between;
  color: #8e8e93;
  font: 0.62rem/1.4 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

.jetson-proof-strip {
  margin-top: 1rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1rem;
}

.jetson-proof-strip > div {
  padding: 1.4rem;
  border-radius: 1.2rem;
  background: #f7f7fa;
}

.jetson-proof-strip strong,
.jetson-proof-strip span {
  display: block;
}

.jetson-proof-strip strong {
  font-size: 2.3rem;
  line-height: 1;
  letter-spacing: -0.045em;
}

.jetson-proof-strip span {
  margin-top: 0.6rem;
  color: var(--muted);
  font-size: 0.72rem;
}

.model-gate {
  margin-bottom: 3.8rem;
  padding: 1.25rem 1.4rem;
  border: 1px solid rgba(36, 138, 61, 0.18);
  border-radius: 1.6rem;
  display: grid;
  grid-template-columns: auto minmax(18rem, 1fr) auto;
  align-items: center;
  gap: 1.4rem;
  background: var(--green-soft);
}

.gate-result {
  padding-right: 1.4rem;
  border-right: 1px solid rgba(36, 138, 61, 0.18);
  display: flex;
  align-items: center;
  gap: 0.85rem;
}

.gate-result p,
.gate-result strong {
  margin: 0;
}

.gate-result p {
  color: #387047;
  font-size: 0.68rem;
  font-weight: 650;
}

.gate-result strong {
  display: block;
  font-size: 2.25rem;
  line-height: 1;
  letter-spacing: -0.045em;
}

.gate-orbit {
  position: relative;
  width: 3.2rem;
  height: 3.2rem;
  flex: none;
  border: 0.13rem solid var(--green);
  border-radius: 50%;
}

.gate-orbit::before,
.gate-orbit::after {
  position: absolute;
  content: "";
}

.gate-orbit::before {
  top: 0.68rem;
  left: 0.98rem;
  width: 0.8rem;
  height: 0.45rem;
  border-bottom: 0.16rem solid var(--green);
  border-left: 0.16rem solid var(--green);
  transform: rotate(-45deg);
}

.gate-orbit::after {
  right: -0.17rem;
  bottom: 0.32rem;
  width: 0.56rem;
  height: 0.56rem;
  border: 0.22rem solid var(--green-soft);
  border-radius: 50%;
  background: var(--green);
}

.model-gate > p {
  margin: 0;
  color: #365d40;
  font-size: 0.82rem;
}

.gate-status {
  padding: 0.48rem 0.72rem;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  color: #266c38;
  background: rgba(255, 255, 255, 0.66);
  font-size: 0.68rem;
  font-weight: 700;
  white-space: nowrap;
}

.gate-status i {
  width: 0.42rem;
  height: 0.42rem;
  border-radius: 50%;
  background: var(--green);
}

.model-controls {
  margin-bottom: 1rem;
  display: grid;
  grid-template-columns: minmax(23rem, auto) 1fr;
  align-items: end;
  gap: 2rem;
}

.control-group > span {
  display: block;
  margin: 0 0 0.55rem 0.25rem;
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 650;
}

.protocol-switch {
  padding: 0.3rem;
  border-radius: 0.9rem;
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 0.25rem;
  background: #ececf0;
}

.protocol-switch button,
.cause-picker button {
  min-height: 2.75rem;
  border: 0;
  border-radius: 0.68rem;
  background: transparent;
  font-size: 0.76rem;
  font-weight: 620;
  cursor: pointer;
  transition: transform 180ms cubic-bezier(0.2, 0.8, 0.2, 1), background 180ms ease, box-shadow 180ms ease;
}

.protocol-switch button.is-active,
.cause-picker button.is-active {
  color: var(--ink);
  background: white;
  box-shadow: 0 0.12rem 0.6rem rgba(0, 0, 0, 0.1);
}

.protocol-switch button:active,
.cause-picker button:active,
.model-choice:active {
  transform: scale(0.98);
}

#protocol-explainer {
  max-width: 34rem;
  margin: 0 0 0.2rem;
  color: var(--muted);
  font-size: 0.78rem;
}

.model-picker {
  margin-bottom: 1rem;
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 0.65rem;
}

.model-loading {
  grid-column: 1 / -1;
  padding: 1.2rem;
  border-radius: 1rem;
  color: var(--muted);
  background: var(--surface-soft);
  font-size: 0.78rem;
}

.model-choice {
  min-width: 0;
  min-height: 6.4rem;
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: 1.15rem;
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  text-align: left;
  background: var(--surface-soft);
  cursor: pointer;
  transition: transform 190ms cubic-bezier(0.2, 0.8, 0.2, 1), border-color 190ms ease, background 190ms ease, box-shadow 190ms ease;
}

.model-choice:hover {
  border-color: var(--line-strong);
}

.model-choice.is-active {
  border-color: transparent;
  background: white;
  box-shadow: 0 0.35rem 1.6rem rgba(0, 0, 0, 0.09);
}

.model-choice > span {
  overflow: hidden;
  font-size: 0.76rem;
  font-weight: 650;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.model-choice strong {
  margin-top: auto;
  font-size: 1.65rem;
  line-height: 1;
  letter-spacing: -0.04em;
}

.model-choice small {
  margin-top: 0.24rem;
  color: var(--muted);
  font-size: 0.62rem;
}

.cause-picker {
  margin-bottom: 1.15rem;
  padding: 0.3rem;
  border-radius: 0.9rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.25rem;
  background: #ececf0;
}

.proof-pair {
  padding: 2.5rem;
  border-radius: var(--radius-large);
  color: #f5f5f7;
  background: var(--dark);
  box-shadow: 0 2rem 5rem rgba(0, 0, 0, 0.16);
}

.proof-pair-heading {
  margin-bottom: 2rem;
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 1.5rem;
}

.proof-pair-heading .eyebrow {
  color: #76b7ff;
}

.proof-pair-heading h3 {
  margin: 0;
  font-size: clamp(2rem, 4vw, 3.3rem);
  line-height: 1;
  letter-spacing: -0.045em;
}

#pair-verdict {
  min-height: 2.25rem;
  padding: 0 0.75rem;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  color: #ffb8be;
  background: rgba(215, 0, 21, 0.2);
  font-size: 0.7rem;
  font-weight: 700;
  white-space: nowrap;
}

#pair-verdict i {
  font-style: normal;
}

.proof-pair[data-pair-result="pass"] #pair-verdict {
  color: #9ee5ae;
  background: rgba(36, 138, 61, 0.24);
}

.proof-cards {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: stretch;
  gap: 0.85rem;
}

.proof-card {
  min-width: 0;
  padding: 1.2rem;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 1.4rem;
  display: flex;
  flex-direction: column;
  background: #1c1c1e;
}

.proof-card.has-proof {
  border-color: rgba(36, 138, 61, 0.48);
}

.proof-card.proof-removed {
  border-color: rgba(255, 159, 10, 0.43);
}

.proof-card-top {
  margin-bottom: 0.8rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.proof-card-top span {
  color: #8e8e93;
  font-size: 0.66rem;
  font-weight: 650;
}

.proof-card-top strong {
  color: #a8e5b5;
  font-size: 0.68rem;
}

.proof-removed .proof-card-top strong {
  color: #ffc47a;
}

.proof-card pre {
  min-height: 8.8rem;
  margin: 0 0 1rem;
  padding: 1rem;
  overflow: auto;
  border-radius: 0.9rem;
  color: #f2f2f7;
  background: #08080a;
  font: 0.72rem/1.55 "SFMono-Regular", Consolas, monospace;
  white-space: pre-wrap;
}

.proof-removal {
  align-self: center;
  width: 4.1rem;
  display: grid;
  place-items: center;
  color: #ffc47a;
}

.proof-removal span {
  width: 2.4rem;
  height: 2.4rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  background: rgba(255, 159, 10, 0.16);
  font-size: 1.25rem;
}

.proof-removal small {
  margin-top: 0.35rem;
  color: #8e8e93;
  font-size: 0.58rem;
  font-weight: 650;
}

.model-answer {
  min-height: 7.6rem;
  margin-top: auto;
  padding: 1rem;
  border-radius: 1rem;
  display: flex;
  flex-direction: column;
  background: rgba(255, 255, 255, 0.06);
}

.model-answer > span {
  color: #a1a1a6;
  font-size: 0.62rem;
  font-weight: 650;
}

.model-answer strong {
  margin-top: 0.4rem;
  font-size: 1.05rem;
  line-height: 1.15;
  letter-spacing: -0.02em;
}

.model-answer small {
  margin-top: auto;
  padding-top: 0.65rem;
  color: #a1a1a6;
  font-size: 0.65rem;
}

.model-answer.is-correct strong,
.model-answer.is-correct small {
  color: #9ee5ae;
}

.model-answer.is-wrong strong,
.model-answer.is-wrong small {
  color: #ffb8be;
}

.pair-explanation {
  max-width: 52rem;
  margin: 1.5rem auto 0;
  color: #b9b9bf;
  text-align: center;
  font-size: 0.82rem;
}

.model-boundary {
  margin-top: 1rem;
  padding: 2.3rem;
  border-radius: var(--radius-large);
  display: grid;
  grid-template-columns: minmax(18rem, 0.72fr) minmax(0, 1.28fr);
  gap: 3rem;
  background: var(--blue-soft);
}

.model-boundary h3 {
  max-width: 12ch;
  margin: 0;
  font-size: clamp(2rem, 4vw, 3.3rem);
  line-height: 1;
  letter-spacing: -0.045em;
}

.model-boundary .eyebrow {
  color: var(--blue-dark);
}

.model-boundary ol {
  margin: 0;
  padding: 0;
  display: grid;
  gap: 0.55rem;
  list-style: none;
}

.model-boundary li {
  padding: 0.9rem;
  border-radius: 1rem;
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: start;
  gap: 0.8rem;
  background: rgba(255, 255, 255, 0.6);
}

.model-boundary li > span {
  width: 1.7rem;
  height: 1.7rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: var(--blue);
  background: white;
  font-size: 0.68rem;
  font-weight: 750;
}

.model-boundary li strong {
  display: block;
  font-size: 0.82rem;
}

.model-boundary li p {
  margin: 0.16rem 0 0;
  color: var(--muted);
  font-size: 0.7rem;
}

.model-artifacts {
  padding: 1.2rem 0.25rem 0;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.75rem 1.2rem;
}

.model-artifacts a {
  color: var(--blue);
  font-size: 0.72rem;
  font-weight: 650;
  text-decoration: none;
}

.model-artifacts > span {
  margin-left: auto;
  color: var(--muted);
  font-size: 0.66rem;
}

.trace-replay {
  padding: clamp(1.5rem, 4vw, 3rem);
  border-radius: 1.5rem;
  color: white;
  background: radial-gradient(circle at 84% 0%, rgba(0, 113, 227, 0.28), transparent 34%), #101012;
  box-shadow: 0 1.8rem 4.5rem rgba(0, 0, 0, 0.13);
}

.trace-replay-header,
.trace-replay-actions,
.trace-comparison-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1.5rem;
}

.trace-replay-header .eyebrow {
  color: #8bc4ff;
}

.trace-replay-header h3 {
  margin: 0;
  color: white;
  font-size: clamp(2rem, 4vw, 3.35rem);
  line-height: 1.02;
  letter-spacing: -0.042em;
}

.trace-replay-actions {
  flex: none;
  gap: 0.8rem;
}

#trace-replay-status {
  display: flex;
  align-items: center;
  gap: 0.42rem;
  color: #b9b9bf;
  font-size: 0.7rem;
  font-weight: 650;
}

#trace-replay-status i {
  width: 0.42rem;
  height: 0.42rem;
  border-radius: 50%;
  background: #30d158;
  box-shadow: 0 0 0 0.24rem rgba(48, 209, 88, 0.12);
}

#trace-replay-status.is-active i {
  background: #64b5ff;
  box-shadow: 0 0 0 0.24rem rgba(100, 181, 255, 0.14);
}

.trace-replay .replay-button {
  color: white;
  background: rgba(255, 255, 255, 0.12);
}

.trace-replay .replay-button:hover {
  background: rgba(255, 255, 255, 0.18);
}

.operation-identity {
  min-height: 2.6rem;
  margin-top: 2rem;
  padding: 0.7rem 1rem;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 0.8rem;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.55rem;
  color: #a7a7ad;
  background: rgba(255, 255, 255, 0.045);
  font-size: 0.68rem;
}

.operation-identity strong {
  color: white;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.7rem;
}

.operation-identity i {
  width: 0.22rem;
  height: 0.22rem;
  border-radius: 50%;
  background: #66666d;
}

.boot-trace {
  margin: 2.2rem 0 0;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.65rem;
  list-style: none;
}

.boot-card {
  position: relative;
  min-width: 0;
  min-height: 20rem;
  padding: 1.1rem;
  border: 1px solid rgba(255, 255, 255, 0.09);
  border-radius: 1rem;
  background: rgba(255, 255, 255, 0.045);
  overflow: hidden;
}

.boot-card + .boot-card::before {
  position: absolute;
  top: 2rem;
  left: -0.68rem;
  z-index: 2;
  width: 0.7rem;
  height: 1px;
  content: "";
  background: #4a4a50;
}

.boot-heading {
  padding-bottom: 0.85rem;
  border-bottom: 1px solid rgba(255, 255, 255, 0.09);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.5rem;
}

.boot-heading span,
.boot-heading small {
  display: block;
}

.boot-heading span {
  color: white;
  font-size: 0.83rem;
  font-weight: 700;
}

.boot-heading small {
  margin-top: 0.12rem;
  color: #929299;
  font-size: 0.62rem;
}

.boot-state {
  padding: 0.28rem 0.5rem;
  border-radius: 999px;
  color: #ff9f8f;
  background: rgba(255, 69, 58, 0.12);
  font-size: 0.58rem;
  font-weight: 700;
}

.boot-card.is-recovered .boot-state {
  color: #7ee296;
  background: rgba(48, 209, 88, 0.12);
}

.boot-events {
  margin: 0;
  padding: 1rem 0 0;
  display: grid;
  gap: 0.76rem;
  list-style: none;
}

.boot-event {
  position: relative;
  min-height: 2.45rem;
  padding-left: 1.15rem;
  opacity: 0.22;
  transform: translateY(0.22rem);
  transition: opacity 240ms ease, transform 320ms cubic-bezier(0.2, 0.8, 0.2, 1);
}

.boot-event::before {
  position: absolute;
  top: 0.35rem;
  left: 0;
  width: 0.42rem;
  height: 0.42rem;
  border: 1px solid #777780;
  border-radius: 50%;
  content: "";
  background: #27272b;
}

.boot-event::after {
  position: absolute;
  top: 0.95rem;
  bottom: -0.78rem;
  left: 0.245rem;
  width: 1px;
  content: "";
  background: #3d3d43;
}

.boot-event:last-child::after {
  display: none;
}

.boot-event.is-visible {
  opacity: 1;
  transform: translateY(0);
}

.boot-event.is-current::before {
  border-color: #64b5ff;
  background: #64b5ff;
  box-shadow: 0 0 0 0.26rem rgba(100, 181, 255, 0.12);
}

.boot-event.is-failure::before {
  border-color: #ff6961;
  background: #ff6961;
}

.boot-event.is-recovery::before {
  border-color: #30d158;
  background: #30d158;
}

.boot-event strong,
.boot-event span {
  display: block;
}

.boot-event strong {
  color: #f5f5f7;
  font-size: 0.73rem;
  line-height: 1.25;
}

.boot-event span {
  margin-top: 0.15rem;
  color: #8e8e95;
  font-size: 0.59rem;
}

.trace-loading {
  grid-column: 1 / -1;
  padding: 4rem 1rem;
  color: #a7a7ad;
  text-align: center;
}

.trace-outcome {
  margin-top: 1rem;
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: stretch;
  gap: 0.7rem;
}

.trace-outcome > div {
  min-width: 0;
  padding: 1.15rem;
  border: 1px solid rgba(255, 255, 255, 0.08);
  border-radius: 1rem;
  background: rgba(255, 255, 255, 0.045);
}

.trace-outcome-after {
  border-color: rgba(100, 181, 255, 0.25) !important;
  background: rgba(0, 113, 227, 0.14) !important;
}

.trace-outcome span,
.trace-outcome strong,
.trace-outcome p {
  display: block;
}

.trace-outcome span {
  color: #8e8e95;
  font-size: 0.62rem;
  font-weight: 650;
}

.trace-outcome strong {
  margin-top: 0.45rem;
  color: white;
  font-size: 1rem;
}

.trace-outcome p {
  margin: 0.2rem 0 0;
  color: #aaaab1;
  font-size: 0.7rem;
}

.trace-outcome-arrow {
  align-self: center;
  color: #64b5ff;
}

.trace-comparison {
  margin-top: 4rem;
}

.trace-comparison-heading {
  align-items: end;
}

.trace-comparison-heading h3 {
  max-width: 18ch;
  margin: 0;
  font-size: clamp(2rem, 4vw, 3.35rem);
  line-height: 1.02;
  letter-spacing: -0.042em;
}

.trace-comparison-heading > p {
  max-width: 25rem;
  margin: 0 0 0.2rem;
  color: var(--muted);
  font-size: 0.92rem;
}

.trace-format-list {
  margin-top: 1.8rem;
  border-top: 1px solid var(--line);
}

.trace-format {
  min-height: 6.6rem;
  padding: 1rem 0.2rem;
  border-bottom: 1px solid var(--line);
  display: grid;
  grid-template-columns: minmax(12rem, 1.3fr) minmax(7rem, 0.55fr) minmax(7rem, 0.55fr) minmax(11rem, auto);
  align-items: center;
  gap: 1.2rem;
}

.trace-format > div:first-child span,
.trace-format > div:first-child strong,
.trace-format-measure strong,
.trace-format-measure span {
  display: block;
}

.trace-format > div:first-child span {
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 650;
}

.trace-format > div:first-child strong {
  margin-top: 0.18rem;
  font-size: 1rem;
}

.trace-format-measure strong {
  font-size: 1.28rem;
  letter-spacing: -0.025em;
}

.trace-format-measure span {
  color: var(--muted);
  font-size: 0.62rem;
}

.trace-format-status {
  justify-self: end;
  min-height: 2.2rem;
  padding: 0.5rem 0.7rem;
  border-radius: 999px;
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  color: #8a3a24;
  background: var(--orange-soft);
  font-size: 0.65rem;
  font-weight: 650;
}

.trace-format-status i {
  width: 1.12rem;
  height: 1.12rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: white;
  background: #d06443;
  font-size: 0.62rem;
  font-style: normal;
}

.trace-format.is-trace .trace-format-status {
  color: #256b34;
  background: var(--green-soft);
}

.trace-format.is-trace .trace-format-status i {
  background: var(--green);
}

.plain-trace-conclusion {
  margin-top: 2rem;
  padding: 1.2rem 1.3rem;
  border-left: 3px solid var(--blue);
  background: var(--blue-soft);
}

.plain-trace-conclusion span,
.plain-trace-conclusion strong {
  display: block;
}

.plain-trace-conclusion span {
  margin-bottom: 0.25rem;
  color: var(--blue-dark);
  font-size: 0.63rem;
  font-weight: 750;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.plain-trace-conclusion strong {
  max-width: 48rem;
  font-size: 1.08rem;
  line-height: 1.42;
}

.trace-proof-strip {
  margin-top: 1rem;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 0.65rem;
}

.trace-proof-strip > div {
  min-height: 7.3rem;
  padding: 1.15rem;
  border: 1px solid var(--line);
  border-radius: 1rem;
  display: flex;
  flex-direction: column;
  justify-content: flex-end;
  background: var(--surface-soft);
}

.trace-proof-strip strong,
.trace-proof-strip span {
  display: block;
}

.trace-proof-strip strong {
  font-size: 2rem;
  line-height: 1;
  letter-spacing: -0.04em;
}

.trace-proof-strip span {
  max-width: 15rem;
  margin-top: 0.35rem;
  color: var(--muted);
  font-size: 0.68rem;
  line-height: 1.3;
}

.trace-artifacts {
  padding: 1.2rem 0.25rem 0;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.75rem 1.2rem;
}

.trace-artifacts a {
  color: var(--blue);
  font-size: 0.72rem;
  font-weight: 650;
  text-decoration: none;
}

.trace-artifacts > span {
  margin-left: auto;
  color: var(--muted);
  font-size: 0.66rem;
}

.product-thesis {
  width: min(var(--max), calc(100% - 2.5rem));
  margin: 7rem auto 0;
  padding: clamp(2rem, 6vw, 5rem);
  border-radius: 2.7rem;
  color: white;
  background: var(--dark);
}

.product-thesis .eyebrow {
  color: #8bc4ff;
}

.product-thesis h2 {
  max-width: 14ch;
  color: white;
}

.product-thesis > p:not(.eyebrow) {
  max-width: 45rem;
  color: #b9b9bf;
  font-size: 1.15rem;
}

.integration-path {
  margin-top: 3.5rem;
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr;
  align-items: center;
  gap: 0.8rem;
}

.integration-path > div {
  min-height: 9rem;
  padding: 1.3rem;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 1.25rem;
  display: flex;
  flex-direction: column;
  background: rgba(255, 255, 255, 0.045);
}

.integration-path .nomos-step {
  border-color: rgba(139, 196, 255, 0.3);
  background: rgba(0, 113, 227, 0.18);
}

.integration-path div > span {
  width: 1.6rem;
  height: 1.6rem;
  margin-bottom: 1.6rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: #8bc4ff;
  background: rgba(139, 196, 255, 0.12);
  font-size: 0.65rem;
  font-weight: 700;
}

.integration-path strong,
.integration-path small {
  display: block;
}

.integration-path strong {
  font-size: 0.9rem;
}

.integration-path small {
  margin-top: 0.2rem;
  color: #9f9fa5;
  font-size: 0.68rem;
}

.integration-path > i {
  color: #8bc4ff;
  font-size: 1.2rem;
  font-style: normal;
}

.research-disclosure {
  width: min(var(--max), calc(100% - 2.5rem));
  margin: 1rem auto 7rem;
}

.research-disclosure > details {
  border-radius: 1.5rem;
  background: white;
}

.research-disclosure summary {
  min-height: 6.3rem;
  padding: 1.3rem 1.6rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  list-style: none;
  cursor: pointer;
}

.research-disclosure summary::-webkit-details-marker {
  display: none;
}

.research-disclosure summary small,
.research-disclosure summary strong {
  display: block;
}

.research-disclosure summary small {
  margin-bottom: 0.2rem;
  color: var(--muted);
  font-size: 0.65rem;
}

.research-disclosure summary strong {
  font-size: 1.05rem;
}

.research-disclosure summary > i {
  width: 2rem;
  height: 2rem;
  border-radius: 50%;
  display: grid;
  place-items: center;
  color: var(--blue);
  background: var(--blue-soft);
  font-size: 1.1rem;
  font-style: normal;
  transition: transform 280ms cubic-bezier(0.2, 0.8, 0.2, 1);
}

.research-disclosure details[open] summary > i {
  transform: rotate(45deg);
}

.research-grid {
  padding: 0 1.6rem 1.6rem;
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 0.7rem;
}

.research-grid article {
  padding: 1.3rem;
  border-radius: 1rem;
  background: var(--page);
}

.research-grid h3 {
  margin-bottom: 0.4rem;
  font-size: 0.86rem;
}

.research-grid p {
  margin: 0;
  color: var(--muted);
  font-size: 0.74rem;
}

.research-links {
  padding: 1.2rem 1.6rem 1.6rem;
  border-top: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  gap: 0.8rem 1.3rem;
}

.research-links a {
  color: var(--blue);
  font-size: 0.72rem;
  font-weight: 600;
  text-decoration: none;
}

footer {
  width: min(var(--max), calc(100% - 2.5rem));
  min-height: 6rem;
  margin: 0 auto;
  border-top: 1px solid var(--line);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: var(--muted);
  font-size: 0.72rem;
}

footer div {
  display: flex;
  gap: 1rem;
}

footer a {
  color: var(--blue);
  text-decoration: none;
}

@keyframes hero-arrive {
  from { opacity: 0; transform: translateY(1rem); }
  to { opacity: 1; transform: translateY(0); }
}

@keyframes visual-arrive {
  from { opacity: 0; transform: scale(0.96); }
  to { opacity: 1; transform: scale(1); }
}

@keyframes source-arrive {
  from { opacity: 0; transform: translateY(0.5rem); }
  to { opacity: 1; transform: translateY(0); }
}

@media (max-width: 1000px) {
  .source-switcher {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .hero {
    min-height: auto;
    grid-template-columns: 1fr;
  }

  .hero-copy {
    position: relative;
    z-index: 2;
  }

  .hero-visual {
    width: 22rem;
    margin-top: -2rem;
    justify-self: center;
  }

  .signal-result-grid,
  .performance-card {
    grid-template-columns: 1fr;
  }

  .result-card {
    min-height: 25rem;
  }

  .plain-comparison {
    margin-top: auto;
  }

  .benchmark-details {
    grid-column: auto;
  }

  .model-picker {
    grid-template-columns: repeat(2, 1fr);
  }

  .model-boundary {
    grid-template-columns: 1fr;
    gap: 1.8rem;
  }

  .model-boundary h3 {
    max-width: 18ch;
  }
}

@media (max-width: 820px) {
  .nav-inner {
    grid-template-columns: 1fr auto;
  }

  .nav-context {
    display: none;
  }

  .idea-strip,
  .experience-intro,
  .format-heading,
  .evidence-story-grid {
    grid-template-columns: 1fr;
  }

  .idea-strip article + article {
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .model-gate {
    grid-template-columns: 1fr auto;
  }

  .gate-result {
    grid-column: 1 / -1;
    padding: 0 0 1rem;
    border-right: 0;
    border-bottom: 1px solid rgba(36, 138, 61, 0.18);
  }

  .model-controls {
    grid-template-columns: 1fr;
    gap: 0.8rem;
  }

  .proof-cards {
    grid-template-columns: 1fr;
  }

  .proof-removal {
    width: auto;
    min-height: 3.5rem;
  }

  .proof-removal span {
    transform: rotate(90deg);
  }

  .case-picker {
    grid-template-columns: 1fr;
  }

  .experience-intro,
  .format-heading {
    gap: 1rem;
  }

  .human-metrics,
  .benchmark-detail-grid,
  .jetson-proof-strip {
    grid-template-columns: 1fr;
  }

  .benchmark-detail-grid > div {
    padding: 0 0 1rem;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .benchmark-detail-grid > div:last-child {
    border-bottom: 0;
  }

  .simple-timeline {
    padding-left: 0;
    grid-template-columns: 1fr;
    gap: 0.85rem;
  }

  .simple-timeline::before,
  .simple-timeline::after {
    top: 1.2rem;
    bottom: 1.2rem;
    left: 1.12rem;
    width: 0.18rem;
    height: auto;
  }

  .simple-timeline::after {
    height: auto;
    transform: scaleY(var(--timeline-progress));
    transform-origin: center top;
  }

  .simple-timeline li {
    min-height: 3.5rem;
    padding: 0;
    display: grid;
    grid-template-columns: auto 1fr;
    gap: 0.9rem;
    align-items: start;
    text-align: left;
  }

  .simple-timeline li.is-current {
    transform: translateX(0.2rem);
  }

  .stage-dot {
    margin: 0;
  }

  .simple-timeline p {
    max-width: none;
    margin-left: 0;
  }

  .format-result {
    grid-template-columns: auto 1fr;
  }

  .format-score {
    grid-column: 2;
    text-align: left;
  }

  .integration-path {
    grid-template-columns: 1fr;
  }

  .integration-path > i {
    justify-self: center;
    transform: rotate(90deg);
  }

  .boot-trace {
    grid-template-columns: 1fr;
  }

  .boot-card {
    min-height: 0;
  }

  .boot-card + .boot-card::before {
    top: -0.68rem;
    left: 2rem;
    width: 1px;
    height: 0.7rem;
  }

  .trace-comparison-heading {
    align-items: start;
    flex-direction: column;
  }

  .trace-format {
    grid-template-columns: minmax(0, 1fr) repeat(2, minmax(5.5rem, auto));
  }

  .trace-format-status {
    grid-column: 1 / -1;
    justify-self: start;
  }
}

@media (max-width: 620px) {
  .nav-inner,
  .hero,
  .idea-strip,
  .product-thesis,
  .research-disclosure,
  footer {
    width: min(100% - 1.5rem, var(--max));
  }

  .nav-link {
    font-size: 0.72rem;
  }

  .hero {
    padding: 5.5rem 0 4rem;
    gap: 2rem;
  }

  h1 {
    font-size: clamp(3.05rem, 15vw, 4.25rem);
    letter-spacing: -0.058em;
  }

  .hero-dek {
    font-size: 1.08rem;
  }

  .hero-visual {
    width: 17rem;
  }

  .signal-card-mini {
    right: -0.5rem;
    bottom: 1.5rem;
    width: 10.8rem;
  }

  .idea-strip {
    margin-bottom: 4.5rem;
    padding: 0.7rem;
  }

  .demo-section {
    width: 100%;
    padding: 4.2rem 0.75rem;
    border-radius: 2rem;
  }

  .section-heading {
    padding: 0 0.45rem;
  }

  .section-heading h2,
  .product-thesis h2 {
    font-size: 3rem;
  }

  .section-heading > p:last-child {
    font-size: 1rem;
  }

  .source-switcher {
    margin-bottom: 3.5rem;
    grid-template-columns: 1fr;
  }

  .trace-replay {
    padding: 1.35rem;
  }

  .trace-replay-header,
  .trace-replay-actions {
    width: 100%;
    align-items: flex-start;
    flex-direction: column;
  }

  .trace-replay-header {
    gap: 1.2rem;
  }

  .trace-replay-actions .replay-button {
    width: 100%;
  }

  .operation-identity {
    align-items: flex-start;
    flex-direction: column;
  }

  .operation-identity i {
    display: none;
  }

  .trace-outcome {
    grid-template-columns: 1fr;
  }

  .trace-outcome-arrow {
    justify-self: center;
    transform: rotate(90deg);
  }

  .trace-format {
    padding: 1.15rem 0.2rem;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.85rem;
  }

  .trace-format > div:first-child,
  .trace-format-status {
    grid-column: 1 / -1;
  }

  .trace-format-status {
    width: fit-content;
  }

  .trace-proof-strip {
    grid-template-columns: 1fr;
  }

  .trace-proof-strip > div {
    min-height: 6.2rem;
  }

  .trace-artifacts {
    align-items: flex-start;
    flex-direction: column;
  }

  .trace-artifacts > span {
    margin-left: 0;
  }

  .model-gate {
    margin-bottom: 3rem;
    padding: 1.1rem;
    grid-template-columns: 1fr;
  }

  .gate-status {
    justify-self: start;
  }

  .model-picker,
  .cause-picker {
    grid-template-columns: 1fr;
  }

  .model-choice {
    min-height: 5.6rem;
  }

  .proof-pair {
    padding: 1.35rem;
    border-radius: 1.5rem;
  }

  .proof-pair-heading {
    align-items: flex-start;
    flex-direction: column;
  }

  .proof-card {
    padding: 1rem;
  }

  .model-boundary {
    padding: 1.4rem;
    border-radius: 1.5rem;
  }

  .model-artifacts {
    align-items: flex-start;
    flex-direction: column;
  }

  .model-artifacts > span {
    margin-left: 0;
  }

  .source-button {
    min-height: 7.5rem;
  }

  .experience-intro {
    padding: 0 0.35rem;
  }

  .signal-card,
  .result-card,
  .saved-card,
  .unknown-cause,
  .performance-card,
  .fault-replay-card,
  .format-comparison {
    padding: 1.35rem;
    border-radius: 1.5rem;
  }

  .card-topline {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.35rem;
  }

  .signal-heading {
    align-items: flex-end;
  }

  .waveform-figure figcaption {
    flex-direction: column;
    gap: 0.15rem;
  }

  .result-card {
    min-height: 0;
  }

  .size-story,
  .fault-outcome {
    grid-template-columns: 1fr;
  }

  .size-arrow,
  .outcome-arrow {
    justify-self: center;
    transform: rotate(90deg);
  }

  .performance-card {
    margin-top: 3rem;
    gap: 1.8rem;
  }

  .human-metrics {
    grid-template-columns: repeat(3, 1fr);
    gap: 0.35rem;
  }

  .human-metrics > div {
    padding: 0.9rem 0.65rem;
  }

  .human-metrics strong {
    font-size: 2.7rem;
  }

  .human-metrics span {
    font-size: 0.67rem;
  }

  .human-metrics small {
    font-size: 0.62rem;
  }

  .fault-replay-header,
  .fault-replay-actions {
    align-items: flex-start;
    flex-direction: column;
  }

  .fault-replay-header {
    gap: 1.2rem;
  }

  .fault-replay-actions {
    width: 100%;
    gap: 0.7rem;
  }

  .fault-replay-actions .replay-button {
    width: 100%;
  }

  .format-tabs {
    grid-template-columns: 1fr;
  }

  .format-result {
    grid-template-columns: 1fr;
  }

  .format-result-icon {
    width: 2.4rem;
    height: 2.4rem;
  }

  .format-score {
    grid-column: auto;
  }

  .product-thesis {
    margin-top: 4.5rem;
    padding: 2rem 1.3rem;
    border-radius: 2rem;
  }

  .product-thesis > p:not(.eyebrow) {
    font-size: 1rem;
  }

  .research-grid {
    grid-template-columns: 1fr;
  }

  footer {
    padding: 1.5rem 0;
    align-items: flex-start;
    flex-direction: column;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}

@media (prefers-reduced-transparency: reduce) {
  .topbar,
  .signal-card-mini {
    background: #fafafc;
    backdrop-filter: none;
    -webkit-backdrop-filter: none;
  }
}

@media (prefers-contrast: more) {
  :root {
    --line: rgba(0, 0, 0, 0.32);
    --line-strong: rgba(0, 0, 0, 0.62);
  }

  .topbar,
  .signal-card-mini {
    background: white;
  }

  .source-button.is-active,
  .case-button.is-active {
    outline: 2px solid var(--ink);
  }
}