/* Paper styling, after amazon-proposal/proposal.cls (classicthesis + tufte on
   memoir): Charter text, small-caps section heads, italic chapter titles over
   a hairline rule, Burgundy links and booktabs tables. Scoped to html.paper,
   which app.js sets on the overview, findings and method routes. */

@font-face { font-family: "XCharter"; font-style: normal; font-weight: 400; font-display: swap; src: local("XCharter-Roman"), local("XCharter"), local("Charter Roman"), local("Charter-Roman"); }
@font-face { font-family: "XCharter"; font-style: italic; font-weight: 400; font-display: swap; src: local("XCharter-Italic"), local("Charter Italic"), local("Charter-Italic"); }
@font-face { font-family: "XCharter"; font-style: normal; font-weight: 700; font-display: swap; src: local("XCharter-Bold"), local("Charter Bold"), local("Charter-Bold"); }
@font-face { font-family: "XCharter"; font-style: italic; font-weight: 700; font-display: swap; src: local("XCharter-BoldItalic"), local("Charter Bold Italic"), local("Charter-BoldItalic"); }

html.paper {
  --paper: #ffffff;
  --ink: #000000;
  --muted: #404040;
  --line: #d9d9d9;
  --line-strong: #000000;
  --burgundy: #900020;
  --green-ink: var(--burgundy);
  --font-body: "XCharter", "Charter", "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;
  --font-heading: var(--font-body);
  --font-mono: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Menlo, Consolas, monospace;
  /* \normalsize 10/14, \small 9, \footnotesize 8/9, \huge 20.74 */
  --type-reading: 17px;
  --type-small: 15.3px;
  --type-foot: 13.6px;
  --type-display: 35px;
  --leading-reading: 1.4;
  --text-width: 620px;
  font-synthesis: small-caps;
  font-kerning: normal;
  font-variant-ligatures: common-ligatures;
}
html.paper body, html.paper .app-shell { background: var(--paper); color: var(--ink); font-family: var(--font-body); font-size: var(--type-reading); line-height: var(--leading-reading); }
html.paper a { color: var(--burgundy); text-decoration: none; }
html.paper a:hover { text-decoration: underline; text-underline-offset: 2px; text-decoration-thickness: 1px; }
html.paper a:focus-visible, html.paper button:focus-visible { outline: 1px solid var(--burgundy); outline-offset: 3px; }
html.paper .skip-link { color: var(--paper); background: var(--ink); }
html.paper .skip-link:focus-visible, html.paper summary:focus-visible { outline: 1px solid var(--burgundy); outline-offset: 3px; }
html.paper code { font-family: var(--font-mono); }

/* Running heads: lowercase small caps, \small. */
html.paper .sc,
html.paper .publication-meta,
html.paper .brand-project,
html.paper .site-nav a,
html.paper .header-release,
html.paper .site-footer a:last-child { font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: all-small-caps; letter-spacing: 0.06em; text-transform: lowercase; font-weight: 400; }

/* Header and footer */
html.paper .site-header { border-bottom: 0; }
html.paper .site-header-inner { min-height: 64px; display: grid; grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr); gap: 12px 24px; padding-block: 12px; }
html.paper .brand { color: var(--ink); }
html.paper .brand:hover { text-decoration: none; }
html.paper .brand-divider { color: var(--muted); font-family: var(--font-body); }
html.paper .brand-project { color: var(--ink); font-size: var(--type-reading); }
html.paper .site-nav { grid-column: 2; grid-row: 1; justify-self: center; width: auto; gap: 28px; }
html.paper .site-nav a { color: var(--ink); font-size: var(--type-reading); text-decoration: none; }
html.paper .site-nav a:hover, html.paper .site-nav a.is-active { color: var(--burgundy); text-decoration: none; }
html.paper .header-release { grid-column: 3; grid-row: 1; justify-self: end; width: auto; margin: 0; padding: 0; color: var(--muted); text-align: right; }
html.paper .site-footer { border-top: 0; color: var(--ink); }
html.paper .footer-notes { margin-inline-start: auto; }
html.paper .site-footer a:last-child { color: var(--burgundy); }

/* A centered article column, with running heads across the window. */
html.paper .page-container { width: min(var(--text-width), calc(100% - 96px)); max-width: none; margin-inline: auto; }
html.paper .site-header-inner, html.paper .site-footer-inner { width: calc(100% - 96px); margin-inline: 64px 0; }
html.paper .overview-lead { padding-top: 96px; padding-bottom: 0; }
html.paper .overview-copy { padding-bottom: 96px; }
html.paper .overview-results { margin: 44px 0 52px; }
html.paper .overview-results > h2 { font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: .06em; margin-bottom: 16px; }
html.paper .overview-results > p { font-size: var(--type-reading); line-height: var(--leading-reading); margin: 16px 0; }
html.paper .results-figure { margin: 28px 0; }
html.paper .results-figure img { display: block; width: 100%; height: auto; }
html.paper .results-source { color: var(--muted); font-size: var(--type-foot); line-height: 1.6; }
html.paper .results-source summary { cursor: pointer; color: var(--burgundy); }
html.paper .results-source p { margin: 12px 0; }

/* Chapter title: \huge italic darkgray over \hrulefill. */
html.paper .overview-lead .publication-meta { margin: 0 0 40px; color: var(--ink); }
html.paper .overview-lead h1 { max-width: var(--text-width); margin: 0; padding-bottom: 12px; border-bottom: 0.6px solid var(--ink); color: var(--muted); font-size: var(--type-display); font-style: italic; font-weight: 400; letter-spacing: 0; line-height: 1.3; }
html.paper .overview-copy { padding-top: 24px; }

html.paper .overview-copy > p,
html.paper .overview-copy li,
html.paper .overview-slide-content > p,
html.paper .issue-taxonomy > p,
html.paper .taxonomy-detail-panel > p:not(.publication-meta) { color: var(--ink); font-size: var(--type-reading); line-height: var(--leading-reading); hyphens: auto; text-align: justify; }
html.paper .overview-copy > p { margin-bottom: 14px; }
html.paper .overview-method { margin: 14px 0; padding-left: 1.6em; }
html.paper .overview-method li { margin: 0; padding-left: 0.2em; }
html.paper .overview-method li::marker { font-variant-numeric: lining-nums; }

/* \section: \small lowercase small caps. \subsection: italic. */
html.paper h1, html.paper h2, html.paper h3 { font-family: var(--font-body); letter-spacing: 0; }
html.paper .issue-taxonomy > h2 { margin: 0 0 14px; font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .overview-slide h2,
html.paper .taxonomy-detail h3 { margin: 0 0 10px; font-size: var(--type-reading); font-style: italic; font-weight: 400; line-height: var(--leading-reading); }

/* Audit coverage figure */
html.paper .audit-coverage { margin: 40px 0; }
html.paper .audit-coverage-summary { margin-bottom: 10px; color: var(--ink); font-size: var(--type-foot); }
html.paper .audit-coverage-summary strong { color: var(--ink); font-size: var(--type-foot); font-weight: 700; }
html.paper .audit-coverage-grid { gap: 2px; }
html.paper .audit-coverage-grid span { background: var(--line); }
html.paper .audit-coverage-grid .coverage-finding, html.paper .coverage-findings-label i { background: var(--burgundy); }

/* Featured findings */
html.paper .overview-carousel { margin-top: 48px; }
html.paper .overview-carousel-nav { padding-bottom: 8px; border-bottom: 0.6px solid var(--ink); color: var(--ink); font-size: var(--type-small); font-variant-caps: all-small-caps; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .overview-carousel-controls button { width: 28px; height: 28px; border: 0; border-radius: 0; background: none; color: var(--burgundy); font-family: var(--font-body); font-size: 22px; }
html.paper .overview-carousel-controls button:hover:not(:disabled) { color: var(--ink); }
html.paper .overview-carousel-count { font-family: var(--font-body); font-size: var(--type-small); font-variant-numeric: lining-nums; }
html.paper .overview-slide { padding-top: 22px; }
html.paper .overview-slide .publication-meta { margin-bottom: 4px; color: var(--muted); }
html.paper .overview-slide-content > p { max-width: var(--text-width); }
html.paper .overview-image-loading { background: none; font-style: italic; }

/* booktabs: heavy top/bottom rules, light midrule, no fills. */
html.paper .contract-comparison { margin: 22px 0; }
html.paper .contract-table { border-top: 1.3px solid var(--ink); border-bottom: 1.3px solid var(--ink); font-size: var(--type-foot); }
html.paper .contract-table th, html.paper .contract-table td { padding: 4px 8px; }
html.paper .contract-table th:first-child { padding-left: 4px; }
html.paper .contract-table thead th { padding-top: 6px; padding-bottom: 6px; border-bottom: 0.8px solid var(--ink); color: var(--ink); font-family: var(--font-body); font-size: var(--type-foot); font-weight: 700; }
html.paper .contract-table thead strong { margin: 2px 0 0; font-family: var(--font-body); font-size: var(--type-foot); font-weight: 400; letter-spacing: 0; }
html.paper .contract-table thead small { margin: 0; color: var(--muted); font-weight: 400; }
html.paper .contract-table tbody tr:first-child > * { border-top: 0; padding-top: 6px; }
html.paper .contract-table tbody tr:last-child > * { padding-bottom: 6px; }
html.paper .contract-table tbody th { font-size: var(--type-foot); font-weight: 400; }
html.paper .contract-table tbody td { font-family: var(--font-mono); font-size: 12px; }
html.paper .contract-table small { font-family: var(--font-body); font-size: 12px; font-style: italic; }
html.paper .contract-table .template-mismatch { background: none; color: var(--burgundy); }

/* caption package, font=footnotesize */
html.paper figcaption,
html.paper .contract-comparison figcaption,
html.paper .audit-coverage > figcaption,
html.paper .overview-image-pair .illustration-figure > figcaption { color: var(--ink); font-family: var(--font-body); font-size: var(--type-foot); line-height: 1.3; }
html.paper .illustration-capture img { border: 0.6px solid #bfbfbf; }

/* Issue taxonomy */
html.paper .issue-taxonomy { margin: 64px 0 48px; }
html.paper .issue-taxonomy > p { max-width: var(--text-width); }
html.paper .audit-matrix { gap: 2px; }
/* One red per category, in Burgundy's hue; light and dark shades alternate
   so neighbouring categories stay distinct. All cells start at full colour;
   hover and keyboard focus dim only the other categories. */
html.paper .audit-matrix [data-issue-group="0"], html.paper .taxonomy-item[data-issue-group="0"] .taxonomy-swatch { background: oklch(0.30 0.17 20) !important; }
html.paper .audit-matrix [data-issue-group="1"], html.paper .taxonomy-item[data-issue-group="1"] .taxonomy-swatch { background: oklch(0.66 0.119 20) !important; }
html.paper .audit-matrix [data-issue-group="2"], html.paper .taxonomy-item[data-issue-group="2"] .taxonomy-swatch { background: oklch(0.42 0.17 20) !important; }
html.paper .audit-matrix [data-issue-group="3"], html.paper .taxonomy-item[data-issue-group="3"] .taxonomy-swatch { background: oklch(0.78 0.089 20) !important; }
html.paper .audit-matrix [data-issue-group="4"], html.paper .taxonomy-item[data-issue-group="4"] .taxonomy-swatch { background: oklch(0.54 0.148 20) !important; }
html.paper .audit-matrix [data-issue-group="5"], html.paper .taxonomy-item[data-issue-group="5"] .taxonomy-swatch { background: oklch(0.88 0.065 20) !important; }
html.paper .audit-matrix [data-issue-group="6"], html.paper .taxonomy-item[data-issue-group="6"] .taxonomy-swatch { background: oklch(0.36 0.17 20) !important; }
html.paper .audit-matrix [data-issue-group="7"], html.paper .taxonomy-item[data-issue-group="7"] .taxonomy-swatch { background: oklch(0.72 0.104 20) !important; }
html.paper .audit-matrix [data-issue-group="8"], html.paper .taxonomy-item[data-issue-group="8"] .taxonomy-swatch { background: oklch(0.48 0.163 20) !important; }
html.paper .audit-matrix [data-issue-group="9"], html.paper .taxonomy-item[data-issue-group="9"] .taxonomy-swatch { background: oklch(0.84 0.075 20) !important; }
html.paper .audit-matrix [data-issue-group="10"], html.paper .taxonomy-item[data-issue-group="10"] .taxonomy-swatch { background: oklch(0.60 0.133 20) !important; }
html.paper .audit-matrix [data-issue-group="11"], html.paper .taxonomy-item[data-issue-group="11"] .taxonomy-swatch { background: oklch(0.51 0.155 20) !important; }
html.paper .audit-matrix [data-issue-group="12"], html.paper .taxonomy-item[data-issue-group="12"] .taxonomy-swatch { background: oklch(0.33 0.17 20) !important; }
html.paper .audit-matrix span,
html.paper .taxonomy-swatch { opacity: 1; filter: none; transition: opacity 150ms ease, filter 150ms ease; }
html.paper .taxonomy-highlighted .audit-matrix span:not(.is-highlighted) { opacity: .5; filter: grayscale(.6); }
html.paper .issue-taxonomy:has(.taxonomy-explorer:hover, .taxonomy-grid:hover, :focus-visible) .audit-matrix span.is-highlighted,
html.paper .issue-taxonomy:has(.taxonomy-explorer:hover, .taxonomy-grid:hover, :focus-visible) .taxonomy-item.is-highlighted .taxonomy-swatch { opacity: 1; filter: none; }
html.paper .taxonomy-detail { padding-left: 20px; border-left: 0.6px solid var(--ink); }
html.paper .taxonomy-detail .publication-meta { color: var(--muted); }
html.paper .taxonomy-detail-panel > p:not(.publication-meta) { margin-bottom: 10px; }
html.paper .taxonomy-detail strong { font-weight: 700; }
html.paper .taxonomy-detail .secondary-link, html.paper .taxonomy-unpublished { font-size: var(--type-reading); font-weight: 400; }

/* Category list as a table of contents: label, dot leaders, Burgundy count. */
html.paper .taxonomy-grid { grid-template-columns: 1fr; gap: 2px; margin-top: 28px; }
html.paper .taxonomy-item { grid-template-columns: 8px minmax(0, 1fr) auto; gap: 10px; align-items: baseline; padding: 1px 0; border: 0; border-radius: 0; background: none; color: var(--ink); font-family: var(--font-body); font-size: var(--type-reading); text-align: left; }
html.paper .taxonomy-item > span:nth-child(2) { display: flex; align-items: baseline; gap: 6px; }
html.paper .taxonomy-item > span:nth-child(2)::after { content: ""; flex: 1; min-width: 1em; height: 1em; background: radial-gradient(circle, var(--ink) 0.7px, transparent 1px) bottom left / 0.55em 4px repeat-x; }
html.paper .taxonomy-item strong { color: var(--burgundy); font-size: var(--type-small); font-weight: 400; font-variant-numeric: lining-nums tabular-nums; }
html.paper .taxonomy-swatch { width: 8px; height: 8px; }
html.paper .taxonomy-item:hover, html.paper .taxonomy-item:focus-visible, html.paper .taxonomy-item.is-highlighted { border: 0; background: none; }
html.paper .taxonomy-item.is-highlighted > span:nth-child(2) { font-style: italic; }

/* Links and closing notes */
html.paper .primary-link, html.paper .secondary-link { color: var(--burgundy); font-weight: 400; letter-spacing: 0; }
html.paper .primary-link { padding: 0; border: 0; }
html.paper .overview-action { gap: 4px; margin-top: 8px; }
html.paper .overview-action > a { width: auto; justify-content: flex-start; gap: 6px; padding: 0; border: 0; color: var(--burgundy); font-size: var(--type-reading); font-weight: 400; }
html.paper .scope-paragraph { margin-top: 24px !important; color: var(--ink) !important; font-size: var(--type-foot) !important; }

/* Findings index and case pages */
html.paper .index-page { padding-bottom: 32px; }
html.paper .page-intro { max-width: var(--text-width); margin-inline: 0; padding-top: 96px; padding-bottom: 24px; }
html.paper .index-page .page-intro { padding-bottom: 0; }
html.paper .page-intro .publication-meta { margin: 0 0 40px; color: var(--ink); }
html.paper .page-intro h1,
html.paper .case-header h1 { max-width: var(--text-width); margin: 0; padding-bottom: 12px; border-bottom: 0.6px solid var(--ink); color: var(--muted); font-size: var(--type-display); font-style: italic; font-weight: 400; letter-spacing: 0; line-height: 1.3; }
html.paper .finding-index, html.paper .finding-index-legend, html.paper .cases-filter-context, html.paper .index-tail { max-width: var(--text-width); }

/* Section labels and mono meta become lowercase small caps. */
html.paper .finding-row-meta,
html.paper .finding-group-heading,
html.paper .finding-section-heading,
html.paper .finding-index-legend-title,
html.paper .back-link,
html.paper .case-section > h2,
html.paper .case-brief > h2,
html.paper .case-explanation > h2,
html.paper .case-source h2 { font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .finding-group-heading, html.paper .finding-section-heading { padding-bottom: 12px; color: var(--ink); }

/* Finding list as a booktabs table: heavy rules top and bottom, light rules
   between entries, square corners and no side borders. */
html.paper .finding-list { gap: 0; border-top: 1.3px solid var(--ink); border-bottom: 1.3px solid var(--ink); }
html.paper .finding-row:last-child { border-bottom: 0; }
html.paper .finding-title-link::after { border-radius: 0; }
html.paper .finding-row { padding: 18px 0; border: 0; border-bottom: 0.6px solid var(--line); border-radius: 0; background: none; box-shadow: none; transform: none; transition: none; }
/* Hover: a faint Burgundy wash, carried 12px past the column edges with
   square side shadows so the text keeps its alignment. */
html.paper .finding-row { --row-hover: color-mix(in srgb, var(--burgundy) 5%, white); transition: background-color 120ms ease, box-shadow 120ms ease; }
html.paper .finding-row:hover,
html.paper .finding-row:has(.finding-title-link:focus-visible) { border-color: var(--line); background: var(--row-hover); box-shadow: -12px 0 0 var(--row-hover), 12px 0 0 var(--row-hover); transform: none; outline: 0; }
html.paper .finding-row:hover .finding-title-link { text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: 2px; }
html.paper .finding-row-head { margin-bottom: 4px; }
html.paper .finding-row-meta { color: var(--muted); }
html.paper .finding-category-link { position: relative; z-index: 1; color: var(--burgundy); }
html.paper .finding-category-link:hover { text-decoration: underline; text-underline-offset: 2px; }
html.paper .finding-row-main h2 { font-size: var(--type-reading); font-style: italic; font-weight: 400; line-height: var(--leading-reading); }
html.paper .finding-title-link { color: var(--burgundy); text-decoration: none; }
html.paper .finding-title-link:hover { color: var(--burgundy); text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: 2px; }
html.paper .finding-row-context { margin-top: 8px; gap: 4px; }
html.paper .finding-row-context p, html.paper .finding-row-context dd, html.paper .finding-index-legend dd { color: var(--ink); font-size: var(--type-reading); line-height: var(--leading-reading); }
html.paper .finding-row-context p strong,
html.paper .finding-row-context dt,
html.paper .finding-index-legend dt { color: var(--ink); font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .finding-row-score, html.paper .score-number, html.paper .score-label, html.paper .score-provenance, html.paper .score-state { font-family: var(--font-body); font-size: var(--type-foot); letter-spacing: 0; }

/* Case page */
html.paper .case-page .case-topnav { margin-top: 64px; margin-bottom: 32px; }
html.paper .case-page .back-link { color: var(--burgundy); }
html.paper .case-header { max-width: var(--text-width); padding-bottom: 8px; }
html.paper .case-header .publication-meta { margin: 0 0 40px; color: var(--ink); }
html.paper .case-section { max-width: none; padding-top: 32px; }
html.paper .case-section > h2, html.paper .case-brief > h2, html.paper .case-explanation > h2 { margin: 0 0 10px; color: var(--ink); }
html.paper .case-explanation { padding-top: 32px; }
html.paper .case-explanation > p { max-width: var(--text-width); color: var(--ink); font-size: var(--type-reading); line-height: var(--leading-reading); hyphens: auto; text-align: justify; }
html.paper .case-brief > h2:not(:first-child) { margin-top: 22px; }
html.paper .case-section h3 { font-size: var(--type-reading); font-style: italic; font-weight: 400; }
html.paper .brief-score { font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: normal; letter-spacing: 0; text-transform: none; color: var(--muted); }
html.paper .case-brief, html.paper .case-section > p, html.paper .case-section-intro, html.paper .case-explanation-copy, html.paper .score-result, html.paper .muted-copy { max-width: var(--text-width); }
html.paper .case-brief p,
html.paper .case-section > p,
html.paper .case-section-intro,
html.paper .case-explanation-copy,
html.paper .score-result { color: var(--ink); font-size: var(--type-reading); line-height: var(--leading-reading); hyphens: auto; text-align: justify; }
html.paper .case-brief strong, html.paper .case-explanation-copy strong { font-weight: 700; }
html.paper .muted-copy { font-family: var(--font-body); font-size: var(--type-foot) !important; letter-spacing: 0; }
html.paper .case-source a { color: var(--burgundy); font-weight: 400; letter-spacing: 0; }
html.paper .case-source a:hover { color: var(--burgundy); }
html.paper .coverage-findings-label small { margin-left: 4px; color: var(--muted); font-size: var(--type-foot); font-weight: 400; }

/* Keep the remaining case components inside the paper system too. */
html.paper .evaluator-code { overflow: visible; background: #f6f6f6; border-radius: 0; font-size: 12px; white-space: pre-wrap; overflow-wrap: anywhere; }
html.paper .evaluator-code code { white-space: pre-wrap; overflow-wrap: anywhere; }
html.paper .output-comparison-grid { grid-template-columns: 1fr; gap: 18px; }
html.paper .output-side { padding: 12px 0; border: 0; border-top: 0.6px solid var(--line); border-radius: 0; background: none; }
html.paper .output-golden, html.paper .output-adversarial { border-top: 0.6px solid var(--line); }
html.paper .output-side-head { font-family: var(--font-body); font-weight: 400; }
html.paper .output-side-head strong, html.paper .output-where { font-family: var(--font-body); }
html.paper .output-body { background: #f6f6f6; color: var(--ink); font-size: 12px; }
html.paper .output-body mark { background: #e6e6e6; color: var(--ink); }
html.paper .case-brief .repair-assessment { color: var(--ink); }

/* Method page: section heads in small caps over justified paragraphs. */
html.paper .method-page > .page-intro { padding-bottom: 8px; }
html.paper .method-body { max-width: var(--text-width); }
html.paper .overview-copy > h2,
html.paper .method-body h2,
html.paper .method-section h2,
html.paper .method-glossary h2 { margin: 32px 0 10px; color: var(--ink); font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: 0.06em; line-height: var(--leading-reading); text-transform: lowercase; }
html.paper .method-body p,
html.paper .method-copy p { margin: 0 0 14px; color: var(--ink); font-size: var(--type-reading); line-height: var(--leading-reading); hyphens: auto; text-align: justify; }
html.paper .method-glossary dt { color: var(--ink); font-family: var(--font-body); font-size: var(--type-small); font-variant-caps: all-small-caps; font-weight: 400; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .method-glossary dd { color: var(--ink); font-family: var(--font-body); font-size: var(--type-foot); line-height: 1.3; }

/* Paired evaluation figure: readable text and fine rules within the article. */
html.paper .method-replay { margin: 26px 0 24px; }
html.paper .method-replay-diagram { padding: 20px 0; border-top: 0.6px solid var(--line); border-bottom: 0.6px solid var(--line); text-align: center; }
html.paper .method-replay-state,
html.paper .method-replay-comparison { font-size: var(--type-reading); font-style: italic; line-height: var(--leading-reading); }
html.paper .method-replay-branches { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); font-size: var(--type-reading); line-height: var(--leading-reading); }
html.paper .method-replay-state > span,
html.paper .method-replay-branches span { display: block; margin-top: 4px; padding-inline: 8px; color: var(--muted); font-size: var(--type-foot); font-style: normal; line-height: 1.3; }
html.paper .method-replay-connector { display: block; width: 100%; height: 36px; margin: 8px 0; overflow: visible; }
html.paper .method-replay-connector path { fill: none; stroke: var(--muted); stroke-width: 0.8; vector-effect: non-scaling-stroke; }
html.paper .method-replay figcaption { margin-top: 10px; color: var(--ink); font-size: var(--type-foot); line-height: 1.3; text-align: left; }
html.paper .method-figure-label { font-style: italic; }

/* Evaluator diff: removed lines in Burgundy, added lines on a grey wash. */
html.paper .logic-diff-wrap, html.paper .logic-diff, html.paper .evaluator-diff-grid pre { background: #f6f6f6; }
html.paper .logic-diff, html.paper .evaluator-diff-grid pre { font-size: 12px; }
/* Wrap long lines so the diff stays inside the column. */
html.paper .logic-diff { width: 100%; }
html.paper .diff-line code { min-width: 0; white-space: pre-wrap; overflow-wrap: anywhere; }
html.paper .evaluator-diff-grid pre { white-space: pre-wrap; overflow-wrap: anywhere; }
html.paper .diff-removed { background: color-mix(in srgb, var(--burgundy) 9%, white); }
html.paper .diff-removed .diff-gutter, html.paper .diff-removed code, html.paper .diff-key-removed { color: var(--burgundy); }
html.paper .diff-added { background: #e6e6e6; }
html.paper .diff-added .diff-gutter, html.paper .diff-added code, html.paper .diff-key-added { color: var(--ink); }
html.paper .diff-flaw { box-shadow: inset 3px 0 0 var(--burgundy); }
html.paper .diff-flaw-tag { border-radius: 0; background: var(--burgundy); font-family: var(--font-body); font-variant-caps: all-small-caps; letter-spacing: 0.06em; text-transform: lowercase; }
html.paper .diff-legend { font-family: var(--font-body); font-size: var(--type-foot); }
html.paper .full-assertions summary { color: var(--burgundy); }

/* Score tables in booktabs style; wrong results in Burgundy. */
html.paper .probe-table { min-width: 0; border-top: 1.3px solid var(--ink); border-bottom: 1.3px solid var(--ink); font-size: var(--type-foot); }
html.paper .probe-table th, html.paper .probe-table td { padding: 4px 8px; border-bottom: 0; }
html.paper .probe-table thead tr:last-child > * { padding-bottom: 6px; border-bottom: 0.8px solid var(--ink); }
html.paper .probe-table thead th { color: var(--ink); font-family: var(--font-body); font-size: var(--type-foot); font-weight: 700; letter-spacing: 0; text-transform: none; }
html.paper .probe-table tbody tr:first-child > * { padding-top: 6px; }
html.paper .probe-table tbody tr:last-child > * { padding-bottom: 6px; }
html.paper .probe-table tbody th { font-weight: 400; }
html.paper .brief-score-table .score-group-row th { border-bottom: 0.6px solid var(--ink); font-weight: 400; font-style: italic; }
html.paper .brief-score-table td.submission-note { color: var(--muted); }
html.paper .probe-table td.result-pass { color: var(--ink); font-weight: 400; }
html.paper .probe-table td.result-fail, html.paper .probe-result-fail { color: var(--burgundy); font-weight: 700; }
html.paper .probe-result-pass, html.paper .probe-result-reproduced, html.paper .probe-result-confirmed, html.paper .probe-result-guard-retained { color: var(--ink); font-weight: 400; }

@media (max-width: 1024px) {
  html.paper .site-nav { grid-column: 1 / -1; grid-row: 2; }
}

@media (max-width: 680px) {
  html.paper .page-container { width: min(var(--text-width), calc(100% - 48px)); margin-inline: 32px 0; }
  html.paper .site-header-inner, html.paper .site-footer-inner { width: calc(100% - 48px); }
  html.paper .site-header-inner > .brand { grid-column: 1 / -1; grid-row: 1; }
  html.paper .header-release { grid-column: 1 / -1; grid-row: 3; }
  html.paper .page-intro { padding-top: 56px; }
  html.paper .overview-lead { padding-top: 56px; }
  html.paper .index-page { padding-bottom: 24px; }
  html.paper .probe-table { width: 100%; min-width: 0; table-layout: fixed; }
  html.paper .probe-table thead th { white-space: normal; overflow-wrap: anywhere; }
  html.paper .probe-table tbody th { width: 27%; min-width: 0; }
  html.paper .probe-table th, html.paper .probe-table td { overflow-wrap: anywhere; word-break: normal; }
  html.paper .evidence-downloads { width: 100%; }
  html.paper .taxonomy-grid { grid-template-columns: 1fr; }
}

/* Every prose paragraph on the page is set justified, except on phones (below). */
html.paper .overview-results > p,
html.paper .results-source p,
html.paper .finding-row-context p,
html.paper .finding-row-context dd,
html.paper .case-limitations { hyphens: auto; text-align: justify; }

/* Phones. A ~350px column cannot justify without wide word gaps and frequent
   hyphen breaks, so prose sets ragged-right. The header stacks brand, navigation
   and release label flush left in tight rows, the gutters are equal on both
   sides, and the space above each page's title is halved. */
@media (max-width: 680px) {
  html.paper .page-container,
  html.paper .site-header-inner,
  html.paper .site-footer-inner { width: auto; margin-inline: 20px; }
  html.paper .site-header-inner { min-height: 0; grid-template-columns: minmax(0, 1fr); gap: 6px; padding-block: 14px 0; }
  html.paper .site-nav { grid-column: 1; grid-row: 2; justify-self: start; gap: 24px; }
  html.paper .header-release { grid-column: 1; grid-row: 3; justify-self: start; text-align: left; }
  html.paper .page-intro, html.paper .overview-lead { padding-top: 32px; }
  html.paper .case-page .case-topnav { margin-top: 28px; margin-bottom: 20px; }
  html.paper .page-intro .publication-meta,
  html.paper .overview-lead .publication-meta,
  html.paper .case-header .publication-meta { margin-bottom: 20px; }
  html.paper .page-intro h1,
  html.paper .overview-lead h1,
  html.paper .case-header h1 { font-size: 28px; line-height: 1.25; }
  html.paper .overview-copy > p,
  html.paper .overview-copy li,
  html.paper .overview-slide-content > p,
  html.paper .issue-taxonomy > p,
  html.paper .taxonomy-detail-panel > p:not(.publication-meta),
  html.paper .case-explanation > p,
  html.paper .case-brief p,
  html.paper .case-section > p,
  html.paper .case-section-intro,
  html.paper .case-explanation-copy,
  html.paper .score-result,
  html.paper .method-body p,
  html.paper .method-copy p,
  html.paper .overview-results > p,
  html.paper .results-source p,
  html.paper .finding-row-context p,
  html.paper .finding-row-context dd,
  html.paper .case-limitations { text-align: left; hyphens: manual; overflow-wrap: break-word; }
  html.paper .secondary-link { max-width: 100%; white-space: normal; overflow-wrap: anywhere; }
}

/* Touch screens keep :hover after a tap, which left a tinted, underlined row
   behind. Keep the wash for pointers and keyboard focus only. */
@media (hover: none) {
  html.paper .finding-row:hover:not(:has(.finding-title-link:focus-visible)) { background: none; box-shadow: none; }
  html.paper .finding-row:hover .finding-title-link { text-decoration: none; }
}