:root {
  --paper: #f5f2e9;
  --surface: #fffef9;
  --ink: #192823;
  --muted: #57615b;
  --line: #cccfc3;
  --green: #245d49;
  --green-soft: #e3ece1;
  --red: #983f32;
  --red-soft: #f9e7df;
  --mono: Consolas, "Liberation Mono", monospace;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 16px/1.6 "Segoe UI", sans-serif; }
a { color: inherit; text-underline-offset: 4px; }
a:hover { color: var(--green); }
button { font: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
button:focus-visible, a:focus-visible, summary:focus-visible { outline: 3px solid var(--green); outline-offset: 4px; }
.skip { position: absolute; top: -80px; left: 16px; z-index: 10; background: var(--ink); color: white; padding: 10px 20px; }
.skip:focus { top: 12px; }
.site-header { display: flex; align-items: center; justify-content: space-between; gap: 24px; padding: 22px 5vw; border-bottom: 1px solid var(--line); }
.brand { display: inline-flex; align-items: center; gap: 10px; text-decoration: none; font-weight: 700; font-size: 19px; letter-spacing: -.6px; white-space: nowrap; }
.brand-mark { display: grid; place-items: center; background: var(--ink); color: var(--paper); width: 32px; height: 32px; border-radius: 50%; font: italic 20px Georgia, serif; letter-spacing: -2px; padding-right: 2px; }
.site-header nav { display: flex; flex-wrap: wrap; gap: 10px 25px; align-items: center; font-size: 14px; }
.site-header nav a { text-decoration: none; }
.site-header nav a:hover { text-decoration: underline; }
.repo-link { border-left: 1px solid var(--line); padding-left: 22px; }
main { max-width: 1500px; margin: 0 auto; padding: 0 5vw 60px; min-height: 60vh; }
main:focus { outline: none; }
.loading { margin: 70px 0; color: var(--muted); }
.eyebrow { text-transform: uppercase; font: 11px/1.5 var(--mono); letter-spacing: 1.6px; color: var(--green); margin: 0 0 20px; }
.hero { display: grid; grid-template-columns: 1.05fr 1fr; gap: 6vw; padding: 65px 0 60px; align-items: center; }
h1, h2, h3, p { overflow-wrap: anywhere; }
h1 { font: 400 clamp(38px, 4.5vw, 68px)/1.06 Georgia, serif; letter-spacing: -2px; margin: 0 0 24px; }
.hero h1 em { color: var(--green); font-weight: 400; }
.hero-copy { color: var(--muted); max-width: 460px; font-size: 18px; line-height: 1.65; }
.actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 28px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 18px; border: 1px solid var(--ink); background: transparent; color: var(--ink); padding: 11px 18px; text-decoration: none; cursor: pointer; font-size: 14px; min-height: 46px; }
.button.primary { background: var(--ink); color: var(--surface); }
.button:hover { background: var(--green-soft); color: var(--green); }
.button.primary:hover { background: var(--green); color: white; }
.hero-proof { background: var(--surface); border: 1px solid var(--line); box-shadow: 9px 9px 0 #e6e5da; transform: rotate(-1deg); }
.proof-heading { display: flex; justify-content: space-between; gap: 14px; padding: 15px 20px; border-bottom: 1px solid var(--line); font: 12px var(--mono); }
.proof-body { padding: 24px; }
.proof-body h2 { font: 24px/1.25 Georgia, serif; margin: 0 0 22px; }
.proof-line { padding: 13px 15px; margin-bottom: 12px; }
.proof-line small { display: block; font: 10px var(--mono); text-transform: uppercase; letter-spacing: 1px; margin-bottom: 8px; }
.proof-line code { display: block; font: 13px/1.7 var(--mono); overflow-wrap: anywhere; }
.before { background: var(--red-soft); color: #753529; }
.after { background: var(--green-soft); color: #224f3c; }
.proof-note { font-size: 12px; color: var(--muted); margin: 16px 0 0; }
.section-heading { display: flex; align-items: baseline; gap: 24px; justify-content: space-between; border-top: 1px solid var(--ink); padding-top: 25px; margin-bottom: 22px; }
.section-heading h2 { margin: 0; font: 31px/1.2 Georgia, serif; letter-spacing: -.5px; }
.section-heading p { margin: 0; color: var(--muted); font-size: 13px; }
.example-list { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); border: 1px solid var(--line); background: var(--surface); }
.example-card { display: flex; flex-direction: column; padding: 25px; border-right: 1px solid var(--line); text-decoration: none; min-width: 0; }
.example-card:last-child { border-right: 0; }
.example-card:hover { background: #edf1e7; color: var(--ink); }
.case-top { display: flex; justify-content: space-between; align-items: center; gap: 12px; margin-bottom: 24px; }
.case-number { color: var(--muted); font: 12px var(--mono); }
.badge { font: 10px/1.5 var(--mono); text-transform: uppercase; letter-spacing: .7px; padding: 3px 8px; border: 1px solid #a8b6a9; color: var(--green); display: inline-block; }
.badge.reversed { color: var(--red); border-color: #c4a398; }
.example-card h3 { font: 25px/1.2 Georgia, serif; margin: 0 0 14px; }
.example-card p { font-size: 14px; color: var(--muted); margin: 0 0 28px; }
.card-cta { margin-top: auto; font-size: 13px; display: flex; justify-content: space-between; align-items: center; }
.method { display: grid; grid-template-columns: .8fr 1.2fr; gap: 6vw; margin-top: 65px; padding: 30px 0; border-top: 1px solid var(--line); }
.method h2 { font: 30px/1.2 Georgia, serif; margin: 0 0 15px; }
.method p { color: var(--muted); font-size: 14px; }
.method ol { padding-left: 22px; margin: 0; }
.method li { margin-bottom: 16px; padding-left: 10px; font-size: 14px; }
.method strong { color: var(--ink); }
.workspace { display: grid; grid-template-columns: 215px minmax(0, 1fr); gap: 42px; padding-top: 36px; }
.sidebar { border-right: 1px solid var(--line); padding-right: 26px; }
.sidebar .eyebrow { margin: 38px 0 12px; }
.back { font-size: 13px; text-decoration: none; }
.case-nav { display: flex; flex-direction: column; gap: 6px; }
.case-nav a { display: flex; gap: 12px; padding: 11px 10px; text-decoration: none; font-size: 13px; line-height: 1.4; }
.case-nav a[aria-current="page"] { background: var(--green-soft); border-left: 2px solid var(--green); padding-left: 8px; color: var(--green); font-weight: 600; }
.sidebar-note { font-size: 12px; line-height: 1.7; color: var(--muted); margin-top: 35px; }
.detail { min-width: 0; }
.detail .eyebrow { margin: 3px 0 15px; }
.detail h1 { font-size: clamp(32px, 3.3vw, 48px); max-width: 780px; letter-spacing: -1.4px; margin-bottom: 22px; }
.observation { font-size: 17px; max-width: 830px; margin: 0 0 24px; }
.annotation { display: grid; grid-template-columns: 115px 1fr; gap: 18px; padding: 16px 0; border-top: 1px solid var(--line); font-size: 14px; }
.annotation > span { font: 11px var(--mono); color: var(--muted); padding-top: 4px; }
.annotation p { margin: 0; }
.question { color: var(--green); }
.citation { display: inline-block; background: #e9e9dc; padding: 1px 6px; font: 11px/1.8 var(--mono); border: 0; text-decoration: none; }
.citation-row { display: flex; flex-wrap: wrap; gap: 7px; align-items: center; font-size: 12px; color: var(--muted); margin-bottom: 26px; }
.evidence-heading { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 10px; align-items: center; border-top: 1px solid var(--ink); padding-top: 24px; margin-top: 28px; }
.evidence-heading h2 { font: 25px Georgia, serif; margin: 0; }
.evidence-heading span { font: 11px var(--mono); color: var(--muted); }
.view-switch { display: flex; gap: 0; flex-wrap: wrap; margin: 20px 0 18px; border-bottom: 1px solid var(--line); }
.view-switch button { border: 0; border-bottom: 2px solid transparent; background: transparent; padding: 10px 16px; cursor: pointer; color: var(--muted); font-size: 13px; }
.view-switch button[aria-pressed="true"] { border-color: var(--green); color: var(--green); font-weight: 650; }
.view-switch button:hover { background: var(--green-soft); }
.hunk { margin-bottom: 22px; }
.hunk-caption { background: #e8eadf; color: var(--muted); padding: 8px 12px; font: 11px var(--mono); border: 1px solid var(--line); border-bottom: 0; }
.source-pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); border: 1px solid var(--line); background: var(--surface); }
.source-pane { min-width: 0; }
.source-pane + .source-pane { border-left: 1px solid var(--line); }
.source-title { display: flex; justify-content: space-between; align-items: center; gap: 15px; padding: 11px 13px; border-bottom: 1px solid var(--line); font: 11px var(--mono); }
.source-title strong { text-transform: uppercase; font-size: 10px; letter-spacing: 1px; }
.source-lines { padding: 10px 0; }
.source-line { display: grid; grid-template-columns: 34px minmax(0, 1fr); gap: 5px; padding: 3px 12px 3px 0; font: 12px/1.7 var(--mono); }
.line-number { text-align: right; color: #768074; user-select: none; padding-right: 4px; }
.line-content { white-space: pre-wrap; overflow-wrap: anywhere; min-width: 0; }
.source-line:target { outline: 2px solid var(--green); outline-offset: -2px; }
.source-line.changed-a { background: var(--red-soft); color: #71362b; }
.source-line.changed-b { background: var(--green-soft); color: #264c38; }
.legend { color: var(--muted); font-size: 12px; margin: 12px 0 18px; }
.swatch { display: inline-block; width: 9px; height: 9px; margin: 0 5px 0 12px; }
.swatch:first-child { margin-left: 0; }
.swatch.red { background: #b4715a; }
.swatch.green { background: #638468; }
.unified { background: var(--surface); border: 1px solid var(--line); margin: 0; padding: 17px; font: 12px/1.8 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; }
.hashes { margin: 26px 0; font-size: 12px; color: var(--muted); }
.hashes summary { cursor: pointer; padding: 8px 0; }
.hashes dl { display: grid; grid-template-columns: 90px 1fr; gap: 10px; }
.hashes dt { font-weight: 600; }
.hashes dd { margin: 0; min-width: 0; }
.hashes code { display: block; font: 11px/1.65 var(--mono); overflow-wrap: anywhere; }
.reproduce { border-top: 1px solid var(--line); margin-top: 30px; padding-top: 20px; }
.reproduce h2 { font: 23px Georgia, serif; margin: 0 0 12px; }
.reproduce p { font-size: 13px; color: var(--muted); }
.command { display: flex; gap: 12px; align-items: flex-start; background: #e9ebdf; padding: 16px; }
.command code { font: 12px/1.7 var(--mono); overflow-wrap: anywhere; min-width: 0; flex: 1; white-space: pre-wrap; }
.copy { border: 1px solid var(--line); background: var(--surface); padding: 4px 10px; font-size: 12px; cursor: pointer; }
.copy-status { min-height: 20px; font-size: 12px; color: var(--green); }
.error-page { margin: 60px 0; max-width: 680px; }
.error-page h1 { font-size: 40px; }
.error-page p { color: var(--muted); }
.site-footer { display: flex; justify-content: space-between; gap: 30px; border-top: 1px solid var(--line); margin: 0 5vw; padding: 25px 0 30px; font-size: 12px; color: var(--muted); }
.site-footer p { margin: 0; max-width: 620px; }
.site-footer strong { font-weight: 600; color: var(--ink); }
.site-footer > a { align-self: flex-start; white-space: nowrap; }
.noscript { margin: 20px 5vw; }
@media (min-width: 1500px) { .site-header, .site-footer { padding-left: max(5vw, calc((100vw - 1350px) / 2)); padding-right: max(5vw, calc((100vw - 1350px) / 2)); } }
@media (max-width: 950px) {
  .hero { gap: 35px; }
  .workspace { grid-template-columns: 175px minmax(0, 1fr); gap: 24px; }
  .sidebar { padding-right: 15px; }
  .source-pair { grid-template-columns: 1fr; }
  .source-pane + .source-pane { border-left: 0; border-top: 1px solid var(--line); }
}
@media (max-width: 700px) {
  .site-header { align-items: flex-start; flex-direction: column; gap: 18px; padding: 18px 20px; }
  .site-header nav { gap: 10px 20px; font-size: 12px; }
  .repo-link { border: 0; padding: 0; }
  main { padding: 0 20px 35px; }
  .hero { grid-template-columns: 1fr; padding: 38px 0 40px; gap: 32px; }
  .hero h1 { font-size: 46px; letter-spacing: -1.7px; }
  .hero-copy { font-size: 16px; }
  .hero-proof { transform: none; box-shadow: 5px 5px 0 #e6e5da; }
  .proof-body { padding: 19px; }
  .section-heading { display: block; }
  .section-heading h2 { font-size: 27px; margin-bottom: 8px; }
  .example-list { grid-template-columns: 1fr; }
  .example-card { border-right: 0; border-bottom: 1px solid var(--line); padding: 22px; }
  .example-card:last-child { border-bottom: 0; }
  .case-top { margin-bottom: 16px; }
  .example-card p { margin-bottom: 18px; }
  .method { grid-template-columns: 1fr; gap: 15px; margin-top: 40px; }
  .workspace { grid-template-columns: 1fr; gap: 25px; padding-top: 25px; }
  .sidebar { border-right: 0; padding-right: 0; border-bottom: 1px solid var(--line); padding-bottom: 18px; }
  .sidebar .eyebrow { margin-top: 23px; }
  .case-nav { flex-direction: row; gap: 5px; }
  .case-nav a { flex: 1; min-width: 0; padding: 8px; gap: 5px; font-size: 11px; flex-direction: column; }
  .case-nav a[aria-current="page"] { padding-left: 6px; }
  .sidebar-note { display: none; }
  .detail h1 { font-size: 35px; }
  .observation { font-size: 15px; }
  .annotation { grid-template-columns: 1fr; gap: 8px; }
  .evidence-heading { margin-top: 24px; }
  .view-switch button { flex: 1; padding: 10px 7px; font-size: 11px; }
  .source-line { font-size: 11px; grid-template-columns: 28px minmax(0, 1fr); }
  .hashes dl { grid-template-columns: 1fr; gap: 6px; }
  .hashes dd { margin-bottom: 12px; }
  .command { flex-direction: column; }
  .site-footer { flex-direction: column; gap: 18px; margin: 0 20px; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }