:root {
  color-scheme: light;
  --canvas: #f5f3ec;
  --paper: #fffef9;
  --ink: #202c26;
  --muted: #59625a;
  --line: #d9ddd2;
  --forest: #254d3b;
  --forest-tint: #e5eee5;
  --amber: #765313;
  --amber-tint: #f9edc8;
  --red: #8c3733;
  --red-tint: #f6e9e4;
  --serif: Georgia, 'Times New Roman', serif;
  --sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
  --code: ui-monospace, SFMono-Regular, Consolas, monospace;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 32px; scrollbar-color: #819389 var(--canvas); }
body { margin: 0; background: var(--canvas); color: var(--ink); font-family: var(--sans); font-size: 16px; line-height: 1.6; -webkit-font-smoothing: antialiased; }
::selection { color: var(--paper); background: var(--forest); }
button, input { font: inherit; }
button, a, summary, input { -webkit-tap-highlight-color: transparent; }
a { color: inherit; text-underline-offset: .22em; }
a:hover { text-decoration-thickness: 2px; }
button { cursor: pointer; }
:focus-visible { outline: 3px solid var(--forest); outline-offset: 4px; }
svg { flex: none; vertical-align: middle; }
code, pre { font-family: var(--code); }
code { overflow-wrap: anywhere; }
[hidden] { display: none !important; }
h1, h2, h3, h4, h5, p, figure { margin: 0; }
h1, h2, .local-run h3 { font-family: var(--serif); font-weight: 400; }
h1, h2, h3, h4, h5 { line-height: 1.1; }
h1, h2 { text-wrap: balance; letter-spacing: -.035em; }
.wrap { width: min(1280px, calc(100% - 96px)); margin-inline: auto; }
.skip-link { position: absolute; left: 16px; top: -100px; z-index: 5; padding: 12px 18px; background: var(--forest); color: var(--paper); }
.skip-link:focus { top: 12px; }
.site-header { min-height: 108px; display: flex; align-items: center; justify-content: space-between; gap: 32px; border-bottom: 1px solid var(--line); }
.wordmark { display: inline-flex; align-items: center; gap: 12px; color: var(--forest); font-size: 24px; font-weight: 650; letter-spacing: -.04em; text-decoration: none; }
.site-header nav { display: flex; align-items: center; gap: 32px; font-size: 14px; font-weight: 550; }
.site-header nav a { text-decoration: none; padding-block: 12px; }
.site-header nav a:hover { text-decoration: underline; }
.nav-repo { display: flex; gap: 8px; }
.hero { display: grid; grid-template-columns: 1.6fr 1fr; gap: 72px; align-items: center; padding-block: 80px 72px; }
h1 { font-size: clamp(52px, 5.3vw, 76px); line-height: 1.04; }
h1 span { color: var(--forest); }
.hero-intro { font-family: var(--serif); font-size: 26px; margin-top: 32px; line-height: 1.35; }
.hero-description { color: var(--muted); max-width: 49ch; font-size: 18px; margin-top: 12px; line-height: 1.65; }
.actions { display: flex; align-items: center; gap: 24px; flex-wrap: wrap; margin-top: 32px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 18px; padding: 15px 20px; min-height: 52px; border-radius: 6px; text-decoration: none; font-weight: 600; font-size: 15px; }
.primary { background: var(--forest); color: var(--paper); }
.primary:hover { background: #193d2d; }
.text-link { font-weight: 600; font-size: 14px; }
.fixture-note { margin-top: 20px; color: var(--muted); font-size: 14px; display: flex; align-items: center; gap: 9px; }
.status-dot { display: inline-block; background: var(--forest); width: 7px; height: 7px; border-radius: 50%; flex: none; }
.hero-record { background: var(--paper); border: 1px solid var(--line); border-radius: 6px; }
.record-top { display: flex; justify-content: space-between; gap: 12px; padding: 16px 24px; border-bottom: 1px solid var(--line); font-family: var(--code); font-size: 14px; color: var(--muted); }
.record-stamp { font-family: var(--sans); color: var(--amber); }
.record-body { padding: 28px 24px 24px; }
.source-quote { font-family: var(--serif); font-size: 24px; line-height: 1.5; }
.source-quote span { text-decoration: underline; text-decoration-color: var(--forest); text-underline-offset: .12em; }
.destination { margin-top: 24px; }
.destination-label { display: flex; justify-content: space-between; align-items: center; gap: 12px; font-size: 14px; font-weight: 550; color: var(--muted); margin-bottom: 7px; }
.destination-label b { color: var(--red); font-weight: 500; }
.destination code { display: block; font-size: 14px; line-height: 1.8; padding: 8px 10px; }
.old code { background: var(--red-tint); color: var(--red); }
.proposed code { background: var(--forest-tint); color: var(--forest); }
.proposed { margin-top: 16px; }
.evidence-pair { display: flex; flex-wrap: wrap; gap: 8px 20px; margin-top: 16px; color: var(--forest); font-size: 14px; font-weight: 550; }
.record-caution { font-size: 14px; color: var(--muted); margin-top: 12px; }
.record-bottom { display: flex; align-items: center; justify-content: space-between; gap: 12px; background: #eef1e9; border-top: 1px solid var(--line); border-radius: 0 0 6px 6px; color: var(--forest); padding: 16px 24px; font-size: 14px; font-weight: 600; text-decoration: none; }
.record-bottom:hover { background: var(--forest-tint); }
.principles { display: flex; align-items: center; gap: 26px; border-block: 1px solid var(--line); padding-block: 22px; font-size: 14px; color: var(--muted); }
.principles strong { color: var(--ink); font-weight: 600; }
.principles > span { color: #8e9a90; }
.principles-end { margin-left: auto; font-size: 14px; }
.evidence-section { padding-block: 96px; }
.section-heading { display: grid; grid-template-columns: 1.25fr 1fr; align-items: end; gap: 80px; margin-bottom: 36px; }
h2 { font-size: clamp(36px, 3.4vw, 48px); line-height: 1.1; }
.section-heading > p { max-width: 52ch; color: var(--muted); font-size: 15px; }
.explorer { border: 1px solid var(--line); border-radius: 6px; background: var(--paper); display: grid; grid-template-columns: 288px minmax(0, 1fr); overflow: clip; }
.citation-sidebar { border-right: 1px solid var(--line); background: #f9f8f2; }
.sidebar-top { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 24px 20px 16px; }
.sidebar-top h3 { font-size: 14px; font-weight: 650; }
.sidebar-top > span { font-size: 14px; color: var(--muted); }
.search-control { padding: 0 20px 20px; }
.search-control label { display: block; font-size: 14px; color: var(--muted); margin-bottom: 6px; }
.search-field { border: 1px solid #b8c3b9; border-radius: 6px; display: flex; align-items: center; background: var(--paper); padding-left: 10px; }
.search-field:focus-within { outline: 3px solid var(--forest); outline-offset: 3px; }
.search-field svg { color: var(--muted); }
.search-field input { min-width: 0; width: 100%; padding: 10px 8px; border: 0; border-radius: 6px; background: transparent; color: var(--ink); font-size: 14px; caret-color: var(--forest); }
.search-field input:focus { outline: none; }
.search-field input::placeholder { color: var(--muted); opacity: 1; }
.citation-list { border-top: 1px solid var(--line); }
.citation-button { display: block; width: 100%; text-align: left; border: 0; border-bottom: 1px solid var(--line); border-radius: 0; padding: 18px 20px; color: var(--ink); background: transparent; }
.citation-button:hover { background: #edf0e7; }
.citation-button[aria-pressed="true"] { background: var(--forest-tint); }
.citation-button:focus-visible { outline-offset: -4px; }
.citation-button strong { display: block; font-size: 14px; font-weight: 600; line-height: 1.4; margin-bottom: 4px; }
.citation-button .host { display: block; font-size: 14px; color: var(--muted); margin-bottom: 8px; overflow-wrap: anywhere; }
.citation-button .row-meta { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 6px; }
.row-meta .occurrences { color: var(--muted); font-size: 14px; }
.badge { display: inline-block; font-size: 14px; font-weight: 550; padding: 2px 5px; border-radius: 2px; white-space: nowrap; }
.badge.broken { background: var(--red-tint); color: var(--red); }
.badge.healthy { background: var(--forest-tint); color: var(--forest); }
.badge.blocked { background: var(--amber-tint); color: var(--amber); }
.sidebar-note, .search-status, .noscript-note { font-size: 14px; color: var(--muted); padding: 20px; }
.search-status { border-bottom: 1px solid var(--line); }
.noscript-note { padding-top: 0; }
.evidence-record { min-width: 0; padding: 28px 32px 20px; }
.evidence-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.evidence-heading h3 { font-family: var(--serif); font-weight: 400; font-size: 32px; letter-spacing: -.025em; }
.record-meta { margin-top: 8px; color: var(--muted); font-size: 14px; }
.original-reference { background: #f5f6ef; margin-top: 22px; padding: 12px 14px; }
.original-reference > span { display: block; color: var(--muted); font-size: 14px; margin-bottom: 3px; }
.original-reference code { font-size: 14px; line-height: 1.7; display: block; }
.review-notice { font-size: 15px; margin-top: 16px; color: var(--muted); }
.review-notice.ambiguous { padding: 12px 14px; background: var(--amber-tint); color: var(--amber); }
.candidate-header { display: flex; justify-content: space-between; align-items: center; gap: 16px; margin-top: 24px; padding-bottom: 12px; border-bottom: 1px solid var(--line); }
.candidate-header h4 { font-size: 14px; font-weight: 650; }
.candidate-header > span { font-size: 14px; color: var(--muted); }
.candidate { padding-block: 18px; border-bottom: 1px solid var(--line); }
.candidate-title { display: flex; align-items: flex-start; justify-content: space-between; gap: 24px; }
.candidate-title h5 { font-size: 15px; font-weight: 600; line-height: 1.5; }
.candidate-title > span { color: var(--muted); font-family: var(--code); font-size: 14px; white-space: nowrap; font-variant-numeric: tabular-nums; }
.candidate > code { display: block; font-size: 14px; color: var(--forest); margin-top: 6px; line-height: 1.7; }
.candidate > p { font-size: 15px; color: var(--muted); margin-top: 8px; }
.candidate-reasons { display: flex; gap: 16px; padding: 0; margin: 10px 0 0; list-style: none; flex-wrap: wrap; }
.candidate-reasons li { color: var(--forest); font-size: 14px; }
.empty-candidates { padding-block: 28px; max-width: 58ch; font-size: 14px; color: var(--muted); }
.query-details { margin-top: 18px; font-size: 14px; color: var(--muted); }
.query-details summary { cursor: pointer; min-height: 30px; }
.query-details code { display: block; margin: 8px 0; background: #f5f6ef; padding: 10px; color: var(--ink); }
.record-footer { margin-top: 12px; font-size: 14px; max-width: 75ch; color: var(--muted); }
.patch-section { background: var(--forest); color: var(--paper); padding-block: 72px; }
.patch-layout { display: grid; grid-template-columns: .85fr 1fr; gap: 100px; align-items: center; }
.patch-copy > p { max-width: 43ch; margin-top: 24px; color: #d9e3d8; font-size: 15px; }
.patch-copy > p + p { margin-top: 14px; }
.light-link { display: inline-block; margin-top: 24px; font-size: 14px; font-weight: 550; }
.patch-proof { min-width: 0; }
.patch-proof-top { display: flex; justify-content: space-between; gap: 16px; font-size: 14px; padding-bottom: 14px; border-bottom: 1px solid #60816d; }
.patch-proof-top > span:first-child { font-family: var(--code); }
.patch-proof-top > span:last-child { color: #d9e3d8; }
.patch-proof pre { font-size: 14px; line-height: 1.9; margin: 24px 0 20px; white-space: pre-wrap; overflow-wrap: anywhere; }
.diff-context { color: #d9e3d8; }
.diff-removed { color: #ffd6c7; }
.diff-added { color: #d4f0cc; }
.patch-proof > p { font-size: 14px; color: #d9e3d8; max-width: 60ch; }
.patch-artifacts { display: flex; flex-wrap: wrap; gap: 24px; border-top: 1px solid #60816d; padding-top: 20px; margin-top: 22px; font-size: 14px; }
.patch-section :focus-visible { outline-color: var(--paper); }
.demo-section { padding-block: 96px 88px; }
.demo-layout { display: grid; grid-template-columns: 1.25fr 1fr; gap: 80px; align-items: start; }
.demo-video { min-width: 0; }
.demo-video video { display: block; width: 100%; aspect-ratio: 1440 / 1000; height: auto; background: #101510; border: 1px solid var(--line); border-radius: 6px; }
.demo-video figcaption { font-size: 14px; color: var(--muted); margin-top: 12px; line-height: 1.9; }
.local-run h3 { font-size: 36px; line-height: 1.1; letter-spacing: -.025em; }
.local-run > p { font-size: 14px; max-width: 48ch; margin-top: 18px; color: var(--muted); }
.command-line { display: flex; align-items: center; gap: 16px; justify-content: space-between; background: var(--paper); border: 1px solid var(--line); border-radius: 6px; margin-top: 12px; padding: 14px; }
.command-line code { font-size: 14px; }
.command-line button { background: var(--forest-tint); color: var(--forest); border: 0; border-radius: 4px; padding: 8px 12px; min-height: 36px; font-size: 14px; font-weight: 600; }
.command-line button:hover { background: #d3e2d1; }
.local-run > .copy-status { min-height: 18px; margin: 4px 0 0; font-size: 14px; }
.local-run > .copy-status + p { margin-top: 12px; }
.local-run .text-link { display: inline-block; margin-top: 24px; }
.truth-section { border-top: 1px solid var(--line); padding-block: 48px 64px; display: grid; grid-template-columns: .85fr 1fr; column-gap: 100px; }
.truth-section h2 { font-size: 32px; }
.truth-section > div > p { margin-top: 16px; font-size: 14px; color: var(--muted); }
.truth-ledger { margin: 0; }
.truth-ledger > div { display: grid; grid-template-columns: 135px 1fr; gap: 20px; border-bottom: 1px solid var(--line); padding-block: 12px; font-size: 14px; }
.truth-ledger > div:first-child { padding-top: 0; }
.truth-ledger dt { font-weight: 600; }
.truth-ledger dd { margin: 0; color: var(--muted); }
.truth-ledger .status-dot { margin-right: 5px; }
.live-note { grid-column: 2; color: var(--muted); font-size: 14px; margin-top: 20px; }
.site-footer { border-top: 1px solid var(--line); padding-block: 24px 32px; display: flex; align-items: center; gap: 32px; }
.site-footer .wordmark { font-size: 18px; }
.site-footer > p { color: var(--muted); font-family: var(--serif); font-size: 14px; }
.site-footer nav { display: flex; gap: 24px; margin-left: auto; font-size: 14px; }
@media (max-width: 1180px) {
  .wrap { width: calc(100% - 64px); }
  .hero { gap: 36px; grid-template-columns: 1.45fr 1fr; }
  h1 { font-size: clamp(46px, 5.3vw, 64px); }
  .hero-description { font-size: 16px; }
  .section-heading, .demo-layout { gap: 48px; }
  .patch-layout, .truth-section { gap: 64px; }
  .principles { gap: 18px; }
  .explorer { grid-template-columns: 254px minmax(0, 1fr); }
}
@media (max-width: 900px) {
  .hero { grid-template-columns: 1fr; gap: 40px; padding-top: 56px; }
  .hero-copy { max-width: 680px; }
  h1 { font-size: 64px; }
  .hero-record { max-width: 680px; }
  .record-body { display: grid; grid-template-columns: 1fr 1fr; gap: 16px 24px; }
  .source-quote { grid-column: 1 / -1; }
  .destination, .proposed { margin: 0; }
  .evidence-pair, .record-caution { margin: 0; }
  .principles { flex-wrap: wrap; }
  .principles-end { width: 100%; margin-left: 0; }
  .section-heading { grid-template-columns: 1fr; gap: 20px; }
  .section-heading > p { max-width: 64ch; }
  .explorer { grid-template-columns: 225px minmax(0, 1fr); }
  .evidence-record { padding: 24px; }
  .candidate-title { gap: 12px; }
  .candidate-header { align-items: start; }
  .candidate-header > span { max-width: 100px; text-align: right; }
  .patch-layout, .truth-section { grid-template-columns: 1fr; gap: 36px; }
  .patch-copy > p { max-width: 60ch; }
  .demo-layout { grid-template-columns: 1fr; gap: 40px; }
  .local-run { max-width: 600px; }
  .live-note { grid-column: 1; margin-top: 0; }
  .site-footer { flex-wrap: wrap; gap: 16px 32px; }
  .site-footer nav { margin-left: 0; }
}
@media (max-width: 620px) {
  html { scroll-padding-top: 20px; }
  .wrap { width: calc(100% - 40px); }
  .site-header { min-height: 88px; flex-wrap: wrap; gap: 8px; padding-block: 16px; }
  .wordmark { font-size: 21px; gap: 8px; }
  .wordmark svg { width: 24px; height: 24px; }
  .site-header nav { width: 100%; gap: 20px; font-size: 14px; justify-content: space-between; }
  .site-header nav a { padding-block: 4px; }
  .hero { padding-block: 40px; gap: 32px; }
  h1 { font-size: clamp(37px, 9.5vw, 55px); letter-spacing: -.035em; line-height: 1.08; }
  .hero-intro { font-size: 21px; margin-top: 24px; }
  .hero-description { margin-top: 10px; font-size: 15px; }
  .actions { gap: 18px; margin-top: 24px; align-items: start; flex-direction: column; }
  .button { font-size: 14px; padding: 14px 18px; }
  .fixture-note { font-size: 14px; align-items: flex-start; }
  .fixture-note .status-dot { margin-top: 5px; }
  .record-top { padding: 14px 18px; font-size: 14px; }
  .record-body { display: block; padding: 20px 18px; }
  .source-quote { font-size: 23px; }
  .destination { margin-top: 18px; }
  .destination code { font-size: 14px; }
  .evidence-pair { margin-top: 14px; font-size: 14px; }
  .record-caution { margin-top: 8px; font-size: 14px; }
  .record-bottom { padding: 14px 18px; font-size: 14px; }
  .principles { gap: 8px 10px; padding-block: 18px; font-size: 14px; align-items: flex-start; flex-direction: column; }
  .principles > span { display: none; }
  .principles-end { font-size: 14px; margin-top: 4px; }
  .evidence-section { padding-block: 56px; }
  h2 { font-size: 34px; }
  .section-heading { gap: 16px; margin-bottom: 24px; }
  .section-heading > p { font-size: 14px; }
  .explorer { grid-template-columns: 1fr; }
  .citation-sidebar { border-right: 0; border-bottom: 1px solid var(--line); }
  .sidebar-top { padding: 18px 16px 14px; }
  .search-control { padding: 0 16px 16px; }
  .search-control input { font-size: 14px; }
  .citation-list { display: grid; grid-template-columns: 1fr 1fr; }
  .citation-button { min-width: 0; padding: 14px 16px; }
  .citation-button:nth-child(odd) { border-right: 1px solid var(--line); }
  .citation-button strong { font-size: 14px; }
  .citation-button .host { font-size: 14px; }
  .citation-button .row-meta { flex-wrap: wrap; gap: 4px; }
  .row-meta .occurrences { font-size: 14px; }
  .sidebar-note { padding: 14px 16px; font-size: 14px; }
  .evidence-record { padding: 22px 16px 18px; }
  .evidence-heading h3 { font-size: 27px; }
  .record-meta { font-size: 14px; }
  .original-reference { margin-top: 18px; padding: 10px; }
  .review-notice { font-size: 15px; }
  .candidate-header { margin-top: 20px; flex-wrap: wrap; gap: 8px; }
  .candidate-header > span { font-size: 14px; max-width: none; flex-basis: 100%; text-align: left; }
  .candidate-title h5 { font-size: 15px; }
  .candidate-title > span { font-size: 14px; }
  .candidate > p { font-size: 15px; }
  .candidate-reasons { gap: 4px; display: block; }
  .candidate-reasons li + li { margin-top: 4px; }
  .patch-section { padding-block: 48px; }
  .patch-layout { gap: 36px; }
  .patch-copy > p { font-size: 14px; }
  .patch-proof pre { font-size: 14px; }
  .patch-artifacts { gap: 16px; }
  .demo-section { padding-block: 56px; }
  .demo-layout { gap: 32px; }
  .local-run h3 { font-size: 32px; }
  .truth-section { padding-block: 32px 40px; gap: 28px; }
  .truth-section h2 { font-size: 28px; }
  .truth-ledger > div { grid-template-columns: 100px 1fr; gap: 16px; font-size: 14px; }
  .site-footer { padding-block: 22px; display: block; }
  .site-footer > p { margin-top: 8px; font-size: 14px; }
  .site-footer nav { margin-top: 18px; gap: 24px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation: none !important; transition: none !important; }
}