:root {
  color-scheme: light;
  --ink: #303030;
  --heading: #242424;
  --muted: #646b75;
  --line: #dfe3e8;
  --soft: #f5f6f7;
  --blue: #0668d7;
  --blue-deep: #1b55c5;
  --blue-soft: #eef4ff;
  --gold: #c68a16;
  --gold-soft: #fff8e8;
  --page: 1160px;
  --text: 820px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: #ffffff;
  color: var(--ink);
  font-family: "Noto Sans", Arial, sans-serif;
  font-size: 17px;
  line-height: 1.66;
  letter-spacing: 0;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

a {
  color: inherit;
}

p {
  margin: 0 0 22px;
}

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

[hidden] {
  display: none !important;
}

.page-shell {
  width: min(calc(100% - 48px), var(--page));
  margin-inline: auto;
}

.text-column {
  width: min(calc(100% - 48px), var(--text));
  margin-inline: auto;
}

.publication-header {
  background: #ffffff;
}

.publication-hero {
  padding: 94px 0 78px;
  text-align: center;
}

.publication-hero h1 {
  max-width: 1120px;
  margin: 0 auto;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 68px;
  font-weight: 500;
  line-height: 1.08;
  letter-spacing: 0;
  text-wrap: balance;
}

.publication-hero h1 span {
  color: var(--blue);
}

.authors {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 6px 10px;
  margin: 42px 0 0;
  color: #3a3a3a;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 25px;
  font-weight: 400;
  line-height: 1.4;
}

.authors span:not(:last-child)::after {
  content: ",";
}

.authors sup,
.affiliations sup {
  position: relative;
  top: -0.25em;
  margin-left: 2px;
  font-size: 0.58em;
  line-height: 0;
}

.affiliations {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 6px 28px;
  margin: 16px 0 0;
  color: #454545;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 18px;
  line-height: 1.5;
}

.author-emails {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 5px 24px;
  margin: 10px 0 0;
  font-size: 14px;
  line-height: 1.5;
}

.author-emails a {
  color: var(--blue);
  text-decoration: none;
}

.author-emails a:hover {
  text-decoration: underline;
}

.publication-links {
  display: flex;
  justify-content: center;
  gap: 14px;
  margin-top: 40px;
}

.publication-links a {
  min-width: 142px;
  padding: 13px 24px;
  border: 1px solid #343434;
  border-radius: 999px;
  background: #343434;
  color: #ffffff;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 18px;
  font-weight: 600;
  line-height: 1.2;
  text-decoration: none;
  transition: background 140ms ease, transform 140ms ease;
}

.publication-links a:hover {
  background: #111111;
  transform: translateY(-1px);
}

.abstract-section {
  padding: 72px 0;
  background: var(--soft);
}

.abstract-section h2,
.paper-section h2 {
  margin: 0 0 22px;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 40px;
  font-weight: 600;
  line-height: 1.18;
  letter-spacing: 0;
  text-wrap: balance;
}

.abstract-section h2 {
  font-size: 32px;
}

.abstract-section p,
.paper-section .text-column > p {
  font-size: 17px;
}

.eyebrow {
  margin-bottom: 8px !important;
  color: var(--blue) !important;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 14px !important;
  font-weight: 700;
  letter-spacing: 0;
  text-transform: uppercase;
}

.paper-section {
  padding: 92px 0;
}

.paper-section.shaded,
.disclosure {
  background: var(--soft);
}

.section-intro {
  margin-bottom: 46px;
}

.relation-figure {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin-top: 44px;
  margin-bottom: 44px;
  border: 1px solid var(--line);
  border-radius: 8px;
  overflow: hidden;
}

.relation {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: center;
  gap: 24px;
  min-height: 134px;
  padding: 28px 34px;
  background: #ffffff;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 19px;
  font-weight: 500;
  line-height: 1.35;
  text-align: center;
}

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

.relation i {
  color: var(--blue);
  font-size: 28px;
  font-style: normal;
}

.relation-revision {
  background: var(--blue-soft);
}

.memory-functions {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 38px;
  margin-top: 50px;
}

.memory-functions article {
  padding-top: 18px;
  border-top: 3px solid var(--blue);
}

.memory-functions h3 {
  margin: 0 0 6px;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 22px;
  font-weight: 600;
  line-height: 1.25;
}

.memory-functions p {
  margin: 0;
  color: var(--muted);
  font-size: 15px;
  line-height: 1.55;
}

.research-figure {
  margin-top: 0;
  margin-bottom: 52px;
  padding: 34px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: #ffffff;
}

.figure-title {
  margin-bottom: 28px;
}

.figure-title h3 {
  margin: 0;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 24px;
  font-weight: 600;
  line-height: 1.25;
}

.figure-title p {
  margin: 4px 0 0;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.45;
}

figcaption {
  margin-top: 22px;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.55;
}

.process-flow {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 24px minmax(0, 1fr) 24px minmax(0, 1fr) 24px minmax(0, 1fr) 24px minmax(0, 1fr);
  align-items: center;
}

.process-stage {
  min-width: 0;
}

.process-stage > span {
  display: block;
  min-height: 34px;
  margin-bottom: 8px;
  color: var(--muted);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 11px;
  font-weight: 700;
  line-height: 1.25;
  text-align: center;
  text-transform: uppercase;
}

.process-stage > div {
  min-height: 142px;
  padding: 20px 18px;
  border: 1px solid #cfd5dd;
  border-radius: 8px;
  background: #ffffff;
}

.process-stage h4 {
  margin: 0 0 6px;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 18px;
  font-weight: 600;
  line-height: 1.25;
}

.process-stage p {
  margin: 0;
  color: var(--ink);
  font-size: 14px;
  line-height: 1.45;
}

.process-audit > div {
  border-color: #d39a2c;
  background: var(--gold-soft);
}

.process-output > div {
  border-color: var(--blue-deep);
  background: var(--blue-soft);
}

.flow-arrow {
  align-self: center;
  margin-top: 34px;
  color: var(--ink);
  font-size: 24px;
  font-style: normal;
  text-align: center;
}

.flow-arrow-audit {
  color: var(--gold);
}

.control-sequence {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: center;
  gap: 7px 11px;
  margin-top: 28px;
  padding: 17px 20px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
  font-weight: 600;
  line-height: 1.4;
}

.control-sequence i {
  color: var(--blue);
  font-size: 15px;
  font-style: normal;
}

.worlds-grid {
  display: grid;
  grid-template-columns: 1fr 1fr 1.12fr;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.world-panel,
.quantifier-panel {
  min-width: 0;
  padding: 30px;
}

.world-panel + .world-panel,
.quantifier-panel {
  border-left: 1px solid var(--line);
}

.world-panel h4,
.quantifier-panel h4,
.method-row h4,
.comparison-bars h4 {
  margin: 0 0 20px;
  color: var(--heading);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 19px;
  font-weight: 600;
  line-height: 1.3;
}

.support-map {
  display: grid;
  grid-template-columns: 60px 28px minmax(92px, 1fr);
  align-items: center;
  gap: 10px;
  min-height: 106px;
}

.support-group {
  display: grid;
  gap: 8px;
  padding: 8px;
  border: 1px solid #d39a2c;
  border-radius: 8px;
  background: var(--gold-soft);
}

.support-group.split {
  border-color: transparent;
  background: transparent;
}

.support-group span {
  display: grid;
  place-items: center;
  width: 40px;
  height: 40px;
  border: 1px solid #cfd5dd;
  border-radius: 50%;
  background: #ffffff;
  font-family: "Castoro", Georgia, serif;
  font-size: 20px;
}

.support-group.split span:first-child {
  border-color: #d39a2c;
  background: var(--gold-soft);
}

.support-map > i {
  color: var(--muted);
  font-size: 24px;
  font-style: normal;
  text-align: center;
}

.support-map > b {
  display: grid;
  min-height: 74px;
  place-items: center;
  padding: 12px;
  border: 1px solid #cfd5dd;
  border-radius: 8px;
  background: #ffffff;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 17px;
  font-weight: 500;
}

.proof-description {
  margin: 18px 0 4px;
  color: var(--muted);
  font-family: "Castoro", Georgia, serif;
  font-size: 15px;
}

.world-outcome {
  margin: 0;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 16px;
  font-weight: 600;
}

.world-outcome.retire,
.equation.influence {
  color: var(--gold);
}

.world-outcome.retain,
.equation.revision {
  color: var(--blue-deep);
}

.quantifier-panel h4 {
  margin-bottom: 8px;
}

.quantifier-panel p {
  margin: 0 0 8px;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.5;
}

.quantifier-panel p:nth-of-type(2) {
  margin-top: 24px;
}

.equation {
  font-family: "Castoro", Georgia, serif;
  font-size: 24px;
  line-height: 1.35;
}

.theorem {
  max-width: 920px;
  padding: 34px 38px;
  border-left: 4px solid var(--blue-deep);
  background: var(--blue-soft);
}

.theorem-label {
  margin: 0 0 10px;
  color: var(--blue-deep);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 13px;
  font-weight: 700;
  line-height: 1.4;
  text-transform: uppercase;
}

.theorem > p:nth-child(2) {
  margin: 0;
  color: var(--heading);
  font-family: "Castoro", Georgia, serif;
  font-size: 23px;
  line-height: 1.5;
}

.theorem details {
  margin-top: 20px;
  border-top: 1px solid #cbd9f5;
}

.theorem summary {
  padding-top: 15px;
  color: var(--blue-deep);
  cursor: pointer;
  font-size: 14px;
  font-weight: 700;
}

.theorem details p {
  margin: 14px 0 0;
  font-family: "Castoro", Georgia, serif;
  font-size: 16px;
  line-height: 1.6;
}

.result-summary {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-bottom: 58px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.result-summary > div {
  padding: 28px 24px;
  border-right: 1px solid var(--line);
}

.result-summary > div:last-child {
  border-right: 0;
}

.result-summary strong {
  display: block;
  color: var(--blue-deep);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 36px;
  font-weight: 600;
  line-height: 1.1;
}

.result-summary span {
  display: block;
  margin-top: 6px;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.45;
}

.study-figure {
  margin-bottom: 58px;
}

.study-tabs {
  display: flex;
  gap: 28px;
  margin-bottom: 18px;
  border-bottom: 1px solid var(--line);
}

.study-tabs button {
  appearance: none;
  padding: 0 0 11px;
  border: 0;
  border-bottom: 2px solid transparent;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 16px;
  font-weight: 600;
  letter-spacing: 0;
}

.study-tabs button[aria-selected="true"] {
  border-bottom-color: var(--blue);
  color: var(--heading);
}

.result-figure {
  margin-bottom: 0;
}

.result-legend {
  display: flex;
  justify-content: flex-end;
  gap: 24px;
  margin-bottom: 22px;
  color: var(--muted);
  font-size: 12px;
}

.result-legend span::before {
  content: "";
  display: inline-block;
  width: 14px;
  height: 8px;
  margin-right: 7px;
  border-radius: 2px;
}

.state-key::before {
  background: var(--blue-deep);
}

.decision-key::before {
  background: var(--gold);
}

.bar-chart {
  display: grid;
  gap: 26px;
}

.method-row {
  display: grid;
  grid-template-columns: 205px minmax(0, 1fr);
  align-items: center;
  gap: 26px;
}

.method-row header h4,
.comparison-bars h4 {
  margin-bottom: 1px;
  font-size: 16px;
}

.method-row header p,
.comparison-bars header p {
  margin: 0;
  color: var(--gold);
  font-size: 13px;
  line-height: 1.4;
}

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

.method-bars > div,
.comparison-bars article > div {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 58px;
  align-items: center;
  gap: 14px;
}

.bar,
.comparison-bars article > div > span {
  position: relative;
  display: block;
  width: 100%;
  height: 14px;
  overflow: hidden;
  border-radius: 999px;
  background: #e9edf2;
}

.bar::after,
.comparison-bars article > div > span::after {
  content: "";
  display: block;
  width: var(--bar-width);
  height: 100%;
  border-radius: inherit;
  background: var(--blue-deep);
}

.bar.decision::after {
  background: var(--gold);
}

.method-bars b,
.comparison-bars b {
  color: var(--heading);
  font-size: 14px;
  font-weight: 600;
  text-align: right;
}

.comparison-bars {
  display: grid;
  gap: 26px;
}

.comparison-bars article {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  align-items: center;
  gap: 26px;
}

.comparison-bars article:last-child > div > span::after {
  background: var(--blue);
}

.diagnosis-results {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.diagnosis-results > div {
  min-width: 0;
  padding: 30px 24px;
  border-right: 1px solid var(--line);
}

.diagnosis-results > div:last-child {
  border-right: 0;
}

.diagnosis-results strong {
  display: block;
  color: var(--blue-deep);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 34px;
  font-weight: 600;
  line-height: 1.1;
  white-space: nowrap;
}

.diagnosis-results span {
  display: block;
  margin-top: 7px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.45;
}

.revision-spectrum {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 44px;
  margin-bottom: 48px;
  border: 1px solid var(--line);
  border-radius: 8px;
  overflow: hidden;
}

.revision-spectrum span {
  padding: 22px 18px;
  border-right: 1px solid var(--line);
  color: var(--muted);
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 14px;
  font-weight: 600;
  line-height: 1.4;
  text-align: center;
}

.revision-spectrum span:last-child {
  border-right: 0;
  background: var(--blue-soft);
  color: var(--blue-deep);
}

.conclusion-statement {
  margin-top: 38px !important;
  padding-top: 25px;
  border-top: 1px solid var(--line);
  color: var(--blue-deep) !important;
  font-family: "Google Sans", "Noto Sans", Arial, sans-serif;
  font-size: 22px !important;
  font-weight: 600;
  line-height: 1.5;
}

.disclosure h2 {
  font-size: 30px;
}

footer {
  padding: 42px 0;
  background: #292929;
  color: #ffffff;
}

.footer-content {
  display: grid;
  grid-template-columns: 1.5fr 1fr auto;
  gap: 38px;
}

.footer-content p {
  margin: 0;
  color: #c9c9c9;
  font-size: 13px;
  line-height: 1.5;
}

.footer-content p:first-child,
.footer-content a {
  color: #ffffff;
}

.footer-content a {
  font-weight: 600;
  text-decoration: none;
}

@media (max-width: 1000px) {
  .publication-hero h1 {
    font-size: 54px;
  }

  .process-flow {
    grid-template-columns: 1fr;
    gap: 8px;
  }

  .process-stage {
    display: grid;
    grid-template-columns: 150px minmax(0, 1fr);
    align-items: center;
    gap: 18px;
  }

  .process-stage > span {
    min-height: 0;
    margin: 0;
    text-align: right;
  }

  .process-stage > div {
    min-height: auto;
  }

  .flow-arrow {
    margin: 0 0 0 133px;
    transform: rotate(90deg);
  }

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

  .quantifier-panel {
    grid-column: 1 / -1;
    border-top: 1px solid var(--line);
    border-left: 0;
  }
}

@media (max-width: 760px) {
  body {
    font-size: 16px;
  }

  .page-shell,
  .text-column {
    width: min(calc(100% - 32px), var(--page));
  }

  .publication-hero {
    padding: 62px 0 56px;
  }

  .publication-hero h1 {
    font-size: 39px;
    line-height: 1.11;
  }

  .authors {
    gap: 4px 8px;
    margin-top: 30px;
    font-size: 19px;
  }

  .affiliations,
  .author-emails {
    display: grid;
    gap: 4px;
  }

  .affiliations {
    font-size: 16px;
  }

  .author-emails {
    margin-top: 12px;
    font-size: 13px;
  }

  .publication-links {
    margin-top: 30px;
  }

  .publication-links a {
    min-width: 124px;
    padding: 11px 18px;
    font-size: 16px;
  }

  .abstract-section,
  .paper-section {
    padding: 64px 0;
  }

  .abstract-section h2,
  .paper-section h2 {
    font-size: 31px;
  }

  .abstract-section p,
  .paper-section .text-column > p {
    font-size: 16px;
  }

  .relation-figure,
  .memory-functions,
  .worlds-grid,
  .result-summary,
  .diagnosis-results,
  .revision-spectrum {
    grid-template-columns: 1fr;
  }

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

  .relation {
    min-height: 116px;
    padding: 24px 20px;
    font-size: 16px;
  }

  .memory-functions {
    gap: 26px;
  }

  .research-figure {
    width: calc(100% - 24px);
    padding: 24px 16px;
  }

  .figure-title h3 {
    font-size: 21px;
  }

  .process-stage {
    grid-template-columns: 1fr;
    gap: 7px;
  }

  .process-stage > span {
    text-align: left;
  }

  .flow-arrow {
    margin-left: 0;
  }

  .control-sequence {
    justify-content: flex-start;
  }

  .world-panel,
  .quantifier-panel {
    padding: 26px 10px;
  }

  .world-panel + .world-panel,
  .quantifier-panel {
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .quantifier-panel {
    grid-column: auto;
  }

  .support-map {
    max-width: 300px;
    margin-inline: auto;
  }

  .theorem {
    width: calc(100% - 32px);
    padding: 28px 24px;
  }

  .theorem > p:nth-child(2) {
    font-size: 20px;
  }

  .result-summary > div {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .result-summary > div:last-child {
    border-bottom: 0;
  }

  .diagnosis-results > div {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .diagnosis-results > div:last-child {
    border-bottom: 0;
  }

  .result-legend {
    justify-content: flex-start;
    flex-wrap: wrap;
    gap: 8px 18px;
  }

  .method-row,
  .comparison-bars article {
    grid-template-columns: 1fr;
    gap: 12px;
  }

  .method-row + .method-row,
  .comparison-bars article + article {
    padding-top: 24px;
    border-top: 1px solid var(--line);
  }

  .revision-spectrum span {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .revision-spectrum span:last-child {
    border-bottom: 0;
  }

  .footer-content {
    grid-template-columns: 1fr;
    gap: 14px;
  }
}

@media (max-width: 390px) {
  .publication-hero h1 {
    font-size: 35px;
  }

  .publication-links {
    gap: 10px;
  }

  .publication-links a {
    min-width: 0;
    flex: 1;
  }

  .relation {
    grid-template-columns: 1fr;
    gap: 6px;
  }

  .relation i {
    transform: rotate(90deg);
  }

  .method-bars > div,
  .comparison-bars article > div {
    grid-template-columns: minmax(0, 1fr) 48px;
  }
}

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

  *,
  *::before,
  *::after {
    transition-duration: 0.01ms !important;
  }
}