:root {
  --ink: #172033;
  --muted: #5b6475;
  --soft: #f6f8fb;
  --paper: #ffffff;
  --line: #dce3ee;
  --blue: #4771b2;
  --blue-dark: #294c8d;
  --blue-soft: #e7edf8;
  --red: #f28c98;
  --red-dark: #b94058;
  --red-soft: #fff0f1;
  --neutral: #edf0f5;
  --shadow: 0 20px 50px rgba(23, 32, 51, 0.1);
  --radius: 8px;
  color-scheme: light;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  line-height: 1.55;
}

img {
  display: block;
  max-width: 100%;
}

a {
  color: inherit;
  text-decoration: none;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 64px;
  padding: 0 32px;
  border-bottom: 1px solid rgba(220, 227, 238, 0.82);
  background: rgba(255, 255, 255, 0.88);
  backdrop-filter: blur(14px);
}

.brand,
.nav-links {
  display: flex;
  align-items: center;
  gap: 18px;
}

.brand {
  gap: 10px;
  font-weight: 750;
}

.brand-mark {
  width: 18px;
  height: 18px;
  border: 4px solid var(--blue);
  border-right-color: var(--red);
  border-bottom-color: var(--red);
  border-radius: 50%;
}

.nav-links a {
  color: var(--muted);
  font-size: 0.92rem;
  font-weight: 650;
}

.nav-links a:hover {
  color: var(--ink);
}

.section-inner {
  width: min(1160px, calc(100% - 40px));
  margin: 0 auto;
}

.hero {
  position: relative;
  min-height: calc(100vh - 64px);
  overflow: hidden;
  border-bottom: 1px solid var(--line);
  background: #f7f9fd;
}

.hero::before {
  position: absolute;
  inset: 0;
  content: "";
  background:
    linear-gradient(90deg, rgba(247, 249, 253, 0.98) 0%, rgba(247, 249, 253, 0.92) 40%, rgba(247, 249, 253, 0.7) 100%),
    linear-gradient(rgba(71, 113, 178, 0.08) 1px, transparent 1px),
    linear-gradient(90deg, rgba(71, 113, 178, 0.08) 1px, transparent 1px);
  background-size: auto, 28px 28px, 28px 28px;
}

.hero-bg {
  position: absolute;
  inset: 0;
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 18px;
  padding: 96px 32px 64px 45%;
  opacity: 0.36;
  transform: rotate(-2deg) scale(1.04);
}

.hero-bg img {
  width: 100%;
  aspect-ratio: 1;
  object-fit: contain;
  align-self: center;
  border: 1px solid rgba(23, 32, 51, 0.18);
  background: #fff;
  box-shadow: 0 16px 35px rgba(23, 32, 51, 0.12);
}

.hero-bg img:nth-child(1),
.hero-bg img:nth-child(4) {
  grid-column: span 3;
}

.hero-bg img:nth-child(2),
.hero-bg img:nth-child(3),
.hero-bg img:nth-child(5),
.hero-bg img:nth-child(6) {
  grid-column: span 2;
}

.hero-inner {
  position: relative;
  z-index: 1;
  display: flex;
  min-height: calc(100vh - 64px);
  flex-direction: column;
  justify-content: center;
  padding: 72px 0;
}

.eyebrow,
.section-kicker {
  margin: 0 0 14px;
  color: var(--blue-dark);
  font-size: 0.78rem;
  font-weight: 800;
  letter-spacing: 0;
  text-transform: uppercase;
}

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

h1 {
  max-width: 890px;
  margin-bottom: 22px;
  font-size: clamp(2.8rem, 7.5vw, 6.8rem);
  line-height: 0.96;
  letter-spacing: 0;
}

h2 {
  margin-bottom: 18px;
  font-size: clamp(2rem, 4vw, 3.6rem);
  line-height: 1.02;
  letter-spacing: 0;
}

h3 {
  margin-bottom: 10px;
  font-size: 1.28rem;
  line-height: 1.18;
  letter-spacing: 0;
}

h4 {
  margin-bottom: 12px;
  font-size: 0.95rem;
  letter-spacing: 0;
}

.hero-copy {
  max-width: 720px;
  margin-bottom: 28px;
  color: #364055;
  font-size: clamp(1.05rem, 1.55vw, 1.35rem);
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-bottom: 40px;
}

.button {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  justify-content: center;
  padding: 0 18px;
  border: 1px solid var(--line);
  border-radius: 6px;
  font-weight: 750;
}

.button.primary {
  border-color: var(--blue);
  background: var(--blue);
  color: #fff;
}

.button.secondary {
  background: #fff;
  color: var(--ink);
}

.section {
  padding: 92px 0;
}

.abstract-section {
  background: var(--soft);
}

.abstract-inner {
  max-width: 980px;
}

.abstract-text {
  margin: 0;
  color: var(--muted);
  font-size: clamp(1.06rem, 1.45vw, 1.3rem);
  line-height: 1.75;
}

.section-heading {
  max-width: 820px;
  margin-bottom: 34px;
}

.section-heading p:last-child {
  color: var(--muted);
  font-size: 1.08rem;
}

.section-heading.compact {
  margin-bottom: 22px;
}

.figure-feature figure,
.result-grid figure {
  margin: 0;
}

figcaption {
  color: var(--muted);
  font-size: 0.92rem;
  line-height: 1.45;
}

.method-figure {
  margin: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #fff;
}

.method-task {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
  padding: 28px;
  border-bottom: 1px solid var(--line);
  background: #fafbfd;
}

.method-task-label span,
.method-row-label span,
.grid-pair span {
  display: block;
  color: var(--muted);
  font-size: 0.76rem;
  font-weight: 800;
  text-transform: uppercase;
}

.method-task-label strong {
  display: block;
  margin-bottom: 6px;
  font-size: 1.45rem;
  line-height: 1.1;
}

.grid-pair {
  display: flex;
  gap: 18px;
  text-align: center;
}

.grid-pair > div {
  width: 112px;
}

.grid-pair span {
  margin-top: 8px;
}

.sudoku-grid {
  display: grid;
  width: 112px;
  min-width: 112px;
  max-width: 112px;
  height: 112px;
  grid-template-columns: repeat(4, 1fr);
  grid-template-rows: repeat(4, 1fr);
  gap: 3px;
  padding: 5px;
  border: 5px solid #111827;
  background: #4b5563;
  overflow: hidden;
}

.sudoku-grid span {
  display: block;
  width: 100%;
  height: 100%;
  min-width: 0;
  min-height: 0;
}

.sudoku-grid .c0 {
  background: #050505;
}

.sudoku-grid .c1 {
  background: #5ec953;
}

.sudoku-grid .c2 {
  background: #ffdd45;
}

.sudoku-grid .c3 {
  background: #3978d3;
}

.sudoku-grid .c4 {
  background: #f2574b;
}

.method-flow {
  display: grid;
  gap: 0;
}

.method-row {
  display: grid;
  grid-template-columns: 150px minmax(250px, 1fr) 44px minmax(250px, 1fr) 44px minmax(250px, 1fr);
  gap: 18px;
  align-items: center;
  padding: 28px;
  border-bottom: 1px solid var(--line);
  justify-items: center;
}

.method-row.llm-row {
  grid-template-columns: 150px minmax(250px, 1fr) 44px minmax(250px, 1fr) 44px minmax(250px, 1fr);
}

.vdm-row {
  background: #f8fbff;
}

.llm-row {
  background: #fff9f9;
}

.method-row-label {
  display: flex;
  align-self: center;
  justify-self: stretch;
  min-height: 112px;
  flex-direction: column;
  justify-content: center;
}

.method-row-label strong {
  display: block;
  margin-top: 4px;
  color: var(--ink);
  font-size: 1.02rem;
}

.method-box {
  display: flex;
  min-height: 96px;
  width: 100%;
  align-items: center;
  justify-content: center;
  padding: 16px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #fff;
  text-align: center;
  font-weight: 800;
}

.array-card {
  overflow: auto;
  width: min(100%, 258px);
  height: 112px;
  min-height: 112px;
  margin: 0;
  padding: 12px 14px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #ffffff;
  color: #263042;
  font-size: 0.82rem;
  line-height: 1.45;
}

.array-card {
  display: flex;
  justify-content: center;
  flex-direction: column;
  align-self: center;
  justify-self: center;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-weight: 750;
}

.array-card .n0 {
  color: #111111;
}

.array-card .n1 {
  color: #218a3b;
}

.array-card .n2 {
  color: #b18400;
}

.array-card .n3 {
  color: #2267c7;
}

.array-card .n4 {
  color: #d83b33;
}

.arrow {
  display: block;
  height: 2px;
  background: var(--blue);
  position: relative;
}

.arrow::after {
  position: absolute;
  top: 50%;
  right: -1px;
  width: 9px;
  height: 9px;
  content: "";
  border-top: 2px solid var(--blue);
  border-right: 2px solid var(--blue);
  transform: translateY(-50%) rotate(45deg);
}

.arrow.red-arrow {
  background: var(--red-dark);
}

.arrow.red-arrow::after {
  border-color: var(--red-dark);
}

.method-figure figcaption {
  padding: 18px 28px 24px;
}

.method-comparison-figure {
  margin: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #fff;
}

.method-branches {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
  padding: 22px;
}

.method-branch {
  display: grid;
  grid-template-rows: auto 1fr auto;
  gap: 18px;
  min-width: 0;
  padding: 22px;
  border: 2px solid var(--branch-color);
  border-radius: var(--radius);
  background: var(--branch-fill);
}

.vdm-branch {
  --branch-color: var(--blue);
  --branch-fill: #f3f7ff;
}

.llm-branch {
  --branch-color: var(--red);
  --branch-fill: #fff5f6;
}

.method-branch h3 {
  margin: 0;
  color: var(--branch-color);
  text-align: center;
  font-size: 1.35rem;
}

.method-branch-flow {
  display: grid;
  grid-template-columns: minmax(112px, 1fr) 34px minmax(150px, 0.95fr) 34px minmax(112px, 1fr);
  gap: 10px;
  align-items: center;
}

.method-endpoint {
  display: grid;
  justify-items: center;
  gap: 10px;
  min-width: 0;
}

.method-endpoint > span {
  color: var(--ink);
  text-align: center;
  font-size: 0.82rem;
  font-weight: 850;
}

.method-color-grid {
  display: grid;
  width: 118px;
  height: 118px;
  grid-template-columns: repeat(4, 1fr);
  grid-template-rows: repeat(4, 1fr);
  gap: 3px;
  padding: 5px;
  border: 5px solid #111827;
  background: #4b5563;
}

.method-cell {
  display: block;
  min-width: 0;
  min-height: 0;
}

.method-color-grid .c0 {
  background: #050505;
}

.method-token-stack .n0 {
  color: #050505;
}

.method-color-grid .c1 {
  background: #5ec953;
}

.method-token-stack .n1 {
  color: #218a3b;
}

.method-color-grid .c2 {
  background: #ffdd45;
}

.method-token-stack .n2 {
  color: #b18400;
}

.method-color-grid .c3 {
  background: #3978d3;
}

.method-token-stack .n3 {
  color: #2267c7;
}

.method-color-grid .c4 {
  background: #f2574b;
}

.method-token-stack .n4 {
  color: #d83b33;
}

.method-token-stack {
  display: grid;
  width: min(100%, 168px);
  height: 118px;
  align-content: center;
  gap: 6px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.72rem;
  font-weight: 800;
}

.method-token-stack .token-row {
  display: flex;
  min-height: 24px;
  align-items: center;
  justify-content: center;
  border: 1px solid #9aa3ae;
  border-radius: 4px;
  background: #fff;
  color: #263042;
  letter-spacing: 0;
}

.method-flow-arrow {
  color: var(--blue);
  text-align: center;
  font-size: 2rem;
  font-weight: 800;
  line-height: 1;
}

.method-flow-arrow.red-arrow {
  color: var(--red-dark);
}

.method-model-box {
  display: grid;
  min-height: 156px;
  align-content: center;
  justify-items: center;
  gap: 8px;
  padding: 16px 12px;
  border: 2px solid var(--branch-color);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, 0.82);
  text-align: center;
}

.method-model-box span {
  color: var(--muted);
  font-size: 0.76rem;
  font-weight: 800;
  text-transform: uppercase;
}

.method-model-box strong {
  color: var(--branch-color);
  font-size: 1.35rem;
}

.method-model-box em {
  padding: 6px 10px;
  border: 1px solid var(--branch-color);
  border-radius: 6px;
  background: #fff;
  color: var(--branch-color);
  font-size: 0.78rem;
  font-style: normal;
  font-weight: 850;
}

.method-loss {
  padding-top: 16px;
  border-top: 1px dotted #9aa3ae;
  color: var(--branch-color);
  text-align: center;
  font-weight: 850;
}

.method-comparison-figure figcaption {
  padding: 18px 28px 24px;
  border-top: 1px solid var(--line);
}

.results-section {
  background: #fff;
}

.result-family {
  margin-top: 44px;
  padding-top: 40px;
  border-top: 1px solid var(--line);
}

.result-family:first-of-type {
  margin-top: 30px;
}

.result-family-heading {
  max-width: 940px;
  margin-bottom: 24px;
}

.result-family-heading h3 {
  margin: 0;
  font-size: clamp(1.55rem, 2.4vw, 2.35rem);
  letter-spacing: 0;
}

.figure-feature {
  margin: 34px 0 24px;
}

.figure-feature figure,
.result-family > figure,
.tab-panel > figure,
.result-grid figure,
.qualitative-panel,
.arc-carousel-panel {
  overflow: hidden;
  margin: 0;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #fff;
}

.result-family > figure,
.tab-panel > figure {
  margin: 0;
}

.result-family > figure + .qualitative-panel,
.tab-panel > figure + .qualitative-panel,
.result-family .result-grid + .qualitative-stack {
  margin-top: 24px;
}

.result-family > [data-qual-group] .qualitative-panel,
.result-family > figure + [data-qual-group] .qualitative-panel,
.result-family > .result-grid + [data-qual-group] .qualitative-panel {
  margin-top: 24px;
}

.compact-figure {
  margin-top: 22px;
}

.figure-feature img,
.result-grid img {
  width: 100%;
  background: #fff;
}

.js-figure-svg {
  display: block;
  width: 100%;
  height: auto;
  background: #fff;
}

.js-figure-wrap {
  position: relative;
}

.figure-tooltip {
  position: absolute;
  z-index: 3;
  min-width: 150px;
  padding: 10px 12px;
  border: 1px solid #d7dfec;
  border-radius: 7px;
  background: rgba(255, 255, 255, 0.97);
  box-shadow: 0 12px 32px rgba(23, 32, 51, 0.16);
  color: var(--ink);
  font-size: 0.78rem;
  line-height: 1.35;
  opacity: 0;
  pointer-events: none;
  transition: opacity 120ms ease;
  white-space: nowrap;
}

.figure-tooltip.visible {
  opacity: 1;
}

.figure-tooltip strong,
.figure-tooltip span {
  display: block;
}

.figure-tooltip strong {
  margin-bottom: 4px;
  font-size: 0.82rem;
}

.figure-tooltip span {
  color: var(--muted);
  font-weight: 700;
}

.tooltip-subtle {
  margin-top: -1px;
  margin-bottom: 7px;
  color: var(--muted);
  font-weight: 750;
}

.tooltip-row {
  display: grid;
  min-width: 210px;
  grid-template-columns: 1fr auto;
  gap: 16px;
  align-items: baseline;
}

.tooltip-row + .tooltip-row {
  margin-top: 3px;
}

.figure-tooltip .tooltip-row .tooltip-name,
.figure-tooltip .tooltip-row .tooltip-value {
  color: var(--row-color, var(--ink));
  font-weight: 850;
}

.figure-tooltip .tooltip-row.muted .tooltip-name,
.figure-tooltip .tooltip-row.muted .tooltip-value {
  color: var(--muted);
}

.figure-tooltip .tooltip-row.emphasized .tooltip-name,
.figure-tooltip .tooltip-row.emphasized .tooltip-value {
  color: var(--row-color, var(--ink));
  font-weight: 900;
}

.tooltip-separator {
  height: 1px;
  margin: 7px 0;
  background: #e4eaf3;
}

.figure-feature figcaption,
.result-family > figure figcaption,
.tab-panel > figure figcaption,
.result-grid figcaption {
  padding: 16px 18px 18px;
  border-top: 1px solid var(--line);
}

.result-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 26px;
}

.result-family > .result-grid {
  margin-top: 0;
}

.arc-result-grid,
.cellular-result-grid {
  grid-template-columns: 1fr;
}

.compact-figure-card .js-figure-svg {
  max-width: 780px;
  margin: 0 auto;
}

.task-tabs {
  display: grid;
  gap: 18px;
}

.tab-list {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
}

.tab-button {
  min-height: 38px;
  padding: 0 14px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #fff;
  color: var(--muted);
  cursor: pointer;
  font: inherit;
  font-size: 0.88rem;
  font-weight: 800;
}

.tab-button:hover {
  border-color: #b9c7db;
  color: var(--ink);
}

.tab-button.active,
.tab-button[aria-selected="true"] {
  border-color: var(--blue);
  background: var(--blue-soft);
  color: var(--blue-dark);
}

.tab-panels {
  min-width: 0;
}

.paired-figure-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
}

.paired-figure-grid figure {
  overflow: hidden;
  margin: 0;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #fff;
}

.paired-figure-grid figcaption {
  padding: 12px 14px 14px;
  border-top: 1px solid var(--line);
}

.tab-panel[hidden] {
  display: none;
}

.arc-carousel {
  position: relative;
}

.carousel-viewport {
  overflow: hidden;
}

.carousel-slide {
  display: none;
}

.carousel-slide.active {
  display: block;
}

.carousel-controls {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 14px;
  margin-top: 16px;
}

.carousel-button {
  width: 38px;
  height: 38px;
  border: 1px solid var(--line);
  border-radius: 50%;
  background: #fff;
  color: var(--ink);
  cursor: pointer;
  font-size: 1.8rem;
  line-height: 1;
}

.carousel-button:hover {
  border-color: var(--blue);
  color: var(--blue-dark);
}

.carousel-dots {
  display: flex;
  gap: 8px;
}

.carousel-dot {
  width: 10px;
  height: 10px;
  padding: 0;
  border: 1px solid var(--blue);
  border-radius: 50%;
  background: transparent;
  cursor: pointer;
}

.carousel-dot.active {
  background: var(--blue);
}

.arc-task {
  padding: 18px;
}

.arc-outcome-carousels {
  display: grid;
  gap: 22px;
  margin-top: 28px;
}

.arc-carousel-panel {
  padding: 18px;
}

.arc-carousel-panel .arc-task {
  padding: 0;
  border: 0;
  border-radius: 0;
  background: transparent;
}

.arc-task-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 14px;
}

.arc-task-heading span {
  display: block;
  margin-bottom: 3px;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 850;
  text-transform: uppercase;
}

.arc-task-heading h5 {
  margin: 0;
  font-size: 1.1rem;
}

.arc-examples,
.prediction-row {
  display: grid;
  gap: 8px;
}

.arc-examples {
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-bottom: 16px;
}

.arc-examples.six-col {
  grid-template-columns: repeat(6, minmax(0, 1fr));
}

.arc-examples img,
.prediction-row img,
.image-compare img {
  width: 100%;
  aspect-ratio: 1;
  object-fit: contain;
  border: 1px solid var(--line);
  background: #fff;
}

.prediction-row {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.prediction-row.four-col {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.prediction-row span {
  display: block;
  margin-bottom: 6px;
  color: var(--muted);
  font-size: 0.75rem;
  font-weight: 800;
  text-transform: uppercase;
}

.prediction-row .blue-model {
  color: var(--blue-dark);
}

.prediction-row .red-model {
  color: var(--red-dark);
}

.prediction-row .model-label {
  text-transform: none;
}

.qualitative-stack {
  display: grid;
  grid-template-columns: 1fr;
  gap: 26px;
  margin-top: 24px;
}

.qualitative-panel {
  padding: 18px;
}

.tab-panel > .qualitative-panel,
.tab-panel > [data-game-examples] .qualitative-panel,
.tab-panel > [data-qual-examples] .qualitative-panel {
  margin-top: 16px;
}

.compact-example-panel {
  padding: 14px;
}

.compact-example-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 12px;
  color: var(--muted);
  font-size: 0.8rem;
  font-weight: 850;
  text-transform: uppercase;
}

.mixed-slide-heading {
  margin-bottom: 14px;
}

.mixed-slide-heading span {
  display: block;
  margin-bottom: 3px;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 850;
  text-transform: uppercase;
}

.mixed-slide-heading h5 {
  margin: 0;
  font-size: 1.06rem;
  line-height: 1.2;
}

.compact-example-header span:last-child {
  color: var(--muted);
  font-size: 0.85rem;
  font-weight: 750;
}

.compact-prediction-row {
  display: grid;
  max-width: 880px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 12px;
  margin: 0 auto;
}

.compact-prediction-row-three {
  max-width: 680px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.compact-prediction-row figure {
  margin: 0;
}

.compact-prediction-row img {
  width: 100%;
  max-height: 180px;
  aspect-ratio: 1;
  object-fit: contain;
  border: 1px solid var(--line);
  background: #fff;
}

.compact-prediction-row figcaption {
  margin-top: 7px;
  color: var(--muted);
  text-align: center;
  font-size: 0.76rem;
  font-weight: 800;
  text-transform: uppercase;
}

.compact-prediction-row .model-caption {
  text-transform: none;
}

.compact-prediction-row .blue-model {
  color: var(--blue-dark);
}

.compact-prediction-row .red-model {
  color: var(--red-dark);
}

.compact-example-carousel .carousel-controls {
  margin-top: 12px;
}

.qualitative-stack article {
  padding: 18px;
}

.panel-head {
  display: flex;
  align-items: baseline;
  justify-content: flex-start;
  gap: 16px;
  margin-bottom: 16px;
}

.panel-head h4 {
  margin: 0;
  font-size: 1.05rem;
}

.tag {
  display: inline-flex;
  align-items: center;
  min-height: 26px;
  padding: 0 9px;
  border-radius: 5px;
  font-size: 0.72rem;
  font-weight: 850;
  text-transform: uppercase;
}

.tag.blue {
  background: var(--blue-soft);
  color: var(--blue-dark);
}

.tag.red {
  background: var(--red-soft);
  color: var(--red-dark);
}

.tag.neutral {
  background: var(--neutral);
  color: #4b5565;
}

.image-compare {
  display: grid;
  gap: 12px;
}

.image-compare.two-col {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.image-compare.four-col {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.image-compare figure {
  margin: 0;
}

.image-compare figcaption {
  margin-top: 8px;
  text-align: center;
}

.citation-section {
  background: #fff;
}

.citation-inner {
  display: grid;
  grid-template-columns: 0.55fr 1.45fr;
  gap: 32px;
  align-items: start;
}

pre {
  overflow-x: auto;
  margin: 0;
  padding: 20px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: #121826;
  color: #edf2ff;
  font-size: 0.9rem;
  line-height: 1.55;
}

code {
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
}

.site-footer {
  border-top: 1px solid var(--line);
  background: var(--soft);
  color: var(--muted);
}

.site-footer .section-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  min-height: 76px;
}

.site-footer a {
  color: var(--blue-dark);
  font-weight: 750;
}

@media (max-width: 980px) {
  .site-header {
    padding: 0 20px;
  }

  .nav-links {
    gap: 12px;
  }

  .hero-bg {
    padding-left: 30%;
    opacity: 0.24;
  }

  .citation-inner {
    grid-template-columns: 1fr;
    gap: 24px;
  }

  .protocol-compare {
    grid-template-columns: 1fr;
  }

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

  .method-branches {
    grid-template-columns: 1fr;
  }

  .arc-examples.six-col {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .paired-figure-grid {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 720px) {
  .site-header {
    position: relative;
    align-items: flex-start;
    flex-direction: column;
    gap: 10px;
    padding: 16px 20px;
  }

  .nav-links {
    width: 100%;
    justify-content: space-between;
  }

  .section {
    padding: 64px 0;
  }

  .hero {
    min-height: auto;
  }

  .hero-inner {
    min-height: auto;
    padding: 72px 0 48px;
  }

  .hero-bg {
    grid-template-columns: repeat(3, 1fr);
    padding: 42% 20px 24px;
    opacity: 0.18;
  }

  .method-task {
    align-items: flex-start;
    flex-direction: column;
  }

  .method-branches {
    padding: 14px;
  }

  .method-branch {
    padding: 16px;
  }

  .method-branch-flow {
    grid-template-columns: 1fr;
    gap: 14px;
  }

  .method-flow-arrow {
    transform: rotate(90deg);
  }

  .method-row,
  .method-row.llm-row {
    grid-template-columns: 1fr;
    justify-items: center;
  }

  .method-row-label {
    justify-self: stretch;
  }

  .arrow {
    width: 2px;
    height: 28px;
  }

  .arrow::after {
    top: auto;
    right: 50%;
    bottom: -1px;
    transform: translateX(50%) rotate(135deg);
  }

  .arc-examples,
  .image-compare.four-col,
  .compact-prediction-row {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 460px) {
  .section-inner {
    width: min(100% - 28px, 1160px);
  }

  .nav-links a {
    font-size: 0.84rem;
  }

  .hero-actions,
  .panel-head {
    align-items: stretch;
    flex-direction: column;
  }

  .button {
    width: 100%;
  }

  .prediction-row,
  .prediction-row.four-col,
  .compact-prediction-row,
  .image-compare.two-col {
    grid-template-columns: 1fr;
  }
}