:root {
  --bg: #f1f0eb;
  --paper: #fffefb;
  --ink: #171714;
  --body: #30302c;
  --muted: #66665f;
  --line: #c9c8c0;
  --line-dark: #8c8b84;
  --blue: #164f78;
  --accent: #9a4f32;
  --accent-soft: #efe2d4;
  --green: #315b4b;
  --panel-soft: #f5f4ef;
  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* {
  box-sizing: border-box;
}

html {
  background: var(--bg);
  color: var(--body);
  scroll-behavior: smooth;
}

body {
  margin: 0;
  font-family: var(--serif);
  font-size: 17px;
  line-height: 1.62;
  text-rendering: optimizeLegibility;
}

a {
  color: var(--blue);
  text-decoration-thickness: 0.06em;
  text-underline-offset: 0.13em;
}

a:hover {
  color: #0b314c;
}

code,
pre,
input,
select,
.site-header,
.site-footer,
.eyebrow,
.source-note,
.document-toolbar,
.publication-claims,
.claims-controls,
.maturity-controls,
.catalog-table,
.claims-table,
.maturity-table,
.result-kicker,
.claim-metadata dt {
  font-family: var(--sans);
}

code {
  background: var(--panel-soft);
  border: 1px solid var(--line);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 0.86em;
  padding: 0.08em 0.3em;
}

.site-shell {
  min-height: 100vh;
}

.site-header {
  align-items: center;
  background: var(--paper);
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 28px;
  grid-template-columns: auto 1fr auto;
  min-height: 62px;
  padding: 0 34px;
  position: sticky;
  top: 0;
  z-index: 20;
}

.site-title {
  color: var(--ink);
  font-family: var(--serif);
  font-size: 20px;
  font-weight: 700;
  text-decoration: none;
}

.site-header nav {
  display: flex;
  gap: 24px;
}

.site-header nav a,
.repository-link {
  color: #3f3f3a;
  font-size: 13px;
  text-decoration: none;
}

.site-header nav a[aria-current="page"] {
  color: var(--ink);
  font-weight: 700;
  text-decoration: underline;
  text-underline-offset: 0.45em;
}

.repository-link {
  color: var(--blue);
}

.site-footer {
  border-top: 1px solid var(--line);
  color: var(--muted);
  display: grid;
  font-size: 12px;
  gap: 28px;
  grid-template-columns: 1.15fr 1fr 0.85fr;
  margin: 72px auto 0;
  max-width: 1240px;
  padding: 26px 34px 44px;
}

.site-footer p {
  margin: 0;
}

.site-footer-disclosure {
  background: var(--accent-soft);
  border-left: 3px solid var(--accent);
  color: var(--ink);
  grid-column: 1 / -1;
  padding: 11px 14px;
}

.library-main,
.prose-page,
.claim-page {
  margin: 0 auto;
  max-width: 1180px;
  padding: 58px 34px 80px;
}

.wide-main {
  margin: 0 auto;
  max-width: 1540px;
  padding: 58px 30px 80px;
}

.library-heading {
  border-bottom: 1px solid var(--line-dark);
  margin-bottom: 44px;
  max-width: 920px;
  padding-bottom: 30px;
}

.research-index-hero {
  align-items: start;
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  gap: 52px;
  grid-template-columns: minmax(0, 1.18fr) minmax(350px, 0.82fr);
  margin-bottom: 44px;
  padding-bottom: 32px;
}

.research-index-heading {
  border-bottom: 0;
  margin-bottom: 0;
  max-width: none;
  padding-bottom: 0;
}

.latest-research-feed {
  background: rgb(255 254 251 / 72%);
  border: 1px solid var(--line);
  border-top: 4px solid var(--ink);
  min-width: 0;
}

.latest-research-header {
  align-items: end;
  border-bottom: 1px solid var(--line);
  display: flex;
  gap: 16px;
  justify-content: space-between;
  padding: 14px 18px 13px;
}

.latest-research-header p,
.latest-research-header h2,
.latest-research-feed ol,
.latest-research-feed li > p,
.latest-research-feed li > h3 {
  margin: 0;
}

.latest-research-header p {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.latest-research-header h2 {
  font-size: 24px;
  line-height: 1.15;
  margin-top: 3px;
}

.latest-research-header > a {
  font-family: var(--sans);
  font-size: 11px;
  white-space: nowrap;
}

.latest-research-feed ol {
  list-style: none;
  max-height: 388px;
  overflow-y: auto;
  overscroll-behavior: contain;
  padding: 0;
  scrollbar-gutter: stable;
}

.latest-research-feed li {
  padding: 13px 18px 14px;
}

.latest-research-feed li + li {
  border-top: 1px solid var(--line);
}

.latest-research-meta {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 6px 10px;
}

.latest-research-meta time,
.latest-research-meta a {
  font-family: var(--sans);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.04em;
  line-height: 1.3;
  text-transform: uppercase;
}

.latest-research-meta time {
  color: var(--ink);
  font-variant-numeric: tabular-nums;
}

.latest-research-meta a {
  background: var(--accent-soft);
  color: var(--accent);
  padding: 3px 6px;
  text-decoration: none;
}

.latest-research-feed li > h3 {
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.3;
  margin-top: 7px;
}

.latest-research-feed li > p {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.38;
  margin-top: 4px;
}

.research-journal-list {
  border-top: 4px solid var(--ink);
}

.research-journal-entry {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 34px;
  grid-template-columns: 190px minmax(0, 1fr);
  padding: 24px 8px 26px;
}

.research-journal-entry > time {
  color: var(--ink);
  font-family: var(--sans);
  font-size: 12px;
  font-variant-numeric: tabular-nums;
  font-weight: 700;
  letter-spacing: 0.025em;
  line-height: 1.4;
  text-transform: uppercase;
}

.research-journal-theme {
  background: var(--accent-soft);
  color: var(--accent);
  display: inline-block;
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.06em;
  padding: 4px 7px;
  text-decoration: none;
  text-transform: uppercase;
}

.research-journal-entry h2 {
  font-size: 25px;
  line-height: 1.2;
  margin: 9px 0 7px;
}

.research-journal-entry > div > p {
  color: var(--muted);
  font-size: 16px;
  line-height: 1.5;
  margin: 0;
  max-width: 760px;
}

.home-heading {
  border-bottom-color: var(--accent);
  max-width: 980px;
}

.home-heading .eyebrow {
  color: var(--accent);
}

.eyebrow {
  color: var(--muted);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.12em;
  margin: 0 0 12px;
  text-transform: uppercase;
}

.library-heading h1,
.claim-page h1 {
  color: var(--ink);
  font-size: clamp(42px, 6vw, 72px);
  font-weight: 500;
  letter-spacing: -0.035em;
  line-height: 1.04;
  margin: 0;
}

.lede {
  color: #30302b;
  font-size: 22px;
  line-height: 1.5;
  margin: 24px 0 0;
  max-width: 850px;
}

.source-note,
.claim-counts {
  color: var(--muted);
  font-size: 12px;
  margin: 22px 0 0;
}

.library-section {
  margin-top: 58px;
}

.home-research-updates > p:not(.eyebrow) {
  max-width: 780px;
}

.earlier-research {
  border-top: 1px solid var(--line);
  margin-top: 26px;
  padding-top: 18px;
}

.earlier-research h3 {
  font-size: 16px;
  margin: 0 0 10px;
}

.earlier-research ul {
  display: grid;
  gap: 10px;
  list-style: none;
  margin: 0;
  padding: 0;
}

.earlier-research li {
  display: flex;
  flex-wrap: wrap;
  column-gap: 18px;
  row-gap: 4px;
}

.earlier-research time {
  color: var(--muted);
  font-size: 14px;
}

.home-publications {
  margin-top: 64px;
}

.home-publication-list {
  border-top: 3px solid var(--ink);
}

.home-publication-entry {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 24px;
  grid-template-columns: 48px minmax(0, 860px);
  padding: 30px 10px 34px;
  transition: background-color 140ms ease;
}

.home-publication-entry:hover {
  background: rgb(255 254 251 / 58%);
}

.home-publication-rank {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 11px;
  font-weight: 750;
  letter-spacing: 0.1em;
  padding-top: 7px;
}

.home-publication-meta {
  color: var(--green);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 0.1em;
  margin: 0 0 7px;
  text-transform: uppercase;
}

.home-publication-entry h3 {
  font-size: clamp(25px, 3.25vw, 38px);
  font-weight: 500;
  letter-spacing: -0.025em;
  line-height: 1.12;
  margin: 0;
  text-wrap: balance;
}

.home-publication-entry h3 a {
  color: var(--ink);
  text-decoration: none;
}

.home-publication-entry h3 a:hover {
  color: var(--blue);
}

.home-publication-description {
  color: #41413b;
  font-size: 18px;
  line-height: 1.55;
  margin: 13px 0 0;
  max-width: 790px;
}

.home-publication-links {
  display: flex;
  flex-wrap: wrap;
  font-family: var(--sans);
  font-size: 11px;
  gap: 8px 18px;
  margin: 15px 0 0;
}

.home-publication-links a {
  color: var(--blue);
  font-weight: 650;
  text-decoration: none;
}

.home-publication-links a::after {
  color: var(--accent);
  content: " →";
}

.section-heading {
  align-items: baseline;
  border-bottom: 1px solid var(--line-dark);
  display: flex;
  justify-content: space-between;
  margin-bottom: 0;
  padding-bottom: 10px;
}

.section-heading h2,
.program-register h2,
.prose-page h2,
.claim-section h2 {
  color: var(--ink);
  font-size: 27px;
  font-weight: 600;
  letter-spacing: -0.015em;
  margin: 0;
}

.section-heading > a {
  font-family: var(--sans);
  font-size: 12px;
}

.table-scroll {
  overflow-x: auto;
}

.table-wrap {
  overflow-x: auto;
  overscroll-behavior-inline: contain;
}

.catalog-table,
.claims-table {
  border-collapse: collapse;
  width: 100%;
}

.catalog-table {
  font-size: 13px;
  min-width: 1040px;
}

.catalog-table th,
.catalog-table td,
.claims-table th,
.claims-table td {
  border-bottom: 1px solid var(--line);
  padding: 12px 10px;
  text-align: left;
  vertical-align: top;
}

.catalog-table th,
.claims-table th {
  color: var(--muted);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.catalog-table td:first-child {
  font-family: var(--serif);
  font-size: 16px;
  line-height: 1.35;
  width: 48%;
}

.catalog-table td:first-child a,
.library-register dt a {
  color: var(--ink);
  font-weight: 600;
}

.library-register {
  margin: 0;
}

.library-register > div {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 28px;
  grid-template-columns: minmax(220px, 0.35fr) 1fr;
  padding: 18px 10px;
}

.library-register dt {
  font-size: 19px;
}

.library-register dd {
  color: #484842;
  margin: 0;
}

.document-toolbar {
  align-items: center;
  border-bottom: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  font-size: 12px;
  gap: 8px 20px;
  margin: 0 auto;
  max-width: 1120px;
  padding: 16px 22px;
}

.document-toolbar span {
  color: var(--muted);
}

.publication-page,
.research-page {
  padding: 0 20px 90px;
}

.publication-claims {
  border-bottom: 1px solid var(--line);
  color: var(--muted);
  font-size: 12px;
  margin: 0 auto;
  max-width: 920px;
  padding: 16px 8px;
}

.publication-claims strong {
  color: var(--body);
}

.publication-claims p {
  display: inline;
  margin: 0 0 0 12px;
}

.publication-document {
  background: var(--paper);
  border: 1px solid #d7d5cc;
  box-shadow: 0 1px 3px rgb(0 0 0 / 5%);
  color: #20201d;
  margin: 34px auto 0;
  max-width: 920px;
  min-height: 900px;
  padding: 72px clamp(34px, 7vw, 88px) 96px;
}

.publication-document #title-block-header {
  border-bottom: 1px solid var(--line-dark);
  margin: 0 0 44px;
  padding: 0 0 36px;
  text-align: center;
}

.publication-document .title {
  color: var(--ink);
  font-size: clamp(30px, 4.5vw, 46px);
  font-weight: 600;
  letter-spacing: -0.025em;
  line-height: 1.16;
  margin: 0;
}

.publication-document .subtitle {
  font-size: 21px;
  font-weight: 400;
}

.publication-document .author,
.publication-document .date {
  font-size: 15px;
  font-weight: 400;
  margin: 15px 0 0;
}

.publication-document #TOC,
.research-document #TOC {
  border-bottom: 1px solid var(--line);
  border-top: 1px solid var(--line);
  margin: 36px 0 52px;
  padding: 22px 0;
}

.publication-document #TOC::before,
.research-document #TOC::before {
  color: var(--ink);
  content: "Contents";
  display: block;
  font-family: var(--sans);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.08em;
  margin-bottom: 10px;
  text-transform: uppercase;
}

.publication-document #TOC ul,
.research-document #TOC ul {
  margin: 0;
  padding-left: 22px;
}

.publication-document #TOC li,
.research-document #TOC li {
  margin: 3px 0;
}

.publication-document #TOC a,
.research-document #TOC a {
  color: #3a3a35;
  font-size: 14px;
  text-decoration: none;
}

.publication-document h1,
.research-document h1 {
  border-bottom: 1px solid var(--line-dark);
  color: var(--ink);
  font-size: 29px;
  font-weight: 600;
  letter-spacing: -0.018em;
  line-height: 1.2;
  margin: 64px 0 24px;
  padding-bottom: 7px;
  scroll-margin-top: 82px;
}

.publication-document h1:first-child,
.research-document h1:first-child {
  margin-top: 0;
}

.publication-document h2,
.research-document h2 {
  color: var(--ink);
  font-size: 23px;
  font-weight: 600;
  line-height: 1.25;
  margin: 42px 0 16px;
  scroll-margin-top: 82px;
}

.publication-document h3,
.research-document h3 {
  color: var(--ink);
  font-size: 19px;
  margin: 32px 0 12px;
}

.publication-document p,
.research-document p {
  margin: 0 0 16px;
}

.publication-document ul,
.publication-document ol,
.research-document ul,
.research-document ol {
  padding-left: 25px;
}

.publication-document li,
.research-document li {
  margin: 5px 0;
}

.publication-document a,
.research-document a {
  overflow-wrap: anywhere;
}

.publication-document blockquote,
.research-document blockquote {
  border-left: 2px solid var(--line-dark);
  color: #3f3f3a;
  margin: 24px 0;
  padding: 4px 0 4px 20px;
}

.publication-document .theorem,
.publication-document .lemma,
.publication-document .proposition,
.publication-document .corollary,
.publication-document .definition,
.publication-document .example,
.publication-document .remark {
  border-left: 3px solid #363631;
  margin: 30px 0;
  padding: 7px 0 7px 20px;
}

.publication-document .definition,
.publication-document .example,
.publication-document .remark {
  border-left-color: var(--line-dark);
}

.publication-document .proof {
  margin: 24px 0 34px;
  padding-left: 22px;
}

.publication-document .proof::after {
  content: "□";
  display: block;
  text-align: right;
}

.publication-document table,
.research-document table {
  border-collapse: collapse;
  font-size: 14px;
  margin: 28px 0;
  width: 100%;
}

.publication-document th,
.publication-document td,
.research-document th,
.research-document td {
  border-bottom: 1px solid var(--line);
  padding: 8px 9px;
  text-align: left;
  vertical-align: top;
}

.publication-document th,
.research-document th {
  border-bottom-color: var(--line-dark);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 12px;
}

.publication-document figure {
  margin: 38px auto;
  text-align: center;
}

.publication-document figure img {
  display: block;
  height: auto;
  margin: 0 auto 14px;
  max-height: 620px;
  max-width: 100%;
}

.publication-document figcaption {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.45;
  text-align: left;
}

.publication-document pre,
.research-document pre {
  background: #f4f3ee;
  border: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.5;
  overflow-x: auto;
  padding: 14px 16px;
}

.publication-document pre code,
.research-document pre code {
  background: none;
  border: 0;
  padding: 0;
}

.publication-document span.math.inline,
.research-document span.math.inline {
  white-space: normal;
}

.publication-document span.math.display,
.research-document span.math.display {
  display: block;
  margin: 22px 0;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 4px 0;
  text-align: center;
}

.katex-display {
  margin: 0 !important;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 2px 0;
}

.math-error {
  color: #8a1f17;
  font-family: var(--mono);
  white-space: pre-wrap;
}

.research-history-topic {
  border-top: 1px solid var(--line);
  padding: 15px 0;
}

.research-history-topic > summary,
.reading-contents > summary {
  color: var(--ink);
  cursor: pointer;
  font: 600 1rem/1.5 var(--sans);
}

.research-history-topic > section > h2 {
  margin-top: 24px;
}

.reading-contents {
  border-block: 1px solid var(--line);
  margin: 28px 0;
  padding: 16px 0;
}

.reading-document table {
  display: block;
  max-width: 100%;
  overflow-x: auto;
}

.reading-document img {
  max-width: 100%;
  height: auto;
}

.equation-anchor {
  display: block;
  position: relative;
  scroll-margin-top: 82px;
}

.publication-document .thebibliography,
.publication-document #refs {
  font-size: 14px;
}

.publication-document .thebibliography p,
.publication-document .csl-entry {
  margin-bottom: 11px;
}

.publication-document .footnotes {
  border-top: 1px solid var(--line);
  font-size: 13px;
  margin-top: 50px;
  padding-top: 12px;
}

.program-register {
  margin: 42px auto 0;
  max-width: 1120px;
}

.program-register > h2 {
  border-bottom: 1px solid var(--line-dark);
  padding-bottom: 9px;
}

.research-document {
  background: var(--paper);
  border: 1px solid #d7d5cc;
  color: #24241f;
  margin: 44px auto 0;
  max-width: 960px;
  padding: 62px clamp(30px, 6vw, 76px) 84px;
}

.research-document > h1:first-child {
  border-bottom: 2px solid var(--ink);
  font-size: 38px;
  margin-bottom: 30px;
}

.research-boundary-supplement {
  background: rgb(255 254 251 / 65%);
  border: 1px solid #d7d5cc;
  margin: 32px auto 0;
  max-width: 960px;
  padding: 52px clamp(30px, 6vw, 76px) 64px;
}

.research-boundary-supplement > header {
  border-bottom: 2px solid var(--ink);
  padding-bottom: 24px;
}

.research-boundary-supplement > header h2 {
  font-size: clamp(28px, 4vw, 38px);
  line-height: 1.12;
  margin: 7px 0 16px;
}

.research-boundary-supplement > header p:last-child {
  color: #3d3d37;
  font-size: 18px;
  line-height: 1.55;
  margin: 0;
  max-width: 780px;
}

.research-definition-panel {
  background: #f3f1e9;
  border-left: 4px solid var(--accent);
  margin: 30px 0 8px;
  padding: 22px 26px 20px;
}

.research-definition-panel h3 {
  font-size: 22px;
  margin: 0 0 12px;
}

.research-definition-panel h3:not(:first-child) {
  margin-top: 24px;
}

.research-definition-panel p,
.research-definition-panel li {
  color: #34342f;
  line-height: 1.55;
}

.research-definition-panel p {
  margin: 0;
}

.research-definition-panel ul {
  margin: 12px 0;
  padding-left: 22px;
}

.research-definition-panel li + li {
  margin-top: 6px;
}

.boundary-claim-pair {
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 34px;
}

.boundary-claim-pair article {
  padding: 4px 28px 30px 0;
}

.boundary-claim-pair article + article {
  border-left: 1px solid var(--line);
  padding-left: 28px;
}

.boundary-claim-pair h3,
.failure-ledger-grid h3 {
  font-size: 23px;
  line-height: 1.2;
  margin: 7px 0 13px;
}

.boundary-claim-pair article > p:not(.eyebrow),
.failure-ledger-grid article > p:not(.eyebrow) {
  color: #3d3d37;
  line-height: 1.55;
}

.failure-ledger-grid article {
  border-bottom: 1px solid var(--line-dark);
  scroll-margin-top: 82px;
  padding: 30px 0 34px;
}

.failure-ledger-grid article:last-child {
  border-bottom: 0;
  padding-bottom: 0;
}

.failure-ledger-grid dl {
  border-top: 1px solid var(--line);
  margin: 22px 0 0;
}

.failure-ledger-grid dl > div {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 22px;
  grid-template-columns: 145px 1fr;
  padding: 12px 0;
}

.failure-ledger-grid dt {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.failure-ledger-grid dd {
  margin: 0;
}

.boundary-record-link {
  font-family: var(--sans);
  font-size: 12px;
  margin: 18px 0 0;
}

.claims-controls {
  align-items: end;
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  gap: 14px;
  grid-template-columns: minmax(260px, 1fr) 210px 170px minmax(240px, 0.65fr) auto;
  padding: 0 0 18px;
}

.claims-controls label {
  color: var(--muted);
  display: grid;
  font-size: 10px;
  font-weight: 700;
  gap: 5px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.claims-controls input,
.claims-controls select {
  background: var(--paper);
  border: 1px solid var(--line-dark);
  border-radius: 0;
  color: var(--ink);
  font-size: 13px;
  min-height: 39px;
  padding: 7px 9px;
  text-transform: none;
}

.claims-controls p {
  color: var(--muted);
  font-size: 12px;
  margin: 0 0 8px;
  white-space: nowrap;
}

.claims-table {
  font-size: 12px;
  line-height: 1.45;
  min-width: 1180px;
}

.claims-table td:nth-child(1) {
  font-family: var(--mono);
  font-size: 11px;
  white-space: nowrap;
}

.claims-table td:nth-child(2) {
  font-family: var(--serif);
  font-size: 14px;
  width: 50%;
}

.claims-table td:nth-child(3) {
  white-space: nowrap;
}

.claims-table td:nth-child(4) {
  min-width: 220px;
}

.claims-table td:nth-child(4) > strong,
.claims-table td:nth-child(4) > span {
  display: block;
}

.claims-table td:nth-child(4) > span {
  color: var(--muted);
  margin-top: 4px;
}

.claim-id-link {
  display: block;
  font-family: var(--mono);
  font-size: 10px;
  margin-bottom: 5px;
}

.claim-statement-link {
  color: var(--body);
  text-decoration: none;
}

.claim-statement-link:hover {
  color: var(--blue);
  text-decoration: underline;
}

.claims-discovery {
  margin-top: 64px;
  scroll-margin-top: 82px;
}

.section-note {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 11px;
}

.major-claims-list {
  border-top: 3px solid var(--ink);
  list-style: none;
  margin: 0;
  padding: 0;
}

.major-claims-list > li {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 22px;
  grid-template-columns: 46px minmax(0, 820px);
  padding: 24px 10px 27px;
}

.major-claim-number {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 11px;
  font-weight: 750;
  letter-spacing: 0.09em;
  padding-top: 5px;
}

.major-claim-meta {
  color: var(--green);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 0.08em;
  margin: 0 0 5px;
  text-transform: uppercase;
}

.major-claims-list h3 {
  font-size: clamp(22px, 2.8vw, 31px);
  font-weight: 550;
  letter-spacing: -0.02em;
  line-height: 1.16;
  margin: 0;
}

.major-claims-list h3 a {
  color: var(--ink);
  text-decoration: none;
}

.major-claims-list h3 a:hover {
  color: var(--blue);
}

.major-claims-list li > div > p:not([class]) {
  color: #45453f;
  font-size: 16px;
  margin: 9px 0 0;
}

.major-claim-links {
  display: flex;
  flex-wrap: wrap;
  font-family: var(--sans);
  font-size: 11px;
  gap: 16px;
  margin: 11px 0 0;
}

.major-claim-links a {
  text-decoration: none;
}

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

.claim-subject {
  border-bottom: 1px solid var(--line);
  color: var(--body);
  display: grid;
  gap: 5px;
  padding: 20px 22px 22px 10px;
  text-decoration: none;
}

.claim-subject:nth-child(odd) {
  border-right: 1px solid var(--line);
  padding-right: 34px;
}

.claim-subject:nth-child(even) {
  padding-left: 34px;
}

.claim-subject:hover {
  background: rgb(255 254 251 / 58%);
}

.claim-subject strong {
  color: var(--ink);
  font-size: 20px;
}

.claim-subject span {
  color: #4b4b45;
  font-size: 14px;
  line-height: 1.45;
}

.claim-subject small {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.06em;
  margin-top: 3px;
  text-transform: uppercase;
}

.taxonomy-intro {
  color: #45453f;
  font-size: 16px;
  line-height: 1.55;
  margin: 0 0 18px;
  max-width: 900px;
}

.research-area-grid {
  border-top: 3px solid var(--ink);
}

.research-practice-note {
  align-items: center;
  background: var(--panel-soft);
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 24px;
  grid-template-columns: minmax(0, 1fr) auto;
  padding: 18px 20px;
}

.research-practice-note div {
  display: grid;
  gap: 4px;
}

.research-practice-note strong {
  color: var(--ink);
  font-size: 16px;
}

.research-practice-note span,
.taxonomy-basis {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.5;
}

.research-practice-note > a {
  font-family: var(--sans);
  font-size: 11px;
  font-weight: 700;
  white-space: nowrap;
}

.taxonomy-basis {
  margin: 18px 0 0;
  max-width: 1020px;
}

.theorem-register-statement span.math.display {
  display: block;
  margin: 8px 0;
  overflow-x: auto;
  text-align: left;
}

.claim-page {
  max-width: 1180px;
}

.back-link {
  font-family: var(--sans);
  font-size: 12px;
  margin: 0 0 28px;
}

.claim-page header {
  border-bottom: 1px solid var(--line-dark);
  padding-bottom: 36px;
}

.claim-page h1 {
  font-family: var(--serif);
  font-size: clamp(38px, 5vw, 62px);
  letter-spacing: -0.025em;
  line-height: 1.02;
  max-width: 900px;
}

.claim-statement {
  color: var(--ink);
  font-size: 21px;
  line-height: 1.55;
  margin: 0;
}

.claim-dossier-header {
  border-bottom: 0 !important;
  padding-bottom: 0 !important;
}

.claim-id-label {
  color: var(--accent);
  font-family: var(--mono);
  font-size: 14px;
  font-weight: 700;
  letter-spacing: 0.04em;
  margin: 0 0 14px;
}

.exact-claim-block {
  background: var(--paper);
  border: 1px solid var(--line-dark);
  border-left: 4px solid var(--accent);
  margin-top: 34px;
  padding: 23px 27px 26px;
}

.exact-claim-label {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.1em;
  margin: 0 0 10px;
  text-transform: uppercase;
}

.claim-assurance-strip {
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  grid-template-columns: 0.7fr 1fr 1.6fr;
}

.claim-assurance-strip > div {
  border-right: 1px solid var(--line);
  padding: 16px 18px 17px 0;
}

.claim-assurance-strip > div + div {
  padding-left: 18px;
}

.claim-assurance-strip > div:last-child {
  border-right: 0;
}

.claim-assurance-strip span,
.claim-assurance-strip strong {
  display: block;
}

.claim-assurance-strip span {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.claim-assurance-strip strong {
  font-size: 14px;
  line-height: 1.45;
  margin-top: 5px;
}

.claim-dossier-layout {
  align-items: start;
  display: grid;
  gap: 70px;
  grid-template-columns: minmax(0, 1fr) 310px;
  margin-top: 18px;
}

.claim-dossier-body {
  min-width: 0;
}

.claim-dossier-rail {
  border-top: 3px solid var(--ink);
  margin-top: 48px;
  min-width: 0;
  padding-top: 14px;
}

.claim-dossier-rail > h2,
.claim-rail-section h2 {
  font-family: var(--sans);
  font-size: 13px;
  letter-spacing: 0.04em;
  margin: 0 0 10px;
  text-transform: uppercase;
}

.claim-dossier-rail .claim-metadata {
  margin: 0;
}

.claim-dossier-rail .claim-metadata > div {
  display: block;
  padding: 12px 0;
}

.claim-dossier-rail .claim-metadata dd {
  font-size: 14px;
  line-height: 1.5;
  margin-top: 4px;
  overflow-wrap: anywhere;
}

.claim-rail-section {
  border-top: 2px solid var(--ink);
  margin-top: 28px;
  padding-top: 14px;
}

.claim-rail-section .evidence-list {
  font-size: 11px;
  margin: 0;
}

.claim-page span.math.display {
  display: block;
  margin: 19px 0;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 4px 0;
  text-align: center;
}

.proof-summary-section {
  background: rgb(255 254 251 / 55%);
  border: 1px solid var(--line);
  margin-top: 48px;
  padding: 22px 24px 24px;
}

.proof-context-link {
  font-family: var(--sans);
  font-size: 13px;
  margin-bottom: 0;
}

.claim-metadata {
  border-top: 1px solid var(--line);
  margin: 42px 0;
}

.claim-metadata > div {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 24px;
  grid-template-columns: 150px 1fr;
  padding: 12px 0;
}

.claim-metadata dt {
  color: var(--muted);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.claim-metadata dd {
  margin: 0;
}

.claim-section {
  border-top: 1px solid var(--line-dark);
  margin-top: 48px;
  padding-top: 18px;
}

.claim-section h2,
.prose-page h2 {
  margin-bottom: 18px;
}

.evidence-list {
  font-family: var(--mono);
  font-size: 12px;
  overflow-wrap: anywhere;
  padding-left: 21px;
}

.section-intro {
  color: var(--muted);
  font-size: 18px;
  margin: 18px 0 28px;
  max-width: 820px;
}

.research-path {
  border-bottom: 1px solid var(--line-dark);
  border-top: 1px solid var(--line-dark);
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  margin: 26px 0 34px;
}

.research-path > div {
  border-right: 1px solid var(--line);
  padding: 20px 20px 21px 0;
}

.research-path > div + div {
  padding-left: 20px;
}

.research-path > div:last-child {
  border-right: 0;
}

.research-path span,
.research-path strong {
  display: block;
  font-family: var(--sans);
}

.research-path span {
  color: var(--accent);
  font-size: 11px;
  font-weight: 800;
}

.research-path strong {
  color: var(--ink);
  font-size: 15px;
  margin-top: 5px;
}

.research-path p {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.45;
  margin: 8px 0 0;
}

.home-program-grid,
.program-card-grid {
  display: grid;
  gap: 18px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.research-area-card-grid {
  display: grid;
  gap: 22px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.research-area-card {
  background: rgb(255 254 251 / 58%);
  border: 1px solid var(--line);
  border-top: 4px solid var(--ink);
  padding: 27px 28px 24px;
  scroll-margin-top: 82px;
}

.research-area-card header > h2 {
  font-size: clamp(22px, 2.4vw, 29px);
  line-height: 1.18;
  margin: 8px 0 12px;
}

.research-area-card header > p:last-child {
  color: var(--muted);
  font-size: 15px;
  line-height: 1.52;
  margin: 0;
}

.research-card-label,
.research-area-driving-label {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.08em;
  margin: 18px 0 0;
  text-transform: uppercase;
}

.research-area-card header > .research-card-label {
  margin: 15px 0 0;
}

.research-area-detail-grid {
  border-top: 1px solid var(--line);
  display: grid;
  gap: 22px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 22px;
  padding-top: 18px;
}

.research-area-detail-grid h3 {
  font-family: var(--sans);
  font-size: 11px;
  letter-spacing: 0.07em;
  margin: 0 0 8px;
  text-transform: uppercase;
}

.research-area-detail-grid ul {
  font-size: 14px;
  line-height: 1.45;
  margin: 0;
  padding-left: 18px;
}

.research-area-detail-grid li + li {
  margin-top: 6px;
}

.research-theme-list {
  list-style: none;
  padding-left: 0 !important;
}

.research-theme-list li + li {
  margin-top: 9px;
}

.research-theme-list strong,
.research-theme-list span {
  display: block;
}

.research-theme-list strong {
  color: var(--ink);
  font-family: var(--sans);
  font-size: 13px;
  line-height: 1.35;
}

.research-theme-list span {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.42;
  margin-top: 3px;
}

.research-card-highlight-list {
  list-style: none;
  margin: 0;
  padding: 0 !important;
}

.research-card-highlight-list li {
  background: #f4f3ee;
  padding: 11px 12px;
}

.research-card-highlight-list li + li {
  margin-top: 8px;
}

.research-card-highlight-list span,
.research-highlight-label {
  color: var(--accent);
  display: block;
  font-family: var(--sans);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.065em;
  line-height: 1.35;
  text-transform: uppercase;
}

.research-card-highlight-list > li > a {
  display: block;
  font-family: var(--serif);
  font-size: 15px;
  font-weight: 700;
  line-height: 1.28;
  margin-top: 4px;
}

.research-card-highlight-list p {
  color: var(--muted);
  font-size: 12px;
  line-height: 1.4;
  margin: 5px 0 0;
}

.research-area-links {
  border-top: 1px solid var(--line);
  font-family: var(--sans);
  font-size: 12px;
  margin: 20px 0 0;
  padding-top: 14px;
}

.research-area-link-row {
  display: flex;
  flex-wrap: wrap;
  gap: 7px 18px;
}

.research-area-link-row a:first-child {
  font-weight: 700;
}

.research-area-driving-question {
  font-family: var(--serif);
  font-size: clamp(25px, 3vw, 38px);
  font-weight: 700;
  letter-spacing: -0.02em;
  line-height: 1.14;
  margin: 8px 0 18px;
  max-width: 860px;
}

.research-area-counts {
  background: #f4f3ee;
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 30px 0 0;
}

.research-area-counts > div {
  min-width: 0;
  padding: 14px 18px;
}

.research-area-counts > div + div {
  border-left: 1px solid var(--line);
}

.research-area-counts dt {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.research-area-counts dd {
  color: var(--ink);
  font-family: var(--serif);
  font-size: 27px;
  font-weight: 700;
  margin: 4px 0 0;
}

.research-theme-panel-grid {
  display: grid;
  gap: 20px 28px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 16px;
}

.research-theme-panel-grid article {
  padding: 0;
}

.research-theme-panel-grid article:nth-child(even) {
  padding-left: 0;
}

.research-theme-panel-grid h2 {
  font-size: 22px;
  line-height: 1.2;
  margin: 0;
}

.research-theme-panel-grid p {
  color: var(--muted);
  margin: 6px 0 0;
}

.research-highlight-grid {
  display: grid;
  gap: 13px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 16px;
}

.research-highlight {
  background: #f4f3ee;
  border-left: 3px solid var(--accent);
  padding: 18px 20px 17px;
}

.research-highlight-label {
  margin: 0;
}

.research-highlight h2 {
  font-size: 21px;
  line-height: 1.22;
  margin: 6px 0 0;
}

.research-highlight > p:last-child {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.48;
  margin: 8px 0 0;
}

.research-area-document #title-block-header > h1,
.research-area-document .matrix-result-section > h1 {
  border-bottom: 0;
  padding-bottom: 0;
}

.research-area-document .matrix-result-section > h1 {
  margin: 42px 0 16px;
}

.research-question-list {
  margin: 18px 0 0;
  padding-left: 22px;
}

.research-question-list li + li {
  margin-top: 11px;
}

.research-area-bibliography {
  list-style: disc;
  margin: 12px 0 0;
  padding-left: 22px !important;
}

.research-area-bibliography li {
  padding: 0;
}

.research-area-bibliography li + li {
  margin-top: 10px;
}

.research-lens-intro {
  font-family: var(--serif);
  font-size: 20px;
  line-height: 1.52;
}

.research-transfer-line {
  background: #f4f3ee;
  color: var(--ink);
  font-family: var(--sans);
  font-size: 13px;
  font-weight: 700;
  letter-spacing: 0.02em;
  margin: 22px 0 !important;
  padding: 15px 18px;
  text-align: center;
}

.research-lens-section > .result-kicker + h1 {
  margin-top: 4px;
}

.research-claim-statement {
  background: var(--accent-soft);
  border-left: 3px solid var(--accent);
  margin: 22px 0;
  padding: 17px 20px 16px;
}

.research-claim-statement > p:last-child {
  font-family: var(--sans);
  font-size: 13px;
  margin-bottom: 0;
}

.research-link-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr));
  gap: 0.8rem;
  margin-top: 1rem;
}

.research-link-grid > a {
  display: grid;
  gap: 0.25rem;
  padding: 0.9rem 1rem;
  border: 1px solid var(--line);
  border-radius: 0.75rem;
  background: #f4f3ee;
  text-decoration: none;
}

.research-link-grid > a span {
  color: var(--muted);
  font-size: 0.9rem;
}

.result-metadata-list {
  display: grid;
  gap: 0.7rem;
  margin: 1rem 0 0;
}

.result-metadata-list > div {
  display: grid;
  grid-template-columns: minmax(7rem, 9rem) 1fr;
  gap: 0.75rem;
  padding-top: 0.7rem;
  border-top: 1px solid var(--line);
}

.result-metadata-list dt {
  color: var(--muted);
  font-size: 0.82rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.result-metadata-list dd {
  margin: 0;
}

@media (max-width: 620px) {
  .result-metadata-list > div {
    grid-template-columns: 1fr;
    gap: 0.2rem;
  }
}

.research-display-statement {
  margin: 22px 0 !important;
  text-align: center;
}

.research-route-grid {
  display: grid;
  gap: 16px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 22px 0;
}

.research-route-grid article {
  background: #f4f3ee;
  padding: 19px 20px 17px;
}

.research-route-grid h2 {
  font-size: 20px;
  margin: 5px 0 9px;
}

.research-route-grid article > p:last-child {
  color: var(--muted);
  font-size: 14px;
  line-height: 1.5;
  margin-bottom: 0;
}

.research-takeaway {
  border-left: 3px solid var(--accent);
  color: #3f3f3a;
  margin: 24px 0 0 !important;
  padding: 4px 0 4px 18px;
}

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

.synthesis-card {
  background: var(--paper);
  border: 1px solid var(--line);
  padding: 24px 26px;
}

.synthesis-card h3 {
  font-size: 25px;
  line-height: 1.16;
  margin: 7px 0 12px;
}

.synthesis-card > p:not([class]) {
  color: #44443e;
  font-size: 15px;
  line-height: 1.52;
}

.home-synthesis-section {
  border-top: 1px solid var(--line-dark);
  margin-top: 42px;
  padding-top: 24px;
}

.home-synthesis-section > h3 {
  font-size: 28px;
  margin: 0 0 18px;
}

.publication-catalog-section {
  margin-top: 58px;
}

.publication-catalog-section:first-of-type {
  margin-top: 24px;
}

.home-program-grid article,
.program-card {
  background: rgb(255 254 251 / 54%);
  border: 1px solid var(--line);
  padding: 23px 24px;
}

.home-program-grid h3,
.program-card h3,
.method-card h3 {
  font-size: 24px;
  line-height: 1.14;
  margin: 7px 0 13px;
}

.home-program-grid article > p:last-child,
.program-card > p {
  color: #44443e;
  font-size: 15px;
  line-height: 1.52;
}

.research-index-section {
  border-top: 1px solid var(--line-dark);
  margin-top: 58px;
  padding-top: 18px;
}

.research-index-section:first-of-type {
  margin-top: 0;
}

.program-card-featured {
  border-top: 4px solid var(--accent);
}

.program-status {
  color: var(--accent) !important;
  font-family: var(--sans);
  font-size: 10px !important;
  font-weight: 700;
  letter-spacing: 0.07em;
  margin: 0;
  text-transform: uppercase;
}

.program-area {
  color: var(--green) !important;
  font-family: var(--sans);
  font-size: 10px !important;
  font-weight: 750;
  letter-spacing: 0.07em;
  margin: 8px 0 0;
  text-transform: uppercase;
}

.program-area a {
  color: inherit;
  text-decoration: none;
}

.program-area a:hover {
  color: inherit;
  text-decoration: underline;
}

.program-card dl {
  border-top: 1px solid var(--line);
  margin: 20px 0 0;
  padding-top: 10px;
}

.program-card dl div {
  margin-top: 9px;
}

.program-card dt {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.program-card dd {
  font-size: 14px;
  line-height: 1.42;
  margin: 2px 0 0;
}

.method-card,
.publication-output-note {
  align-items: start;
  display: grid;
  gap: 36px;
  grid-template-columns: minmax(240px, 0.5fr) 1fr;
}

.method-card > p,
.publication-output-note > p {
  margin: 4px 0 0;
}

.publication-output-note {
  background: var(--paper);
  border: 1px solid var(--line-dark);
  padding: 25px 28px;
}

.publication-output-note > a {
  font-family: var(--sans);
  font-size: 13px;
  grid-column: 2;
}

.theorem-library-heading {
  max-width: 1080px;
}

.catalog-boundary {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 12px;
  margin: 18px 0 0;
}

.theorem-home-register {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 36px;
  grid-template-columns: minmax(230px, 0.35fr) 1fr;
  padding: 22px 10px;
}

.theorem-home-register > div {
  display: grid;
}

.theorem-home-register strong {
  color: var(--ink);
  font-size: 42px;
  font-weight: 500;
  line-height: 1;
}

.theorem-home-register span,
.theorem-home-register p {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 13px;
}

.theorem-home-register p {
  margin: 0;
}

.theorem-controls {
  align-items: end;
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  gap: 14px;
  grid-template-columns: minmax(300px, 1fr) 170px minmax(280px, 0.75fr);
  padding: 0 0 18px;
}

.theorem-controls label {
  color: var(--muted);
  display: grid;
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 700;
  gap: 5px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.theorem-controls input,
.theorem-controls select {
  background: var(--paper);
  border: 1px solid var(--line-dark);
  border-radius: 0;
  color: var(--ink);
  font-size: 13px;
  min-height: 39px;
  padding: 7px 9px;
  text-transform: none;
}

.index-result-count {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 11px;
  margin: 12px 0 0;
}

.theorem-register {
  border-top: 1px solid var(--line);
  margin-top: 14px;
}

.theorem-register-entry {
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 24px;
  grid-template-columns: 150px minmax(320px, 1fr) minmax(220px, 0.38fr);
  padding: 18px 10px 20px;
}

.theorem-register-key,
.theorem-register-source {
  display: grid;
  font-family: var(--sans);
}

.theorem-register-key span,
.theorem-register-source span {
  color: var(--muted);
  font-size: 10px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.theorem-register-key a {
  color: var(--ink);
  font-family: var(--serif);
  font-size: 18px;
  font-weight: 700;
}

.theorem-register-statement h2 {
  color: var(--ink);
  font-size: 18px;
  line-height: 1.3;
  margin: 0 0 6px;
}

.theorem-register-statement p {
  font-size: 15px;
  line-height: 1.48;
  margin: 0;
}

.theorem-register-source {
  align-content: start;
  gap: 8px;
}

.theorem-register-source a {
  font-size: 12px;
  line-height: 1.35;
}

.theorem-page {
  padding: 0 20px 90px;
}

.theorem-entry-page {
  background: var(--paper);
  border: 1px solid #d7d5cc;
  color: var(--body);
  margin: 34px auto 0;
  max-width: 920px;
  padding: 68px clamp(34px, 7vw, 88px) 82px;
}

.theorem-entry-page > header {
  border-bottom: 1px solid var(--line-dark);
  margin-bottom: 38px;
  padding-bottom: 28px;
}

.theorem-entry-page h1 {
  color: var(--ink);
  font-size: clamp(38px, 5vw, 60px);
  font-weight: 500;
  line-height: 1.05;
  margin: 0;
}

.theorem-entry-title {
  color: var(--muted);
  font-size: 22px;
  margin: 14px 0 0;
}

.theorem-statement-document {
  border-left: 3px solid var(--ink);
  font-size: 20px;
  line-height: 1.65;
  padding: 5px 0 5px 26px;
}

.theorem-statement-document > p:first-child {
  margin-top: 0;
}

.theorem-statement-document > p:last-child {
  margin-bottom: 0;
}

.theorem-statement-document span.math.display {
  display: block;
  margin: 22px 0;
  overflow-x: auto;
  padding: 4px 0;
  text-align: center;
}

.theorem-source-note {
  border-top: 1px solid var(--line-dark);
  color: var(--muted);
  font-family: var(--sans);
  font-size: 13px;
  margin-top: 48px;
  padding-top: 16px;
}

.theorem-source-note strong {
  color: var(--ink);
}

.theorem-source-note p {
  margin: 6px 0 0;
}

.prose-page {
  max-width: 900px;
}

.prose-page section {
  border-top: 1px solid var(--line-dark);
  margin-top: 44px;
  padding-top: 18px;
}

.prose-page section p {
  font-size: 19px;
}

.prose-page .about-research-status {
  background: var(--accent-soft);
  border: 1px solid #c9aa91;
  border-left: 5px solid var(--accent);
  margin-top: 38px;
  padding: 24px 28px 25px;
}

.about-research-status h2 {
  color: var(--ink);
  font-size: clamp(27px, 3.5vw, 36px);
  margin: 2px 0 14px;
}

.about-research-status p {
  max-width: 780px;
}

.about-research-status p:last-child {
  margin-bottom: 0;
}

.about-research-status-label {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 11px !important;
  font-weight: 750;
  letter-spacing: 0.1em;
  margin: 0;
  text-transform: uppercase;
}

.maturity-heading {
  max-width: 1100px;
}

.maturity-overview {
  margin-top: 62px;
  scroll-margin-top: 82px;
}

.maturity-coverage-grid {
  border-bottom: 1px solid var(--line);
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.maturity-coverage-grid > div {
  border-right: 1px solid var(--line);
  display: grid;
  padding: 24px 26px 26px 8px;
}

.maturity-coverage-grid > div:last-child {
  border-right: 0;
}

.maturity-coverage-grid strong {
  color: var(--ink);
  font-size: clamp(34px, 4vw, 52px);
  font-weight: 500;
  line-height: 1;
}

.maturity-coverage-grid span {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 12px;
  margin-top: 8px;
}

.matrix-boundary-note {
  border-left: 3px solid var(--accent);
  color: #45453f;
  font-size: 15px;
  margin: 24px 0 0;
  max-width: 1040px;
  padding: 4px 0 4px 18px;
}

.maturity-rubric-guide {
  border-top: 1px solid var(--line);
  margin: 28px 0 38px;
  padding-top: 24px;
}

.maturity-rubric-guide > h3 {
  font-size: 22px;
  margin: 0;
}

.maturity-rubric-guide > p {
  color: #45453f;
  font-size: 15px;
  margin: 7px 0 20px;
  max-width: 760px;
}

.maturity-rubric {
  list-style: none;
  margin: 0;
  padding: 0;
}

.maturity-rubric li {
  align-items: start;
  border-bottom: 1px solid var(--line);
  display: grid;
  gap: 18px;
  grid-template-columns: 52px minmax(0, 1fr) 110px;
  padding: 17px 8px 19px;
}

.maturity-rubric h3 {
  color: var(--ink);
  font-size: 18px;
  margin: 0;
}

.maturity-rubric p {
  color: #4a4a44;
  font-size: 14px;
  margin: 4px 0 0;
}

.maturity-rubric li > strong {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 11px;
  padding-top: 4px;
  text-align: right;
}

.maturity-badge {
  align-items: center;
  border: 1px solid currentColor;
  color: var(--blue);
  display: inline-flex;
  font-family: var(--sans);
  font-size: 10px;
  font-weight: 800;
  justify-content: center;
  letter-spacing: 0.07em;
  min-height: 27px;
  min-width: 34px;
  padding: 3px 7px;
}

.maturity-level-1,
.maturity-level-2 {
  color: #66665f;
}

.maturity-level-3,
.maturity-level-4 {
  color: var(--blue);
}

.maturity-level-5,
.maturity-level-6 {
  color: var(--green);
}

.batch-summary {
  background: var(--paper);
  border-bottom: 1px solid var(--line-dark);
  border-top: 3px solid var(--accent);
  display: grid;
  gap: 24px 38px;
  grid-template-columns: minmax(280px, 0.72fr) 1fr;
  padding: 26px 30px 30px;
}

.batch-summary > div > p:not(.eyebrow) {
  font-size: 17px;
  margin: 0;
}

.batch-summary dl {
  display: grid;
  gap: 6px 22px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0;
}

.batch-summary dl > div {
  border-bottom: 1px solid var(--line);
  display: flex;
  font-family: var(--sans);
  font-size: 11px;
  gap: 10px;
  justify-content: space-between;
  padding: 7px 0;
}

.batch-summary dd {
  color: var(--muted);
  margin: 0;
}

.batch-summary > p {
  grid-column: 1 / -1;
  margin: 0;
}

.maturity-controls {
  align-items: end;
  border-bottom: 1px solid var(--line-dark);
  display: grid;
  gap: 13px;
  grid-template-columns: minmax(280px, 1fr) minmax(220px, 0.65fr) minmax(210px, 0.55fr) 210px auto;
  padding: 18px 0;
}

.maturity-controls label {
  color: var(--muted);
  display: grid;
  font-size: 10px;
  font-weight: 700;
  gap: 5px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.maturity-controls input,
.maturity-controls select {
  background: var(--paper);
  border: 1px solid var(--line-dark);
  border-radius: 0;
  color: var(--ink);
  font-size: 13px;
  min-height: 39px;
  padding: 7px 9px;
  text-transform: none;
}

.maturity-controls p {
  color: var(--muted);
  font-size: 11px;
  margin: 0 0 8px;
  white-space: nowrap;
}

.maturity-table {
  border-collapse: collapse;
  font-family: var(--sans);
  font-size: 11px;
  line-height: 1.45;
  min-width: 1680px;
  width: 100%;
}

.maturity-table th,
.maturity-table td {
  border-bottom: 1px solid var(--line);
  padding: 13px 10px;
  text-align: left;
  vertical-align: top;
}

.maturity-table th {
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.maturity-table td:nth-child(1) {
  font-family: var(--serif);
  font-size: 13px;
  min-width: 370px;
  width: 31%;
}

.maturity-table td:nth-child(2),
.maturity-table td:nth-child(3),
.maturity-table td:nth-child(7) {
  min-width: 190px;
}

.maturity-table td:nth-child(4),
.maturity-table td:nth-child(5),
.maturity-table td:nth-child(6),
.maturity-table td:nth-child(8) {
  min-width: 180px;
}

.maturity-table td > span,
.maturity-table td > strong,
.maturity-table td > a:not(.matrix-id):not(.matrix-statement) {
  display: block;
  margin-bottom: 5px;
}

.maturity-table .maturity-badge {
  display: inline-flex;
  margin-right: 7px;
}

.matrix-id {
  display: block;
  font-family: var(--mono);
  font-size: 9px;
  margin-bottom: 5px;
  overflow-wrap: anywhere;
}

.matrix-statement {
  color: var(--body);
  display: block;
  text-decoration: none;
}

.matrix-statement:hover {
  color: var(--blue);
  text-decoration: underline;
}

.current-batch-row {
  background: #f4eadf;
}

.maturity-run {
  border-bottom: 1px solid var(--line-dark);
  padding: 26px 8px 34px;
}

.maturity-run > header {
  align-items: baseline;
  display: flex;
  gap: 18px;
}

.maturity-run h3 {
  color: var(--ink);
  font-size: 24px;
  margin: 0;
}

.maturity-run header p {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 11px;
  margin: 0;
  text-transform: uppercase;
}

.maturity-run > div {
  display: grid;
  gap: 28px;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 22px;
}

.maturity-run section {
  border-top: 1px solid var(--line);
  padding-top: 12px;
}

.maturity-run h4 {
  color: var(--ink);
  font-family: var(--sans);
  font-size: 11px;
  letter-spacing: 0.07em;
  margin: 0 0 8px;
  text-transform: uppercase;
}

.maturity-run section p,
.maturity-run li {
  font-size: 14px;
}

.maturity-detail-page {
  max-width: 1020px;
}

.maturity-detail-page h1 {
  overflow-wrap: anywhere;
}

.next-action-panel {
  background: var(--accent-soft);
  border-top-color: var(--accent);
  padding: 18px 22px 20px;
}

.automata-batch-document #title-block-header {
  border-bottom: 1px solid var(--line-dark);
  margin-bottom: 34px;
  padding-bottom: 34px;
}

.automata-batch-document #title-block-header h1 {
  border: 0;
  font-size: clamp(34px, 5vw, 52px);
  margin: 0;
  padding: 0;
}

.automata-batch-document #title-block-header .lede {
  font-size: 19px;
  margin-top: 18px;
}

.status-boundary,
.open-problem-panel {
  background: var(--accent-soft);
  border-left: 4px solid var(--accent);
  margin: 28px 0;
  padding: 17px 20px;
}

.status-boundary strong {
  color: var(--ink);
}

.matrix-result-section {
  scroll-margin-top: 82px;
}

.result-kicker {
  color: var(--accent);
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 0.07em;
  margin: 34px 0 7px !important;
  text-transform: uppercase;
}

.result-kicker a {
  text-decoration: none;
}

.automata-batch-document .proposition {
  border-left: 3px solid var(--ink);
  margin: 28px 0;
  padding: 7px 0 7px 20px;
}

.automata-batch-document .proof {
  margin: 24px 0 34px;
  padding-left: 22px;
}

.boundary-note {
  border-left: 2px solid var(--line-dark);
  color: #4a4a44;
  margin: 24px 0 !important;
  padding: 4px 0 4px 18px;
}

.open-problem-panel > p:last-child {
  color: var(--ink);
  font-size: 20px;
  margin: 8px 0 0;
}

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

  .publication-document #fig\:two-routes {
    overflow-x: auto;
    overscroll-behavior-inline: contain;
  }

  .publication-document #fig\:two-routes img {
    max-width: none;
    min-width: 720px;
  }

  .site-header {
    gap: 14px;
    grid-template-columns: 1fr auto;
    padding: 10px 18px;
    position: static;
  }

  .site-header nav {
    gap: 13px;
    grid-column: 1 / -1;
    overflow-x: auto;
    order: 3;
  }

  .repository-link {
    justify-self: end;
  }

  .library-main,
  .wide-main,
  .prose-page,
  .claim-page {
    padding: 40px 20px 62px;
  }

  .library-heading h1,
  .claim-page h1 {
    font-size: 42px;
  }

  .research-index-hero {
    gap: 28px;
    grid-template-columns: 1fr;
  }

  .research-journal-entry {
    gap: 8px;
    grid-template-columns: 1fr;
    padding-inline: 4px;
  }

  .lede,
  .claim-statement {
    font-size: 19px;
  }

  .library-register > div,
  .claim-metadata > div {
    gap: 7px;
    grid-template-columns: 1fr;
  }

  .claims-controls {
    grid-template-columns: 1fr;
  }

  .maturity-controls,
  .maturity-coverage-grid,
  .batch-summary,
  .maturity-run > div {
    grid-template-columns: 1fr;
  }

  .maturity-coverage-grid > div {
    border-right: 0;
  }

  .maturity-rubric li {
    gap: 10px;
    grid-template-columns: 45px 1fr;
  }

  .maturity-rubric li > strong {
    grid-column: 2;
    text-align: left;
  }

  .batch-summary {
    padding: 22px 18px 25px;
  }

  .batch-summary dl {
    grid-template-columns: 1fr;
  }

  .batch-summary > p {
    grid-column: auto;
  }

  .theorem-controls,
  .theorem-home-register,
  .theorem-register-entry {
    grid-template-columns: 1fr;
  }

  .major-claims-list > li {
    gap: 8px;
    grid-template-columns: 1fr;
    padding-inline: 4px;
  }

  .major-claim-number {
    padding-top: 0;
  }

  .claim-subject-grid {
    grid-template-columns: 1fr;
  }

  .claim-subject:nth-child(odd),
  .claim-subject:nth-child(even) {
    border-right: 0;
    padding-inline: 4px;
  }

  .theorem-register-entry {
    gap: 10px;
  }

  .home-publication-entry {
    gap: 9px;
    grid-template-columns: 1fr;
    padding: 25px 4px 29px;
  }

  .research-path,
  .home-program-grid,
  .program-card-grid,
  .research-area-card-grid,
  .research-area-detail-grid,
  .research-theme-panel-grid,
  .research-highlight-grid,
  .research-route-grid,
  .synthesis-card-grid,
  .boundary-claim-pair,
  .claim-assurance-strip,
  .claim-dossier-layout,
  .method-card,
  .research-practice-note,
  .publication-output-note {
    grid-template-columns: 1fr;
  }

  .research-theme-panel-grid article:nth-child(even) {
    border-left: 0;
    padding-left: 0;
  }

  .research-area-counts {
    grid-template-columns: repeat(4, minmax(0, 1fr));
    margin-top: 22px;
  }

  .research-area-counts > div {
    padding: 10px 5px;
    text-align: center;
  }

  .research-area-counts > div + div {
    border-left: 1px solid var(--line);
    border-top: 0;
  }

  .research-area-counts dt {
    font-size: 8px;
    letter-spacing: 0.04em;
    line-height: 1.25;
  }

  .research-area-counts dd {
    font-size: 22px;
    margin-top: 2px;
  }

  .research-area-document .matrix-result-section > h1 {
    margin-top: 32px;
  }

  .research-claim-statement {
    margin: 18px 0;
    padding: 14px 15px 13px;
  }

  .research-display-statement {
    margin: 18px 0 !important;
  }

  .research-practice-note > a {
    white-space: normal;
  }

  .boundary-claim-pair article,
  .boundary-claim-pair article + article {
    border-left: 0;
    border-top: 1px solid var(--line);
    padding: 22px 0 26px;
  }

  .failure-ledger-grid dl > div {
    gap: 5px;
    grid-template-columns: 1fr;
  }

  .research-path > div,
  .research-path > div + div {
    border-bottom: 1px solid var(--line);
    border-right: 0;
    padding: 16px 4px;
  }

  .research-path > div:last-child {
    border-bottom: 0;
  }

  .claim-assurance-strip > div,
  .claim-assurance-strip > div + div {
    border-bottom: 1px solid var(--line);
    border-right: 0;
    padding: 12px 0;
  }

  .claim-assurance-strip > div:last-child {
    border-bottom: 0;
  }

  .claim-dossier-layout {
    gap: 24px;
  }

  .claim-dossier-rail {
    margin-top: 10px;
  }

  .exact-claim-block {
    padding: 19px 18px 21px;
  }

  .publication-output-note > a {
    grid-column: auto;
  }

  .home-publication-rank {
    padding-top: 0;
  }

  .home-publication-entry h3 {
    font-size: 27px;
  }

  .home-publication-description {
    font-size: 17px;
  }

  .publication-page,
  .research-page,
  .theorem-page {
    padding-inline: 0;
  }

  .publication-document,
  .research-document,
  .research-boundary-supplement,
  .theorem-entry-page {
    border-left: 0;
    border-right: 0;
    margin-top: 20px;
    padding: 44px 22px 64px;
  }

  .document-toolbar,
  .publication-claims,
  .program-register {
    margin-inline: 18px;
  }

  .publication-claims p {
    display: block;
    margin: 5px 0 0;
  }

  .site-footer {
    display: block;
    padding-inline: 20px;
  }

  .site-footer p + p {
    margin-top: 8px;
  }
}

@media print {
  html,
  body,
  .publication-document,
  .research-document {
    background: white;
  }

  .site-header,
  .site-footer,
  .document-toolbar,
  .publication-claims,
  .program-register {
    display: none;
  }

  .publication-page,
  .research-page,
  .publication-document,
  .research-document {
    border: 0;
    box-shadow: none;
    margin: 0;
    max-width: none;
    padding: 0;
  }

  a {
    color: inherit;
  }
}

/* Research philosophy: readable tables and a six-state vertical flow. */
.philosophy-page section { margin-block: 2.5rem; }
.philosophy-table { overflow-x: auto; }
.philosophy-table table { width: 100%; border-collapse: collapse; }
.philosophy-table th, .philosophy-table td { padding: .85rem; text-align: left; vertical-align: top; border-bottom: 1px solid currentColor; }
.philosophy-table th { min-width: 9rem; }
.philosophy-flow { margin: 2rem 0; }
.philosophy-flow figcaption { margin-bottom: 1.25rem; }
.philosophy-flow ol { list-style: none; padding: 0; max-width: 32rem; margin: auto; }
.philosophy-flow li { text-align: center; }
.philosophy-flow li > strong { display: block; padding: .7rem 1rem; border: 1px solid currentColor; border-radius: .3rem; }
.philosophy-transition { display: block; padding: .5rem; font-size: .95rem; }
.philosophy-invitation { border-left: 3px solid currentColor; padding-left: 1.25rem; }
.philosophy-date { font-size: .9rem; }

/* A clear, generous reading room: vivid navigation, quiet mathematics. */
:root { --bg:#f6f7f4; --paper:#ffffff; --ink:#122b38; --body:#263d46; --muted:#52656c; --line:#ccd6d4; --line-dark:#8b9c9d; --blue:#1559a6; --accent:#a12f4e; --accent-soft:#fff0f3; --green:#386035; --panel-soft:#eef3f2; }
:focus-visible { outline:3px solid #d27415; outline-offset:4px; }
.skip-link { position:fixed; top:-5rem; left:1rem; z-index:100; background:white; padding:.6rem 1rem; }
.skip-link:focus { top:.5rem; }
.site-title { letter-spacing:-.04em; }
.site-header { border-top:4px solid #416a39; }
.community-link { font-size:.85rem; font-weight:650; padding:.45rem .75rem; border:1px solid var(--line); border-radius:2rem; text-decoration:none; }
.library-heading h1, .research-index-heading h1 { letter-spacing:-.04em; }
.library-heading h1 em { color:var(--green); font-weight:500; }
.community-hero { display:grid; grid-template-columns:1.4fr 1fr; gap:2rem; align-items:center; padding:3.5rem; margin:1.8rem 0 0; background:#132f3d; color:#f9fcf6; border-radius:1.5rem; overflow:hidden; }
.community-hero .eyebrow { color:#b5d9c8; font-size:.78rem; letter-spacing:.1em; }
.community-hero h1 { font-family:var(--serif); color:#fff; font-size:clamp(2.8rem,4.7vw,4.9rem); line-height:1.04; letter-spacing:-.045em; margin:.8rem 0 1.5rem; }
.community-hero h1 em { color:#d7eda6; font-weight:500; }
.community-hero-copy > p { max-width:38rem; font-size:1.15rem; }
.hero-actions { display:flex; flex-wrap:wrap; gap:1rem 1.4rem; align-items:center; margin:1.8rem 0; font-family:var(--sans); font-size:.9rem; }
.hero-actions a { color:white; }
.hero-actions .primary-action { background:#d9efa9; color:#183421; text-decoration:none; padding:.8rem 1rem; border-radius:.5rem; font-weight:700; }
.hero-actions .primary-action:hover { background:#eefbcf; }
.community-hero-copy .hero-footnote { color:#c3d2d7; font: .78rem/1.6 var(--sans); }
.community-hero-graphic { display:grid; grid-template-columns:1fr 1fr; gap:.85rem; align-items:stretch; max-width:26rem; width:100%; justify-self:end; }
.purpose-card { padding:1.35rem; border-radius:1rem; color:#183329; font-family:var(--sans); }
.purpose-card > span { display:block; font-size:2rem; line-height:1; margin-bottom:1rem; }
.purpose-card strong { font-size:1.3rem; display:block; }
.purpose-card p { font-size:.82rem; line-height:1.6; margin:.6rem 0 0; }
.purpose-understand { background:#deebfa; grid-column:1/3; color:#183b65; }
.purpose-check { background:#ffe1d1; color:#642f25; }
.purpose-share { background:#dceab9; }
.community-intro { display:flex; gap:2rem; align-items:center; justify-content:space-between; padding:1.6rem 0; margin:1rem 0 2rem; border-bottom:1px solid var(--line); }
.community-intro p { margin:0; max-width:56rem; }
.community-intro > a { flex-shrink:0; font:600 .9rem/1.5 var(--sans); }
.recognition-home { display:grid; grid-template-columns:1fr 1fr; gap:3rem; margin:3rem 0; padding:2rem 0; }
.recognition-home h2 { margin:.5rem 0 1rem; font-size:2.35rem; line-height:1.15; letter-spacing:-.03em; }
.recognition-home p { max-width:32rem; }
.recognition-path { display:grid; grid-template-columns:1fr 1fr; gap:1rem; }
.recognition-path-item { padding:1.2rem; border:1px solid var(--line); border-radius:.8rem; text-decoration:none; color:var(--ink); font-family:var(--sans); }
.recognition-path-item > span { display:block; font-size:2rem; margin-bottom:.5rem; }
.recognition-path-item strong, .recognition-path-item small { display:block; }
.recognition-path-item small { margin-top:.5rem; font-size:.82rem; line-height:1.5; }
.recognition-path > p { grid-column:1/3; font:.8rem/1.5 var(--sans); color:var(--muted); margin:0; }
.recognition-badge { display:inline-flex; align-items:center; gap:.45rem; width:fit-content; padding:.35rem .6rem; border:1px solid currentColor; border-radius:1.3rem; font:600 .8rem/1.4 var(--sans); }
.recognition-badge > span { white-space:nowrap; }
.recognition-not-assessed { color:#53626b; background:#f0f3f4; }
.recognition-needs-work { color:#9b2644; background:#fff0f3; }
.recognition-useful { color:#315b2e; background:#edf5e2; }
.recognition-strong { color:#244d34; background:#e3f1e3; }
.recognition-exceptional { color:#123f32; background:#d7ece3; }
.recognition-panel { border-left:5px solid currentColor; border-radius:.3rem .75rem .75rem .3rem; padding:1.5rem; margin:1.75rem 0; }
.recognition-panel > div { display:flex; justify-content:space-between; gap:1rem; align-items:center; }
.recognition-panel > div > a { font:.8rem/1.5 var(--sans); }
.recognition-panel h2 { font-size:1.35rem; margin:1rem 0 .5rem; }
.recognition-panel p { margin:.7rem 0 0; }
.recognition-panel .recognition-evidence { font:.8rem/1.6 var(--sans); }
.recognition-guide table { border-collapse:collapse; width:100%; }
.recognition-guide th, .recognition-guide td { text-align:left; padding:1rem .8rem; border-bottom:1px solid var(--line); vertical-align:top; }
.recognition-guide th:first-child { min-width:14rem; }
.recognition-guide > p { font-size:.95rem; }
.philosophy-page { max-width:960px; }
.philosophy-page h2 { letter-spacing:-.02em; font-size:1.8rem; }
.philosophy-page section { margin-block:2.8rem; }
.philosophy-invitation { border-color:var(--green); background:#eef5e5; padding:1rem 1.3rem; border-radius:0 .6rem .6rem 0; }
.philosophy-invitation p { margin:.4rem 0; }
.philosophy-table table { border:1px solid var(--line); }
.philosophy-table th, .philosophy-table td { border-bottom:1px solid var(--line); padding:1.2rem; }
.philosophy-table thead { background:var(--panel-soft); font-family:var(--sans); }
.philosophy-table tbody th { width:30%; }
.phase-number { display:block; font:700 2rem/1.2 var(--sans); color:var(--green); margin-bottom:.65rem; }
.tao-diagram { background:#eef3f8; border-radius:.75rem; padding:1.1rem 1.4rem; }
.tao-diagram summary { cursor:pointer; font:600 1rem/1.5 var(--sans); color:#204b72; }
.philosophy-flow { margin:1.4rem 0 .4rem; }
.philosophy-flow ol { max-width:24rem; }
.philosophy-flow li > strong { border:1px solid #9eb6c4; background:white; border-radius:2rem; padding:.5rem 1rem; font:600 .9rem/1.5 var(--sans); }
.philosophy-transition { color:#476579; font:.8rem/1.4 var(--sans); padding:.5rem; }
.philosophy-flow figcaption { font:.8rem/1.65 var(--sans); margin:1.4rem 0 0; color:var(--muted); }
.repair-note { border-left:4px solid var(--accent); background:var(--accent-soft); padding:1rem 1.3rem; margin:1.4rem 0; }
.worked-example { border:1px solid #adc6b0; border-radius:.6rem; padding:1.5rem; background:#f4f8ef; margin:1.7rem 0; }
.worked-example h2 { margin-top:0; }
.worked-example table { width:100%; border-collapse:collapse; }
.worked-example td, .worked-example th { padding:.6rem; text-align:left; border-bottom:1px solid var(--line); }
@media (max-width:900px) { .community-hero { padding:2rem; gap:1.5rem; grid-template-columns:1.2fr 1fr; } .community-hero h1 { font-size:3rem; } .purpose-card { padding:1rem; } .purpose-card strong { font-size:1.1rem; } .community-intro { align-items:flex-start; flex-direction:column; gap:.8rem; } .recognition-home { gap:1.5rem; } .community-link { display:none; } }
@media (max-width:650px) { .community-hero { grid-template-columns:1fr; border-radius:.8rem; padding:1.6rem; } .community-hero h1 { font-size:2.8rem; } .community-hero-graphic { max-width:none; } .purpose-understand { grid-column:auto; } .community-hero-graphic { grid-template-columns:1fr; } .purpose-card { display:grid; grid-template-columns:2rem 1fr; gap:.2rem .8rem; padding:1rem; } .purpose-card > span { grid-row:1/3; margin:0; font-size:1.5rem; } .purpose-card p { margin:0; } .recognition-home { grid-template-columns:1fr; } .recognition-home h2 { font-size:2rem; } .recognition-panel > div { align-items:flex-start; flex-direction:column; gap:.65rem; } .recognition-panel { padding:1rem; } .philosophy-table th, .philosophy-table td { padding:.75rem; } .philosophy-table th { min-width:7rem; } .recognition-guide th:first-child { min-width:10rem; } .recognition-guide th, .recognition-guide td { padding:.6rem; } }
@media print { .community-hero { background:white; color:black; border:1px solid #aaa; } .community-hero h1, .community-hero h1 em, .community-hero .eyebrow, .community-hero-copy .hero-footnote { color:black; } .hero-actions, .skip-link { display:none; } .recognition-panel, .purpose-card { break-inside:avoid; } }
@media (prefers-reduced-motion:reduce) { html { scroll-behavior:auto; } }

.publication-clarification { max-width:1050px; margin:1rem auto; padding:0 1.25rem; }

/* Compact opening: keep research within the first mobile viewport. */
.compact-home-intro { margin:1rem 0 1.5rem; padding:1rem 1.25rem; background:#132f3d; color:#f9fcf6; border-radius:.5rem; }
.compact-home-intro h1 { margin:0 0 .35rem; color:#fff; font:700 1.5rem/1.2 var(--sans); letter-spacing:0; }
.compact-home-intro p { margin:0; font:1rem/1.4 var(--sans); }
.compact-home-intro nav { display:flex; gap:1.25rem; margin:.65rem 0; font:600 .9rem/1.4 var(--sans); }
.compact-home-intro a { color:#d9efa9; }
.compact-home-intro small { display:block; color:#c3d2d7; font:.875rem/1.4 var(--sans); }

/* Direct palindrome reading page: compact resources, explicit edition status. */
.direct-palindrome-reading .document-toolbar { max-width:920px; font-size:.875rem; padding:1rem 0; }
.publication-edition-status { max-width:920px; margin:1rem auto; padding:.85rem 1rem; border-left:3px solid #327995; background:#edf5f8; font: .9375rem/1.5 var(--sans); }
.publication-edition-status p { margin:0 0 .65rem; }
.publication-edition-status summary, .publication-audit-detail summary, .publication-contents summary { cursor:pointer; font:600 .9375rem/1.5 var(--sans); }
.publication-edition-status .repair-note { background:transparent; border:0; padding:0; }
.direct-palindrome-reading .publication-document { margin-top:1.25rem; padding:2rem clamp(1rem,4vw,3rem) 3rem; }
.direct-palindrome-reading .publication-document #title-block-header { text-align:left; padding-bottom:1rem; margin-bottom:1.5rem; }
.direct-palindrome-reading .publication-document .title { font-size:clamp(1.5rem,3vw,2rem); line-height:1.25; }
.publication-audit-detail, .publication-contents { margin:1rem 0; padding:.75rem 1rem; border:1px solid #c6d8df; border-radius:.3rem; background:#f5f9fa; }
.publication-audit-detail > p { font-size:1rem; }
.publication-contents #TOC { border:0; margin:.75rem 0 0; padding:0; }
.publication-contents #TOC::before { display:none; }
@media print { .publication-edition-status details, .publication-audit-detail { break-inside:avoid; } }