:root {
  color-scheme: light;
  --ink: #182b2c;
  --muted: #576567;
  --green: #176454;
  --line: #d9e0de;
  --paper: #ffffff;
  --serif: "Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;
  --sans: "Avenir Next", Avenir, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 24px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 16px/1.65 var(--sans); letter-spacing: 0; }
a { color: var(--green); text-underline-offset: 4px; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
a, summary { -webkit-tap-highlight-color: #dcebe5; }
:focus-visible { outline: 3px solid #2356b0; outline-offset: 5px; }
main:focus { outline: none; }
h1, h2, h3, p { margin: 0; }
h1, h2, h3 { text-wrap: balance; }
h1, h2 { font-family: var(--serif); font-weight: 500; }
.container { width: min(1160px, calc(100% - 96px)); margin-inline: auto; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.skip-link { position: absolute; top: 8px; left: 16px; z-index: 10; background: white; padding: 12px; transform: translateY(-150%); }
.skip-link:focus { transform: translateY(0); }

.masthead { border-bottom: 1px solid var(--line); }
.masthead-inner { min-height: 100px; display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.brand { display: inline-flex; align-items: center; gap: 14px; color: var(--ink); font-size: 12px; line-height: 1.45; font-weight: 600; text-decoration: none; }
.brand-subtitle { color: var(--muted); font-size: 12px; font-weight: 400; }
.brand-mark { position: relative; display: grid; place-content: center; width: 46px; height: 46px; color: white; background: var(--green); font: 600 18px var(--serif); }
.brand-mark span { position: absolute; height: 1px; background: #c0dad1; bottom: 11px; left: 10px; right: 10px; }
nav { display: flex; align-items: center; gap: 30px; font-size: 14px; }
nav a { color: var(--ink); padding-block: 10px; text-decoration: none; }
nav a:hover { color: var(--green); text-decoration: underline; }
nav .repository-link { border-left: 1px solid var(--line); padding-left: 30px; }

.introduction { padding-top: 42px; }
.eyebrow-row { display: flex; justify-content: space-between; gap: 20px; color: var(--muted); font-size: 12px; }
.eyebrow, .section-number { font-size: 11px; text-transform: uppercase; font-weight: 600; }
.dateline { white-space: nowrap; }
h1 { margin-top: 25px; font-size: 80px; line-height: 1.02; }
h1 em { color: var(--green); font-weight: 400; }
.introduction-text { max-width: 710px; margin-top: 22px; color: #465759; font-size: 18px; line-height: 1.65; }
.research-question { max-width: 750px; margin-top: 12px; color: #465759; font-size: 17px; line-height: 1.6; }
.intro-actions { display: flex; align-items: center; gap: 26px; flex-wrap: wrap; margin-top: 23px; font-size: 14px; }
.disclosure-line { display: flex; align-items: baseline; gap: 20px; margin-top: 30px; padding: 16px 0 16px 17px; border-left: 3px solid #ab513b; border-block: 1px solid var(--line); font-size: 13px; }
.status-label { color: #94452f; font-weight: 600; white-space: nowrap; }
.disclosure-line p { color: var(--muted); }

.dossiers { padding-top: 44px; }
.section-heading { display: flex; justify-content: space-between; align-items: end; gap: 24px; margin-bottom: 25px; }
.section-number { display: block; color: var(--muted); margin-bottom: 8px; }
h2 { font-size: 33px; line-height: 1.2; }
.section-heading > p { font-size: 13px; color: var(--muted); line-height: 1.6; }
.paper-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 28px; }
.paper { border-top: 2px solid var(--green); border-bottom: 1px solid var(--line); display: flex; flex-direction: column; }
.paper + .paper { border-top-color: #525b89; }
.paper:nth-child(3) { border-top-color: #586571; }
.paper-preview { height: 276px; display: flex; align-items: center; justify-content: center; gap: 18px; padding: 25px; border-bottom: 1px solid var(--line); }
.compact-preview { background: #e9f0ec; }
.selected-preview { background: #eceef5; }
.technical-preview { background: #eef1f3; }
.paper-preview img { display: block; height: 224px; width: auto; max-width: calc(50% - 9px); object-fit: contain; box-shadow: 0 4px 12px #182b2c18; background: white; }
.paper-information { padding: 24px 0 26px; flex: 1; display: flex; flex-direction: column; }
.paper-meta { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 4px 12px; font-size: 12px; font-weight: 500; color: var(--muted); margin-bottom: 14px; }
.paper h3 { font-family: var(--serif); font-size: 27px; font-weight: 500; line-height: 1.25; margin-bottom: 12px; }
.paper p { font-size: 15px; line-height: 1.7; color: var(--muted); margin-bottom: 23px; }
.paper-topics { display: flex; flex-wrap: wrap; gap: 5px 18px; margin: -6px 0 24px; padding: 0; list-style: none; font-size: 12px; color: var(--ink); }
.paper-topics li { border-bottom: 1px solid var(--line); padding-bottom: 4px; }
.paper-actions { display: flex; align-items: center; gap: 22px; flex-wrap: wrap; margin-top: auto; }
.button { display: inline-flex; min-height: 44px; align-items: center; justify-content: center; padding: 11px 20px; border: 1px solid transparent; border-radius: 3px; font-size: 13px; font-weight: 600; line-height: 1.5; text-decoration: none; text-align: center; transition: background-color 150ms; }
.button-primary { color: white; background: var(--green); }
.button-primary:hover { background: #104c40; }
.download-link { font-size: 13px; }
.section-note { font-size: 13px; color: var(--muted); margin-top: 15px; }
.source-strip { display: flex; justify-content: space-between; gap: 20px; padding: 23px 0; margin-top: 15px; border-bottom: 1px solid var(--line); font-size: 14px; }
.source-strip p { color: var(--muted); }
.source-strip a { font-weight: 500; }

.section-band { padding-top: 60px; }
.example-layout { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 64px; align-items: start; }
.table-figure { margin: 0; min-width: 0; padding: 25px; border: 1px solid var(--line); border-radius: 4px; background: #f6f8f8; }
#example-table, #negative-table { width: 100%; border-collapse: collapse; table-layout: fixed; font: 16px/1.4 var(--sans); font-variant-numeric: tabular-nums; }
.table-figure caption { text-align: left; padding-bottom: 18px; font-size: 14px; font-weight: 600; }
.table-figure th { font-size: 12px; font-weight: 500; color: var(--muted); }
.table-figure th, .table-figure td { height: 42px; padding: 0; text-align: center; }
.table-figure td { border: 1px solid #dfe5e4; background: white; }
.table-figure .selected-row td { background: #e0eee8; color: #174e40; font-weight: 600; }
.table-figure figcaption { margin-top: 20px; font-size: 14px; color: var(--muted); line-height: 1.65; }
.cycle-formula { display: flex; justify-content: space-between; gap: 8px; margin-top: 14px; font: 23px/1.4 var(--serif); color: var(--green); }
.example-explanation h3 { font: 500 27px/1.3 var(--serif); margin-bottom: 16px; }
.example-explanation > p { color: var(--muted); font-size: 15px; margin-bottom: 14px; }
.example-explanation strong { color: var(--ink); font-weight: 600; }
.cycle-steps { padding-left: 23px; margin: 0 0 16px; color: var(--muted); font-size: 15px; }
.cycle-steps li + li { margin-top: 8px; }
.example-explanation > .cycle-path { color: var(--green); font: 25px/1.5 var(--serif); }
.negative-example { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 64px; align-items: start; margin-top: 36px; padding-top: 36px; border-top: 1px solid var(--line); }
.negative-table-figure { width: 100%; max-width: 320px; justify-self: center; }
.negative-table-figure .selected-row td { background: #f6e9e3; color: #843d2e; }
.example-explanation > .negative-path { color: #843d2e; }
.view-results { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); margin: 23px 0; padding-block: 15px; border-block: 1px solid var(--line); }
.view-results div + div { padding-left: 18px; border-left: 1px solid var(--line); }
.view-results dt { font-size: 12px; color: var(--muted); }
.view-results dd { margin: 3px 0 0; font: 26px/1.3 var(--serif); color: var(--green); }
.view-results dd span { font: 11px var(--sans); color: var(--muted); margin-left: 7px; white-space: nowrap; }
.verification-command { border-left: 2px solid #536592; padding: 2px 0 2px 18px; }
.command-label { display: block; color: var(--muted); font-size: 12px; font-weight: 600; margin-bottom: 10px; }
.verification-command code, .verification-command samp { display: block; font: 13px/1.7 ui-monospace, SFMono-Regular, Consolas, monospace; overflow-wrap: anywhere; }
.verification-command code { color: #304e80; }
.verification-command samp { color: var(--muted); margin-top: 8px; }
.example-links { display: flex; flex-wrap: wrap; gap: 4px 24px; margin-top: 15px; font-size: 14px; }
.example-links a { display: inline-flex; align-items: center; min-height: 44px; }
.evidence-list { border-top: 1px solid var(--line); }
.evidence-row { display: grid; grid-template-columns: 185px minmax(0, 1fr) 170px; gap: 28px; padding: 26px 0; border-bottom: 1px solid var(--line); }
.evidence-kind { font-size: 13px; font-weight: 600; line-height: 1.6; padding-left: 13px; position: relative; }
.evidence-kind::before { content: ""; position: absolute; width: 5px; height: 5px; border-radius: 50%; top: 7px; left: 0; background: currentColor; }
.written { color: var(--green); }
.computed { color: #315b91; }
.open { color: #994431; }
.evidence-row h3 { font-size: 16px; font-weight: 600; line-height: 1.5; margin-bottom: 6px; }
.evidence-row p { font-size: 15px; color: var(--muted); max-width: 68ch; }
.evidence-reference { display: inline-flex; align-items: center; min-height: 44px; font-size: 14px; justify-self: start; align-self: start; overflow-wrap: anywhere; }
.open-row h3 { color: #843d2e; }
.text-link { display: inline-block; font-size: 14px; margin-top: 23px; font-weight: 500; }

.origin { padding-bottom: 64px; }
.origin-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 64px; }
.origin-statement { font-size: 16px; color: #465759; }
.origin-statement p + p { margin-top: 18px; font-size: 14px; }
.origin-statement strong { color: var(--ink); font-weight: 600; }
.disclosure-details { border-top: 1px solid var(--line); }
details { border-bottom: 1px solid var(--line); }
summary { padding: 17px 0; cursor: pointer; font-size: 14px; font-weight: 500; }
summary::marker { color: var(--green); }
details p { font-size: 13px; color: var(--muted); padding-bottom: 18px; }
details a { display: inline-block; font-size: 13px; margin-bottom: 18px; }

.review-band { color: white; background: #173f39; }
.review-inner { display: flex; align-items: center; justify-content: space-between; gap: 50px; padding-block: 52px; }
.review-band .section-number { color: #b5d0c8; }
.review-band h2 { font-size: 38px; }
.review-band p { font-size: 14px; color: #d0e0da; max-width: 590px; margin-top: 20px; }
.review-actions { min-width: 210px; display: flex; flex-direction: column; align-items: center; gap: 16px; }
.button-light { color: #173f39; background: #fff; width: 100%; }
.button-light:hover { background: #e0ede8; }
.review-discussion { color: #e2eee9; font-size: 13px; }
.review-questions { list-style: none; padding: 0; margin: 16px 0 0; }
.review-questions a { display: inline-flex; align-items: center; min-height: 44px; padding-block: 8px; font-size: 15px; color: #e2eee9; }
.footer { display: flex; justify-content: space-between; gap: 28px; padding-block: 32px; font-size: 12px; }
.footer p:first-child { color: var(--ink); }
.footer p, .footer span { color: var(--muted); }
.footer p:last-child { text-align: right; }

@media (min-width: 1600px) {
  .introduction { padding-top: 52px; }
}
@media (max-width: 1000px) {
  .container { width: calc(100% - 64px); }
  h1 { font-size: 62px; }
  .paper-grid { grid-template-columns: minmax(0, 1fr); }
  .paper { display: grid; grid-template-columns: 260px minmax(0, 1fr); gap: 24px; }
  .paper-preview { gap: 12px; padding: 20px 16px; height: 245px; }
  .paper-preview img { height: 205px; max-width: calc(50% - 6px); }
  .paper-information { padding: 20px 0; }
  .paper h3 { font-size: 24px; }
  .evidence-row { grid-template-columns: 170px minmax(0, 1fr); gap: 20px; }
  .evidence-reference { grid-column: 2; }
  .origin-grid { gap: 36px; }
  .example-layout, .negative-example { gap: 32px; }
  .table-figure { padding: 16px; }
  .table-figure th, .table-figure td { height: 36px; }
  .view-results dd span { display: block; margin: 2px 0 0; }
  .review-inner { gap: 36px; }
}
@media (max-width: 700px) {
  html { scroll-padding-top: 16px; }
  .container { width: calc(100% - 40px); }
  .masthead-inner { min-height: 118px; align-items: flex-start; flex-direction: column; justify-content: center; gap: 10px; padding-block: 16px; }
  .brand-mark { height: 36px; width: 36px; font-size: 16px; }
  .brand-mark span { left: 7px; right: 7px; bottom: 7px; }
  .brand { gap: 10px; }
  nav { width: 100%; gap: 12px; font-size: 12px; justify-content: space-between; }
  nav a { padding-block: 7px; }
  nav .repository-link { padding-left: 12px; }
  .introduction { padding-top: 22px; }
  .eyebrow-row { display: block; font-size: 11px; }
  .eyebrow { font-size: 11px; }
  .dateline { margin-top: 4px; font-size: 12px; }
  h1 { font-size: 46px; margin-top: 18px; line-height: 1.06; }
  .introduction-text { font-size: 15px; line-height: 1.55; margin-top: 16px; }
  .research-question { font-size: 15px; }
  .intro-actions { gap: 12px 20px; margin-top: 18px; }
  .disclosure-line { display: block; margin-top: 24px; padding: 12px 0 12px 14px; font-size: 12px; }
  .disclosure-line p { margin-top: 4px; }
  .dossiers { padding-top: 32px; }
  .section-heading { display: block; margin-bottom: 20px; }
  .section-heading > p { margin-top: 10px; }
  .section-heading > p br { display: none; }
  h2 { font-size: 29px; }
  .paper-grid { grid-template-columns: minmax(0, 1fr); gap: 22px; }
  .paper { display: flex; gap: 0; }
  .paper-preview { height: 250px; gap: 14px; padding: 20px; }
  .paper-preview img { height: 205px; max-width: calc(50% - 7px); }
  .paper h3 { font-size: 26px; }
  .paper-information { padding: 22px 0; }
  .paper-meta { font-size: 12px; }
  .paper-actions { gap: 20px; }
  .button { padding-inline: 16px; }
  .section-note { font-size: 13px; }
  .source-strip { flex-direction: column; gap: 8px; padding-block: 20px; font-size: 13px; }
  .section-band { padding-top: 40px; }
  .example-layout, .negative-example { grid-template-columns: minmax(0, 1fr); gap: 28px; }
  .table-figure { padding: 16px; max-width: 470px; width: 100%; justify-self: center; }
  .negative-table-figure { max-width: 320px; }
  #example-table { font-size: 14px; }
  #example-table th, #example-table td { height: 34px; }
  .cycle-formula { font-size: 21px; }
  .example-explanation h3 { font-size: 25px; }
  .evidence-row { display: block; padding: 22px 0; }
  .evidence-kind { margin-bottom: 9px; }
  .evidence-reference { margin-top: 8px; }
  .origin-grid { grid-template-columns: minmax(0, 1fr); gap: 28px; }
  .origin { padding-bottom: 42px; }
  .review-inner { flex-direction: column; align-items: stretch; padding-block: 35px; gap: 28px; }
  .review-band h2 { font-size: 31px; }
  .review-actions { flex-direction: row; flex-wrap: wrap; gap: 20px; }
  .button-light { width: auto; }
  .footer { flex-direction: column; gap: 18px; padding-block: 26px; font-size: 11px; }
  .footer p:last-child { text-align: left; }
}
@media (max-width: 360px) {
  h1 { font-size: 41px; }
  nav { gap: 8px; }
  .paper-actions { gap: 14px; }
  .paper-information { padding: 18px 0; }
  .table-figure { padding: 12px; }
  #example-table th, #example-table td { height: 29px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .button { transition: none; }
}
@media print {
  .container { width: 100%; }
  nav, .skip-link, .paper-preview, .paper-actions, .review-band, .disclosure-details { display: none; }
  body { font-size: 11pt; }
  h1 { font-size: 32pt; }
  h2 { font-size: 20pt; }
  .paper-grid, .origin-grid { display: block; }
  .example-layout { display: block; }
  .table-figure { max-width: 320px; break-inside: avoid; margin-bottom: 18pt; }
  .paper { break-inside: avoid; margin-bottom: 12pt; }
  .introduction, .section-band, .dossiers { padding-top: 18pt; }
  .footer { border-top: 1px solid var(--line); }
}