/* Readable research copy and labels; main evidence leads the results chapter. */
body {
  font-size: 17px;
}
.section-heading > p,
.overview-copy p,
.method-intro p,
.sample-state p,
.sample-visual .action p,
.secondary-results article > p:not(.eyebrow),
.runtime-loop p {
  font-size: 17px;
  line-height: 1.8;
}
.cover-copy .hero-description {
  font-size: 17px;
}
.cover-copy .authors {
  font-size: 14px;
}
.cover-copy .button {
  font-size: 14px;
}
.nav {
  font-size: 14px;
}
.cinematic .world-choice small {
  font-size: 12px;
}
.cinematic .world-choice strong {
  font-size: 14px;
}
.hero-media-tools .media-control,
.hero-media-tools > a {
  font-size: 14px;
  min-height: 44px;
}
.hero-media-tools > a {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  white-space: nowrap;
}
.fine-print,
.paper-figure figcaption,
.world-context p,
.metric-definitions p,
.comparison-statistics p,
.recorded-judgments article p,
.runtime-reference-note,
.judgment-guide {
  font-size: 14px;
  line-height: 1.8;
}
.eyebrow,
.frame-label,
.sample-count,
.sample-gallery button,
.player-heading small,
.player-footer,
.table-heading > span,
.comparison-statistics summary,
.secondary-results summary,
.sample-program summary,
.recorded-judgments summary,
.workbench-actions > p,
.bench-toolbar label,
.workbench-controls label,
.probe-control > span {
  font-size: 13px;
}
.bench-toolbar select,
.workbench-controls select,
.probe-control button,
.small-button,
.player-heading b,
.twin-row-title p,
.clip-preview {
  font-size: 14px;
}
.judge-badge,
.clip-preview small,
.twin-row-state code,
.recorded-judgments article small,
.proof-strip div > span,
.cover-art figcaption {
  font-size: 12px;
}
#results-table td,
#results-table tbody th {
  font-size: 14px;
}
#results-table thead th {
  font-size: 13px;
}
.comparison-statistics {
  margin-top: 25px;
}
.runtime-demo .runtime-node pre {
  font-size: 12px;
  padding-inline: 5px;
  white-space: pre;
  overflow-x: auto;
}
.runtime-demo .ledger-line code,
.runtime-demo .settled-fact strong {
  font-size: 13px;
}
.runtime-demo .spatial-channel small {
  font-size: 12px;
}
.workbench-actions .small-button {
  font-size: 14px;
}
.sample-thumb span {
  font-size: 12px;
}
.state-variable {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 6px 10px;
  margin: -8px 0 18px;
  font-size: 13px;
  color: #536859;
}
.state-variable code {
  color: #284b38;
  font-size: 13px;
}
.sample-state .twin > code {
  font-size: 13px;
  padding-inline: 5px;
  white-space: nowrap;
  overflow-x: auto;
  overflow-wrap: normal;
}
.sample-state .twin-label > span,
.sample-state .twin p strong {
  font-size: 12px;
}
.sample-program pre {
  font-size: 12px;
  padding-inline: 5px;
  white-space: pre;
  overflow-x: auto;
  overflow-wrap: normal;
}
.metric-guide {
  margin: 25px 0;
  border-top: 1px solid var(--line);
}
.metric-scope {
  display: flex;
  align-items: baseline;
  gap: 14px;
  font-size: 14px;
  font-weight: 650;
  margin-top: 20px;
  color: #284b38;
}
.metric-scope span {
  font-size: 13px;
  font-weight: 400;
  color: #536859;
}
.metric-guide .metric-definitions {
  margin-top: 12px;
}
.metric-guide .metric-definitions b {
  font-size: 15px;
  font-weight: 650;
  margin-bottom: 6px;
}
.metric-guide .metric-definitions p {
  font-size: 14px;
  line-height: 1.75;
}
.probe-explanation {
  font-size: 14px;
  line-height: 1.8;
  color: #526757;
  margin: 17px 0 5px;
  max-width: 950px;
}
.probe-explanation b {
  font-weight: 600;
  color: #284b38;
}
.abstract p,
.runtime-feedback p {
  font-size: 17px;
  line-height: 1.8;
}
.runtime-demo .runtime-node p,
.twin-principle p,
.sample-state .twin p,
.runtime-demo .runtime-reference-note {
  font-size: 14px;
  line-height: 1.8;
}
.runtime-demo-top p,
.runtime-demo-top .eyebrow,
.sample-state .eyebrow,
.workbench-top .eyebrow,
.recorded-judgments > .fine-print,
.episode-dialog > .fine-print {
  font-size: 13px;
}
.runtime-node-number,
.runtime-twins button,
.visualscript-fields span,
.visualscript-fields b,
.ledger-line span,
.frozen-tag {
  font-size: 13px;
}
#results-table td,
#results-table tbody th {
  font-size: 16px;
}
#results-table thead th {
  font-size: 14px;
}
@media (max-width: 720px) {
  body {
    font-size: 16px;
  }
  .cinematic-footer-inner {
    display: flex;
    flex-direction: column;
    align-items: stretch;
    gap: 0;
  }
  .cinematic .world-selector {
    flex: none;
    width: 100%;
  }
  .cinematic .world-choice small {
    margin-top: 0;
  }
  .hero-media-tools {
    position: static;
    border-top: 1px solid #b8cdb533;
    padding-block: 4px 7px;
    gap: 25px;
  }
  .section-heading > p,
  .overview-copy p,
  .method-intro p,
  .sample-state p,
  .sample-visual .action p,
  .secondary-results article > p:not(.eyebrow),
  .runtime-loop p {
    font-size: 16px;
  }
  .cover-copy .hero-description {
    font-size: 16px;
  }
  .cover-copy .authors {
    font-size: 12px;
  }
  .cover-copy .button {
    font-size: 13px;
    padding-inline: 14px;
  }
  .nav {
    font-size: 13px;
    gap: 12px;
  }
  .fine-print,
  .paper-figure figcaption,
  .world-context p,
  .runtime-reference-note,
  .judgment-guide {
    font-size: 13px;
  }
  .sample-count,
  .player-footer,
  .player-heading small {
    font-size: 12px;
  }
  .twin-row-state code {
    font-size: 12px;
  }
  .abstract p,
  .runtime-feedback p {
    font-size: 16px;
  }
  #results-table td,
  #results-table tbody th {
    font-size: 15px;
  }
  #results-table thead th {
    font-size: 13px;
  }
  .bench-toolbar select,
  .workbench-controls select {
    font-size: 16px;
    min-height: 46px;
  }
  .probe-control button,
  .small-button {
    min-height: 44px;
  }
}
@media (max-width: 360px) {
  .runtime-demo {
    padding-inline: 10px;
  }
  .runtime-demo .runtime-node {
    padding-inline: 10px;
  }
  .cover-copy .button {
    font-size: 12px;
    padding-inline: 11px;
  }
  .nav {
    font-size: 12px;
  }
}
@media (max-width: 480px) {
  .workbench-controls {
    grid-template-columns: 1fr;
    align-items: stretch;
  }
  .probe-control > div {
    width: 100%;
  }
  .probe-control button {
    flex: 1;
  }
  .workbench-actions {
    flex-direction: column;
    align-items: stretch;
    gap: 12px;
  }
  .workbench-actions .small-button {
    width: 100%;
  }
  .sample-thumb {
    min-width: 120px;
  }
}
@media (min-width: 721px) and (max-width: 1279px) {
  .runtime-demo .runtime-nodes {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  .runtime-node:nth-child(2)::after {
    display: none;
  }
}
@media (min-width: 721px) and (max-width: 1000px) {
  .cinematic .world-choice {
    gap: 8px;
    padding-inline: 10px;
  }
  .cinematic .world-choice:first-child {
    padding-left: 0;
  }
  .cinematic .world-choice img {
    width: 40px;
    height: 36px;
    flex: none;
  }
}
@supports (grid-template-rows: subgrid) {
  @media (min-width: 721px) {
    .paired-video-row {
      grid-template-rows: auto auto auto;
      row-gap: 0;
    }
    .paired-video-row .compare-player {
      display: grid;
      grid-template-rows: subgrid;
      grid-row: span 3;
    }
  }
}
@media (min-width: 568px) and (max-width: 720px) and (max-height: 500px) and (orientation: landscape) {
  .cover-copy .hero-description {
    font-size: 14px;
  }
  .cover-copy .button {
    font-size: 12px;
  }
}

/* Previous public papers linked from both navigation menus. */

.more-works-section {
  padding-block: 56px 60px;
  border-top: 1px solid var(--line);
  background: #f0f3ec;
}
.more-works-heading {
  margin-bottom: 25px;
}
.more-works-heading h2 {
  font: 500 32px/1.3 var(--serif);
  letter-spacing: -0.035em;
  margin: 8px 0;
}
.more-works-heading > p:last-child {
  font-size: 16px;
  color: #536859;
}
.more-works-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
}
.more-work-card {
  display: flex;
  flex-direction: column;
  gap: 12px;
  padding: 22px 24px;
  background: #fcfdf9;
  border: 1px solid #d5dfd0;
  border-radius: 5px;
  transition:
    border-color 0.2s,
    background-color 0.2s;
}
.more-work-card:hover {
  border-color: #7c9b7e;
  background: #fff;
}
.more-work-title {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 16px;
}
.more-work-title h3 {
  margin: 0;
  font-size: 20px;
  font-weight: 650;
  color: #284b38;
}
.more-work-title > span {
  font-size: 13px;
  color: #536859;
  white-space: nowrap;
}
.more-work-card > p {
  margin: 0;
  font-size: 15px;
  line-height: 1.7;
  color: #536859;
}
.more-work-link {
  margin-top: auto;
  font-size: 13px;
  color: #284b38;
}
.more-work-link > span {
  margin-left: 5px;
}
@media (max-width: 720px) {
  .more-works-section {
    padding-block: 40px 44px;
  }
  .more-works-grid {
    grid-template-columns: 1fr;
    gap: 12px;
  }
  .more-work-card {
    padding: 18px;
  }
  .more-work-title h3 {
    font-size: 18px;
  }
  .more-work-card > p {
    font-size: 14px;
  }
}
@media (prefers-reduced-motion: reduce) {
  .more-work-card {
    transition: none;
  }
}

/* Native-resolution paper episodes with readable state captions. */
.episode-figure .eyebrow {
  color: #46664f;
}
.method-section .episode-figure {
  color: #274533;
  padding: 24px;
  background: #fbfcf9;
}
.episode-figure-heading h3 {
  font: 500 24px/1.3 var(--serif);
  margin: 8px 0;
}
.episode-figure-heading > p:last-child {
  font-size: 14px;
  color: #586b5d;
  margin-bottom: 20px;
}
.paper-episode {
  border-top: 1px solid #dbe3d9;
}
.paper-episode > summary {
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 16px 0;
  cursor: pointer;
  font-size: 16px;
  color: #284b38;
  list-style: none;
}
.paper-episode > summary::-webkit-details-marker {
  display: none;
}
.paper-episode > summary > b {
  flex: 1;
  font-weight: 600;
  font-size: 16px;
  color: #284b38;
}
.paper-episode > summary small {
  font-size: 13px;
  color: #607464;
  font-weight: 400;
}
.episode-expand {
  font-size: 20px;
  transition: transform 0.2s;
}
.paper-episode[open] .episode-expand {
  transform: rotate(45deg);
}
.episode-steps {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
  padding: 0 0 20px;
  margin: 0;
  list-style: none;
}
.episode-step {
  border: 1px solid #dce5d8;
  border-radius: 3px;
  overflow: hidden;
  background: #fff;
  display: grid;
  grid-template-rows: auto auto 1fr;
}
.episode-step-label {
  padding: 12px;
  display: flex;
  flex-direction: column;
  gap: 6px;
  font-size: 14px;
  line-height: 1.5;
}
.episode-step-label b {
  font-weight: 600;
}
.episode-step-label time {
  font-size: 12px;
  color: #617666;
}
.episode-figure .episode-step img {
  width: 100%;
  height: auto;
  aspect-ratio: 9/5;
}
.episode-step p {
  padding: 12px;
  font-size: 13px;
  line-height: 1.65;
  color: #46644e;
  margin: 0;
}
.episode-figure figcaption {
  border-top: 1px solid #dbe3d9;
  padding-top: 16px;
  margin-top: 0;
}
@media (max-width: 1000px) {
  .episode-steps {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}
@media (max-width: 720px) {
  .method-section .episode-figure {
    padding: 16px;
  }
  .episode-steps {
    gap: 10px;
  }
  .episode-step-label,
  .episode-step p {
    padding: 10px;
  }
  .episode-figure-heading h3 {
    font-size: 22px;
  }
  .paper-episode > summary {
    font-size: 15px;
  }
}
@media (prefers-reduced-motion: reduce) {
  .episode-expand {
    transition: none;
  }
}
@supports (grid-template-rows: subgrid) {
  .episode-steps {
    row-gap: 0;
    padding-bottom: 6px;
  }
  .episode-step {
    grid-template-rows: subgrid;
    grid-row: span 3;
    row-gap: 0;
    margin-bottom: 14px;
  }
  @media (max-width: 720px) {
    .episode-steps {
      padding-bottom: 10px;
    }
    .episode-step {
      margin-bottom: 10px;
    }
  }
}