:root {
  color-scheme: light;
  --bg: #f7f8f7;
  --surface: #ffffff;
  --ink: #17201f;
  --muted: #5e6b68;
  --line: #d5ddda;
  --data: #eef1f0;
  --data-stroke: #8f9b98;
  --retrieval: #dfeaf5;
  --retrieval-stroke: #4f7ea3;
  --neighborhood: #e1efe7;
  --neighborhood-stroke: #4f8b68;
  --enrichment: #e9e5f4;
  --enrichment-stroke: #786aa7;
  --fusion: #1f2927;
  --metric: #f7ead5;
  --metric-stroke: #b9863a;
  --accent: #b4532a;
  --blue: #4f7ea3;
  --green: #4f8b68;
  --violet: #786aa7;
  --radius: 8px;
  --shadow: 0 16px 40px rgba(23, 32, 31, 0.06);
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
}

* {
  box-sizing: border-box;
}

html {
  background: var(--bg);
  color: var(--ink);
}

body {
  margin: 0;
  overflow-x: hidden;
  font-size: 16px;
  line-height: 1.5;
}

a {
  color: var(--ink);
  text-decoration-color: rgba(23, 32, 31, 0.35);
  text-underline-offset: 3px;
}

a:hover {
  color: var(--accent);
}

.container {
  width: min(100% - 40px, 1240px);
  margin-inline: auto;
}

.site-header {
  padding: 46px 0 28px;
  border-bottom: 1px solid var(--line);
  background: var(--surface);
}

.header-grid {
  display: block;
}

.eyebrow {
  margin: 0 0 8px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

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

h1 {
  margin-bottom: 10px;
  font-size: clamp(3rem, 7vw, 5.6rem);
  line-height: 0.95;
  letter-spacing: 0;
}

h2 {
  margin-bottom: 8px;
  font-size: clamp(1.45rem, 3vw, 2rem);
  line-height: 1.15;
  letter-spacing: 0;
}

h3 {
  margin-bottom: 14px;
  font-size: 1rem;
  line-height: 1.25;
}

.claim {
  margin-bottom: 10px;
  color: #25322f;
  font-size: clamp(1.15rem, 2vw, 1.55rem);
  font-weight: 650;
}

.support {
  max-width: 760px;
  margin-bottom: 12px;
  color: var(--muted);
  font-size: 1rem;
}

.scope-note {
  max-width: 760px;
  margin-bottom: 20px;
  color: #3f4c49;
  font-size: 0.94rem;
  font-weight: 600;
}

.resource-links {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 20px;
  align-items: center;
  font-size: 0.94rem;
  font-weight: 650;
}

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

.result-metrics {
  margin-bottom: 22px;
}

.metric-card,
.chart-panel,
.review-box,
.milestone-grid article,
.evidence-grid article,
.demo-case {
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: var(--shadow);
}

.metric-card {
  min-height: 116px;
  padding: 18px;
}

.metric-card span,
.metric-card small {
  display: block;
  color: var(--muted);
  font-size: 0.85rem;
}

.metric-card strong {
  display: block;
  margin: 10px 0 5px;
  font-variant-numeric: tabular-nums;
  font-size: clamp(1.05rem, 1.8vw, 1.45rem);
  line-height: 1.15;
}

.figure-band,
.dataset-band,
.milestone-band,
.terms-band,
.next-phase-band,
.conclusion-band {
  padding: 54px 0;
}

.figure-band {
  background: var(--bg);
}

.dataset-band,
.milestone-band,
.terms-band,
.next-phase-band,
.conclusion-band {
  border-block: 1px solid var(--line);
  background: var(--surface);
}

.milestone-band {
  border-top: 0;
}

.section-heading {
  max-width: 800px;
  margin-bottom: 24px;
}

.section-heading p {
  margin-bottom: 0;
  color: var(--muted);
}

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

.dataset-scope-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(360px, 0.72fr);
  gap: 34px;
  align-items: start;
}

.review-box {
  padding: 20px;
}

.review-box div {
  padding-bottom: 14px;
  margin-bottom: 14px;
  border-bottom: 1px solid var(--line);
}

.review-box span {
  display: block;
  margin-bottom: 4px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 750;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.review-box strong {
  display: block;
  font-size: 1rem;
  line-height: 1.3;
  overflow-wrap: anywhere;
}

.review-box p {
  margin-bottom: 0;
  color: var(--muted);
  font-size: 0.92rem;
}

.method-notes {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin: -4px 0 24px;
}

.method-notes p {
  margin: 0;
  padding: 14px 16px;
  border-left: 3px solid var(--violet);
  background: rgba(233, 229, 244, 0.48);
  color: #3f4c49;
  font-size: 0.92rem;
}

.milestone-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
}

.milestone-grid article {
  padding: 18px;
}

.milestone-grid span {
  display: block;
  margin-bottom: 8px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 750;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.milestone-grid h3 {
  margin-bottom: 12px;
}

.milestone-grid ul,
.next-phase ul {
  margin: 0;
  padding-left: 18px;
  color: #3f4c49;
}

.milestone-grid li,
.next-phase li {
  margin-bottom: 8px;
  overflow-wrap: anywhere;
}

.terms-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 12px 16px;
  margin: 0;
}

.terms-grid div {
  padding: 12px 0;
  border-top: 1px solid var(--line);
}

.terms-grid dt {
  margin-bottom: 4px;
  font-size: 0.88rem;
  font-weight: 750;
}

.terms-grid dd {
  margin: 0;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.4;
}

.strategy-taxonomy {
  margin: 0 0 28px;
  padding: 18px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: var(--shadow);
}

.strategy-taxonomy h3 {
  margin-bottom: 8px;
}

.strategy-taxonomy p {
  max-width: 820px;
  margin-bottom: 16px;
  color: var(--muted);
  font-size: 0.92rem;
}

.strategy-taxonomy dl {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px 18px;
  margin: 0;
}

.strategy-taxonomy div {
  padding-top: 10px;
  border-top: 1px solid var(--line);
}

.strategy-taxonomy dt {
  margin-bottom: 4px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.78rem;
  font-weight: 750;
  overflow-wrap: anywhere;
}

.strategy-taxonomy dd {
  margin: 0;
  color: var(--muted);
  font-size: 0.84rem;
  line-height: 1.4;
}

svg {
  display: block;
  width: 100%;
  height: auto;
}

.pipeline-graph,
.pipeline-mobile-graph,
.knowledge-graph {
  overflow: visible;
}

.pipeline-mobile-graph {
  display: none;
}

.edges path,
.kg-edges path,
.mobile-edges path,
.demo-edges path {
  fill: none;
  stroke: #8a9693;
  stroke-width: 1.6;
  marker-end: url("#arrow");
}

.mobile-edges path {
  marker-end: url("#mobile-arrow");
}

.kg-edges path {
  marker-end: url("#kg-arrow");
}

.demo-edges path {
  marker-end: none;
}

.arrow-head {
  fill: #8a9693;
}

.node rect,
.kg-node rect,
.demo-node rect {
  stroke-width: 1.4;
}

.node text,
.kg-node text,
.demo-node text {
  fill: var(--ink);
  font-size: 17px;
  font-weight: 650;
  text-anchor: middle;
  dominant-baseline: middle;
}

.node.data rect {
  fill: var(--data);
  stroke: var(--data-stroke);
}

.node.retrieval rect,
.kg-node.retrieval rect {
  fill: var(--retrieval);
  stroke: var(--retrieval-stroke);
}

.node.neighborhood rect,
.kg-node.neighbor rect,
.demo-node.neighbor rect {
  fill: var(--neighborhood);
  stroke: var(--neighborhood-stroke);
}

.node.enrichment rect,
.kg-node.strategy rect,
.demo-node.strategy rect {
  fill: var(--enrichment);
  stroke: var(--enrichment-stroke);
}

.node.enrichment.core rect {
  fill: #ded8ef;
  stroke: #5f5293;
  stroke-width: 2.2;
}

.pipeline-label text {
  fill: var(--muted);
  font-size: 15px;
  font-weight: 750;
  letter-spacing: 0.04em;
  text-anchor: middle;
  text-transform: uppercase;
}

.node.fusion rect {
  fill: var(--fusion);
  stroke: var(--fusion);
}

.node.fusion text {
  fill: #ffffff;
}

.node.fusion text:first-of-type {
  font-size: 20px;
}

.node.fusion text:last-of-type {
  fill: #cbd6d3;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 14px;
}

.node.output rect,
.kg-node.premise rect,
.demo-node.premise rect {
  fill: #eef4f2;
  stroke: #6d9088;
}

.node.metric rect,
.kg-node.difficulty rect,
.demo-node.difficulty rect {
  fill: var(--metric);
  stroke: var(--metric-stroke);
}

.node.eval-only rect {
  fill: #fbf4e8;
  stroke-dasharray: 5 4;
}

.results,
.demo-section {
  padding: 54px 0;
}

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

.chart-panel {
  padding: 20px 22px 18px;
}

.chart-panel.wide {
  grid-column: 1 / -1;
}

.chart {
  min-height: 260px;
}

.axis path {
  fill: none;
  stroke: #6f7d79;
  stroke-width: 1.4;
}

.axis text,
.chart-labels text,
.legend text {
  fill: var(--muted);
  font-size: 14px;
  text-anchor: middle;
}

.axis text {
  text-anchor: end;
}

.chart-labels.small text {
  font-size: 12px;
}

.legend text {
  text-anchor: start;
  font-size: 13px;
}

.value-labels text {
  fill: #25322f;
  font-size: 11px;
  font-weight: 700;
  font-variant-numeric: tabular-nums;
  text-anchor: middle;
}

.recall-values text {
  font-size: 10px;
}

.grid-lines path {
  fill: none;
  stroke: #e1e7e4;
  stroke-width: 1;
}

.bar.baseline {
  fill: #8f9b98;
}

.bar.primary {
  fill: var(--green);
}

.bar.aux {
  fill: var(--violet);
}

.line {
  fill: none;
  stroke-width: 3;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.recall-line {
  stroke: var(--green);
}

.map-line {
  stroke: var(--accent);
}

.recall-points circle {
  fill: var(--green);
}

.map-points circle {
  fill: var(--accent);
}

.caption {
  margin: 12px 0 0;
  color: var(--muted);
  font-size: 0.92rem;
}

.two-column {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(360px, 0.9fr);
  gap: 56px;
  align-items: start;
}

.data-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.94rem;
}

.data-table th,
.data-table td {
  padding: 12px 10px;
  border-bottom: 1px solid var(--line);
  text-align: right;
  font-variant-numeric: tabular-nums;
}

.data-table th:first-child,
.data-table td:first-child {
  text-align: left;
}

.data-table thead th {
  color: var(--muted);
  font-size: 0.78rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.domain-bars {
  display: grid;
  gap: 9px;
}

.domain-bars div {
  display: grid;
  grid-template-columns: 120px minmax(90px, 1fr) 54px;
  gap: 12px;
  align-items: center;
  min-height: 22px;
  font-size: 0.9rem;
}

.domain-bars b {
  display: block;
  height: 10px;
  border-radius: 999px;
  background: var(--green);
}

.domain-bars em {
  color: var(--muted);
  font-style: normal;
  font-variant-numeric: tabular-nums;
  text-align: right;
}

.kg-node.theorem rect,
.demo-node.theorem rect {
  fill: #f3f4f3;
  stroke: #5d6865;
}

.kg-node.domain rect {
  fill: #eef1f0;
  stroke: #8f9b98;
}

.kg-node.proofstate rect {
  fill: var(--retrieval);
  stroke: var(--retrieval-stroke);
}

.kg-node text {
  font-size: 14px;
}

.evidence-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
  margin-top: 24px;
}

.evidence-grid article {
  padding: 18px;
}

.evidence-grid h3,
.demo-lists strong {
  display: block;
  margin-bottom: 10px;
  font-size: 0.85rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.evidence-grid ul,
.demo-lists ul {
  margin: 0;
  padding-left: 18px;
  color: #3f4c49;
  font-size: 0.9rem;
}

.evidence-grid li,
.demo-lists li {
  margin: 0 0 7px;
  overflow-wrap: anywhere;
}

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

.demo-case {
  padding: 20px;
}

.demo-case h3 {
  overflow-wrap: anywhere;
}

.demo-meta {
  margin-bottom: 16px;
  color: var(--muted);
  font-size: 0.9rem;
}

.demo-node text {
  font-size: 14px;
}

.demo-lists {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
  margin-top: 14px;
  padding-top: 14px;
  border-top: 1px solid var(--line);
}

.conclusion {
  max-width: 850px;
}

.conclusion p {
  margin-bottom: 0;
  font-size: clamp(1.12rem, 2vw, 1.4rem);
  font-weight: 650;
}

.next-phase {
  max-width: 900px;
}

.next-phase ul {
  columns: 2;
  column-gap: 42px;
  font-weight: 650;
}

.site-footer {
  padding: 28px 0;
  background: var(--surface);
}

.footer-grid {
  display: flex;
  flex-wrap: wrap;
  gap: 18px;
  align-items: center;
  justify-content: space-between;
}

@media (min-width: 980px) {
  .metric-grid {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }
}

@media (max-width: 900px) {
  .container {
    width: min(100% - 28px, 760px);
  }

  .chart-grid,
  .two-column,
  .dataset-scope-grid,
  .method-notes,
  .evidence-grid,
  .strategy-taxonomy dl,
  .milestone-grid,
  .terms-grid,
  .demo-grid {
    grid-template-columns: 1fr;
  }

  .metric-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .site-header,
  .figure-band,
  .dataset-band,
  .milestone-band,
  .terms-band,
  .next-phase-band,
  .results,
  .demo-section,
  .conclusion-band {
    padding-block: 36px;
  }

  .pipeline-graph {
    display: none;
  }

  .pipeline-mobile-graph {
    display: block;
    max-width: 430px;
    margin-inline: auto;
  }

  .knowledge-graph {
    min-width: 0;
    width: 100%;
  }
}

@media (max-width: 560px) {
  .container {
    width: min(100% - 22px, 520px);
  }

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

  .chart-panel,
  .demo-case,
  .metric-card,
  .review-box {
    padding: 16px;
  }

  .demo-lists {
    grid-template-columns: 1fr;
  }

  .next-phase ul {
    columns: 1;
  }

  .data-table {
    display: table;
    table-layout: fixed;
    overflow-x: visible;
    white-space: normal;
    font-size: 0.68rem;
  }

  .data-table th,
  .data-table td {
    padding: 8px 4px;
    overflow-wrap: anywhere;
  }

  .domain-bars div {
    grid-template-columns: 96px minmax(70px, 1fr) 48px;
    gap: 8px;
  }

  .chart {
    min-width: 540px;
  }

  .chart-panel {
    overflow-x: auto;
  }
}