/* ==========================================================
   MirageKit — The Proceedings
   A research publication that thinks interactively.
   ========================================================== */

:root {
  --bg: #f6f2ea;
  --bg-elevated: #ece6db;
  --surface: rgba(255, 252, 247, 0.92);
  --surface-muted: #f7f1e7;
  --surface-strong: #efe6d7;
  --ink: #111827;
  --ink-2: #3d4a5c;
  --ink-3: #6a7280;
  --rule: #d9dee6;
  --rule-light: #e8ecf1;

  --accent: #203a58;
  --accent-hover: #132339;
  --accent-light: rgba(32, 58, 88, 0.1);
  --safe: #065f46;
  --safe-bg: #ecfdf5;
  --warn: #92400e;
  --warn-bg: #fffbeb;
  --danger: #991b1b;
  --danger-bg: #fef2f2;
  --mirage-blue: #2563eb;
  --paper-shadow: 0 14px 32px rgba(15, 23, 42, 0.05);
  --paper-shadow-soft: 0 8px 18px rgba(15, 23, 42, 0.035);
  --selection: rgba(32, 58, 88, 0.16);
  --top-rule-opacity: 0.78;
  --grain-opacity: 0.016;
  --slider-track: rgba(32, 58, 88, 0.14);
  --slider-progress: var(--accent);
  --slider-danger-wash: rgba(153, 27, 27, 0.12);
  --slider-thumb: var(--ink);
  --slider-thumb-ring: var(--surface);
  --slider-thumb-shadow: 0 0 0 1px var(--rule);

  --serif: Charter, 'Iowan Old Style', 'Palatino Linotype', Palatino, Georgia, serif;
  --sans: 'Avenir Next', 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;
  --mono: ui-monospace, 'SFMono-Regular', Menlo, Consolas, 'Liberation Mono', monospace;

  --content-w: min(1000px, 100% - 3rem);
  --text-w: 680px;
}

/* ── Reset ────────────────────────────────────── */

*,
*::before,
*::after {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

html {
  font-size: 16px;
  color-scheme: light;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

html[data-theme='dark'] {
  color-scheme: dark;
  --bg: #101419;
  --bg-elevated: #171d25;
  --surface: rgba(20, 25, 32, 0.94);
  --surface-muted: #171d24;
  --surface-strong: #11171e;
  --ink: #eef2f7;
  --ink-2: #c6d0dc;
  --ink-3: #8f9bab;
  --rule: #273240;
  --rule-light: #1c2530;
  --accent: #b6caea;
  --accent-hover: #dbe7fa;
  --accent-light: rgba(182, 202, 234, 0.12);
  --safe: #63d7ad;
  --safe-bg: #12261f;
  --warn: #f3bf74;
  --warn-bg: #2a2113;
  --danger: #ef9d9d;
  --danger-bg: #29191b;
  --mirage-blue: #7fb4ff;
  --paper-shadow: 0 22px 42px rgba(0, 0, 0, 0.32);
  --paper-shadow-soft: 0 12px 24px rgba(0, 0, 0, 0.24);
  --selection: rgba(182, 202, 234, 0.22);
  --top-rule-opacity: 0.48;
  --grain-opacity: 0.01;
  --slider-track: rgba(182, 202, 234, 0.12);
  --slider-progress: #dbe7fa;
  --slider-danger-wash: rgba(239, 157, 157, 0.08);
  --slider-thumb: #f3f6fb;
  --slider-thumb-ring: #101419;
  --slider-thumb-shadow: 0 0 0 1px rgba(182, 202, 234, 0.22);
}

body {
  min-height: 100vh;
  color: var(--ink);
  font-family: var(--serif);
  line-height: 1.72;
  background:
    radial-gradient(circle at top, var(--bg-elevated) 0, var(--bg) 34rem),
    var(--bg);
}

/* Accent gradient rule — navy to crimson */
body::before {
  content: '';
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: 3px;
  background: linear-gradient(90deg, var(--accent) 0%, var(--accent) 60%, var(--danger) 100%);
  opacity: var(--top-rule-opacity);
  z-index: 100;
}

/* Subtle paper grain */
body::after {
  content: '';
  position: fixed;
  inset: 0;
  pointer-events: none;
  opacity: var(--grain-opacity);
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 256 256' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");
  background-size: 256px;
  z-index: 99;
}

a,
button,
input {
  outline: none;
}

a:focus-visible,
button:focus-visible,
input:focus-visible {
  box-shadow: 0 0 0 3px var(--accent-light);
  outline: 2px solid transparent;
}

/* ── Layout ───────────────────────────────────── */

.hero,
main,
.site-footer {
  position: relative;
  width: var(--content-w);
  margin-inline: auto;
}

main {
  display: grid;
  gap: 1.45rem;
  padding-bottom: 4rem;
}

main > section {
  margin-top: 0;
}

/* ── Motion — orchestrated entry ──────────────── */

.stagger {
  opacity: 0;
  transform: translateY(14px);
  animation: fadeUp 0.65s cubic-bezier(0.22, 1, 0.36, 1) both;
  animation-delay: calc(var(--i, 0) * 90ms);
}

.reveal {
  opacity: 1;
  transform: none;
  transition: none;
}

.reveal.revealed {
  opacity: 1;
  transform: none;
}

@keyframes fadeUp {
  from { opacity: 0; transform: translateY(14px); }
  to   { opacity: 1; transform: translateY(0); }
}

/* ══════════════════════════════════════════════════
   Hero — Paper title page
   ═════════════════════════════════════════════════ */

.hero {
  padding: 4.8rem 0 2.8rem;
  border-bottom: 1px solid var(--rule);
  margin-bottom: 2.5rem;
}

.hero-topline {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.hero-brand {
  display: inline-flex;
  align-items: center;
}

.theme-toggle {
  display: inline-flex;
  align-items: center;
  gap: 0.65rem;
  padding: 0.38rem 0.6rem;
  border: 1px solid var(--rule);
  border-radius: 999px;
  background: var(--surface);
  color: var(--ink);
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.62rem;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  transition: border-color 0.2s, color 0.2s, background 0.2s;
}

.theme-toggle:hover {
  border-color: var(--accent);
  color: var(--accent);
  background: var(--accent-light);
}

.theme-toggle[aria-pressed='true'] {
  border-color: var(--accent);
  background: var(--accent-light);
}

.theme-toggle-label {
  color: var(--ink-3);
}

.theme-toggle-value {
  font-size: 0.68rem;
  color: var(--ink);
}

.brand-label {
  font-family: var(--sans);
  font-size: 0.6rem;
  font-weight: 600;
  letter-spacing: 0.2em;
  text-transform: uppercase;
  color: var(--accent);
  padding-bottom: 2px;
  border-bottom: 2px solid var(--accent);
}

.hero-title {
  margin-top: 1rem;
  font-family: var(--serif);
  font-size: clamp(3.2rem, 7vw, 4.4rem);
  font-weight: 700;
  letter-spacing: -0.03em;
  line-height: 1.04;
  color: var(--ink);
}

.hero-subtitle {
  margin-top: 1.1rem;
  font-family: var(--serif);
  font-size: clamp(1.15rem, 2.2vw, 1.35rem);
  font-weight: 400;
  color: var(--ink-2);
  line-height: 1.45;
  max-width: var(--text-w);
}

.text-danger {
  color: var(--danger);
  font-weight: 600;
  margin-left: 0.08em;
}

.hero-cta {
  margin-top: 0.7rem;
  font-family: var(--serif);
  font-style: italic;
  font-size: 0.92rem;
  color: var(--ink-3);
  max-width: var(--text-w);
}

/* Abstract-style paragraph with accent left border */
.hero-context {
  margin-top: 1.6rem;
  max-width: var(--text-w);
  font-size: 0.95rem;
  color: var(--ink-2);
  line-height: 1.72;
  padding-left: 1.1rem;
  border-left: 3px solid var(--accent);
}

/* Provenance note — connects to broader research */
.hero-context-note {
  margin-top: 0.6rem;
  max-width: var(--text-w);
  font-family: var(--sans);
  font-size: 0.78rem;
  color: var(--ink-3);
  line-height: 1.56;
  padding-left: 1.1rem;
}

.citation {
  font-style: italic;
}

.hero-context a {
  color: var(--accent);
  text-decoration: none;
  border-bottom: 1px solid var(--accent-light);
}

.hero-context a:hover {
  color: var(--accent-hover);
  border-bottom-color: currentColor;
}

.bridge-panel {
  margin-top: 1.7rem;
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(14rem, 1fr));
  gap: 0.75rem;
  align-items: stretch;
}

.bridge-card {
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  padding: 0.88rem 0.95rem 0.92rem;
  box-shadow: var(--paper-shadow-soft);
  min-height: 100%;
}

.bridge-label {
  display: block;
  margin-bottom: 0.38rem;
  font-family: var(--sans);
  font-size: 0.58rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.bridge-card h2 {
  margin-bottom: 0.2rem;
  font-family: var(--serif);
  font-size: 1.1rem;
  color: var(--ink);
}

.bridge-card p {
  font-family: var(--serif);
  font-size: 0.83rem;
  color: var(--ink-2);
  line-height: 1.58;
}

/* Hero links — clean academic references */
.hero-links {
  counter-reset: hero-link;
  margin-top: 2rem;
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: 0.45rem 1.4rem;
  padding-top: 1rem;
  border-top: 1px solid var(--rule);
}

.hero-link {
  counter-increment: hero-link;
  position: relative;
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  column-gap: 0.7rem;
  font-family: var(--sans);
  font-size: 0.74rem;
  font-weight: 500;
  letter-spacing: 0.03em;
  text-decoration: none;
  color: var(--accent);
  padding: 0.38rem 0;
  border-bottom: 1px solid var(--rule-light);
  transition: color 0.15s, border-color 0.15s;
}

.hero-link::before {
  content: '[' counter(hero-link, decimal-leading-zero) ']';
  font-family: var(--mono);
  font-size: 0.58rem;
  color: var(--ink-3);
}

.hero-link:hover {
  color: var(--accent-hover);
  border-bottom-color: currentColor;
}

.hero-link::after {
  display: none;
}

.link-arrow {
  font-size: 0.72rem;
  opacity: 0.55;
  transition: opacity 0.2s, transform 0.2s;
}

.hero-link:hover .link-arrow {
  opacity: 1;
  transform: translate(1px, -1px);
}

.research-status {
  margin-top: 1rem;
  max-width: var(--text-w);
  font-family: var(--sans);
  font-size: 0.68rem;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.orientation,
.install-verify {
  margin-top: 1.45rem;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  padding: 1.2rem 1.3rem;
  box-shadow: var(--paper-shadow-soft);
}

.orientation h2,
.install-verify h2 {
  margin-bottom: 0.7rem;
  font-family: var(--sans);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.orientation-grid,
.install-grid {
  display: grid;
  gap: 0.8rem;
  align-items: start;
}

.orientation-grid {
  grid-template-columns: repeat(auto-fit, minmax(12.5rem, 1fr));
}

.install-grid {
  grid-template-columns: repeat(auto-fit, minmax(18rem, 1fr));
}

.orientation-card,
.install-card {
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  padding: 0.88rem 0.92rem;
  background:
    linear-gradient(180deg, rgba(32, 58, 88, 0.032) 0%, rgba(32, 58, 88, 0) 38%),
    var(--surface-muted);
  min-height: 100%;
}

.orientation-label,
.install-note-label {
  display: block;
  margin-bottom: 0.38rem;
  font-family: var(--sans);
  font-size: 0.58rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.orientation-card h3,
.install-card h3 {
  margin-bottom: 0.32rem;
  font-family: var(--serif);
  font-size: 1rem;
  color: var(--ink);
}

.orientation-card p,
.install-card p,
.install-intro,
.install-note p {
  font-family: var(--serif);
  font-size: 0.85rem;
  color: var(--ink-2);
  line-height: 1.62;
}

.orientation-links {
  margin-top: 0.65rem;
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem 1rem;
  padding-top: 0.58rem;
  border-top: 1px solid var(--rule-light);
}

.orientation-links a,
.install-note a {
  font-family: var(--sans);
  font-size: 0.7rem;
  color: var(--accent);
  text-decoration: none;
}

.orientation-links a:hover,
.install-note a:hover {
  color: var(--accent-hover);
}

.install-intro {
  margin-bottom: 0.85rem;
  max-width: 46rem;
}

.install-summary {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem 0.6rem;
  margin-bottom: 0.95rem;
}

.install-summary span {
  display: inline-flex;
  align-items: center;
  padding: 0.36rem 0.58rem;
  border: 1px solid var(--rule-light);
  border-radius: 999px;
  background: var(--surface-muted);
  font-family: var(--sans);
  font-size: 0.56rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.install-pre {
  margin: 0;
  overflow: auto;
  border: 0;
  border-radius: 0;
  background: transparent;
  padding: 0.9rem 0.95rem 0.95rem;
  font-family: var(--mono);
  font-size: 0.64rem;
  line-height: 1.65;
  color: var(--ink);
}

.install-pre code {
  font-family: inherit;
}

.install-pre-wrap code {
  display: block;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.install-notes {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(13.5rem, 1fr));
  gap: 0.8rem;
  margin-top: 0.95rem;
}

.install-note {
  min-height: 100%;
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  padding: 0.82rem 0.88rem;
  background: var(--surface-muted);
}

.hero-subpage {
  padding-bottom: 2rem;
}

.evidence-page {
  display: grid;
  gap: 1.45rem;
}

.section-kicker {
  display: inline-block;
  margin-bottom: 0.65rem;
  color: var(--ink-3);
  font-family: var(--sans);
  font-size: 0.72rem;
  font-weight: 600;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.evidence-overview,
.evidence-note,
.evidence-repro {
  position: relative;
  padding-top: 1rem;
  border-top: 1px solid var(--rule);
}

.evidence-overview-header {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(0, 0.95fr);
  gap: 0.9rem 1.4rem;
  align-items: start;
}

.evidence-overview h2,
.evidence-repro h2 {
  font-family: var(--serif);
  font-size: clamp(1.55rem, 3vw, 2rem);
  line-height: 1.08;
  letter-spacing: -0.02em;
}

.evidence-intro {
  margin-top: 0.15rem;
  font-family: var(--serif);
  font-size: 0.92rem;
  color: var(--ink-2);
  line-height: 1.7;
}

.evidence-ledger {
  margin-top: 1.25rem;
  display: grid;
  grid-template-columns: minmax(15rem, 0.78fr) minmax(0, 1.42fr);
  gap: 1rem 1.5rem;
  align-items: start;
}

.evidence-summary {
  padding: 0 0 0 1rem;
  border-left: 1px solid var(--rule);
}

.evidence-summary-label {
  display: block;
  font-family: var(--sans);
  font-size: 0.58rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.evidence-summary h3 {
  margin-top: 0.4rem;
  font-family: var(--serif);
  font-size: 1.18rem;
  line-height: 1.2;
}

.evidence-summary-list {
  list-style: none;
  display: grid;
  gap: 0.8rem;
  margin-top: 0.9rem;
}

.evidence-summary-list li {
  display: grid;
  gap: 0.25rem;
  padding-top: 0.78rem;
  border-top: 1px solid var(--rule-light);
}

.evidence-summary-list strong {
  font-family: var(--sans);
  font-size: 0.58rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.evidence-summary-list span,
.evidence-summary-note {
  font-size: 0.84rem;
  color: var(--ink-2);
  line-height: 1.6;
}

.evidence-summary-note {
  margin-top: 0.92rem;
  padding-top: 0.82rem;
  border-top: 1px solid var(--rule-light);
}

.evidence-records {
  display: grid;
  gap: 0.95rem;
}

.evidence-record {
  padding-top: 1rem;
  border-top: 1px solid var(--rule-light);
}

.evidence-record:first-child {
  padding-top: 0;
  border-top: 0;
}

.evidence-record-head {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.8rem;
  align-items: start;
}

.evidence-record-index {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 2rem;
  padding-top: 0.12rem;
  border-top: 1px solid var(--accent);
  color: var(--accent);
  font-size: 0.72rem;
}

.evidence-record-kicker {
  display: block;
  font-family: var(--sans);
  font-size: 0.58rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.evidence-record h3 {
  margin-top: 0.22rem;
  font-family: var(--serif);
  font-size: 1.18rem;
  line-height: 1.2;
}

.evidence-record p {
  margin-top: 0.62rem;
  color: var(--ink-2);
  line-height: 1.66;
}

.evidence-record-list {
  list-style: none;
  display: grid;
  gap: 0.55rem;
  margin-top: 0.78rem;
}

.evidence-record-list li,
.evidence-repro-list li {
  position: relative;
  padding-left: 1rem;
  color: var(--ink-2);
  line-height: 1.6;
}

.evidence-record-list li::before,
.evidence-repro-list li::before {
  content: '\2014';
  position: absolute;
  left: 0;
  color: var(--ink-3);
}

.evidence-record-list code,
.evidence-summary code,
.evidence-note code,
.evidence-repro code {
  font-size: 0.82em;
  overflow-wrap: anywhere;
  word-break: break-word;
}

.evidence-references {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(12rem, 1fr));
  gap: 0.5rem 1rem;
  margin-top: 0.9rem;
  padding-top: 0.82rem;
  border-top: 1px solid var(--rule-light);
}

.evidence-reference {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.6rem;
  padding-bottom: 0.28rem;
  border-bottom: 1px solid var(--rule-light);
  color: var(--accent);
  font-family: var(--sans);
  font-size: 0.72rem;
  text-decoration: none;
  transition: color 140ms ease, border-color 140ms ease;
}

.evidence-reference:hover {
  color: var(--accent-hover);
  border-bottom-color: currentColor;
}

.evidence-reference-arrow {
  font-size: 0.72rem;
  opacity: 0.6;
}

.evidence-note p {
  max-width: 54rem;
  font-size: 0.88rem;
  color: var(--ink-2);
}

.evidence-note strong {
  display: block;
  margin-bottom: 0.32rem;
  font-family: var(--sans);
  font-size: 0.6rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.evidence-repro {
  display: grid;
  grid-template-columns: minmax(0, 0.92fr) minmax(0, 1.08fr);
  gap: 1rem 1.5rem;
  align-items: start;
}

.evidence-repro-copy p {
  margin-top: 0.6rem;
  color: var(--ink-2);
  line-height: 1.68;
}

.evidence-repro-list {
  list-style: none;
  display: grid;
  gap: 0.55rem;
  margin-top: 0.78rem;
}

.evidence-repro-links {
  margin-top: 0.88rem;
}

.evidence-command {
  margin-top: 1.15rem;
}

.install-card {
  display: flex;
  flex-direction: column;
  gap: 0.72rem;
  min-height: 0;
  background:
    linear-gradient(180deg, rgba(118, 141, 175, 0.045) 0%, rgba(118, 141, 175, 0) 28%),
    var(--surface-muted);
}

.install-card-header {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.72rem;
  align-items: start;
}

.install-step {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2.15rem;
  height: 2.15rem;
  border: 1px solid var(--rule-light);
  border-radius: 999px;
  background: var(--surface);
  color: var(--accent);
  font-size: 0.7rem;
  font-weight: 600;
}

.install-card-label,
.install-codeframe-label,
.install-outcome-label {
  display: block;
  font-family: var(--sans);
  font-size: 0.56rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.install-card-label {
  margin-bottom: 0.28rem;
  color: var(--ink-3);
}

.install-codeframe {
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  background: var(--surface);
  overflow: hidden;
}

.install-codeframe + .install-codeframe {
  margin-top: -0.1rem;
}

.install-codepair {
  display: grid;
  gap: 0.7rem;
}

.install-codepair > .install-codeframe + .install-codeframe {
  margin-top: 0;
}

.install-codeframe-label {
  padding: 0.48rem 0.72rem;
  border-bottom: 1px solid var(--rule-light);
  background: rgba(118, 141, 175, 0.05);
  color: var(--ink-3);
}

.install-codeframe-tight .install-pre {
  padding-top: 0.82rem;
}

.install-outcome {
  margin-top: 0.08rem;
  padding-top: 0.68rem;
  border-top: 1px solid var(--rule-light);
}

.install-outcome-label {
  margin-bottom: 0.24rem;
  color: var(--ink-3);
}

.install-note p,
.install-outcome {
  margin-bottom: 0;
}

/* ══════════════════════════════════════════════════
   Interactive Panel — Figure 1
   ═════════════════════════════════════════════════ */

.interactive-panel {
  position: relative;
  background: var(--surface);
  border: 1px solid var(--rule);
  border-radius: 3px;
  padding: 1.85rem 1.65rem 1.65rem;
  box-shadow: var(--paper-shadow);
}

/* Figure label — like a figure caption in a paper */
.figure-label {
  display: block;
  margin-bottom: 1.2rem;
  padding-bottom: 0.6rem;
  border-bottom: 1px solid var(--rule-light);
  font-family: var(--sans);
  font-size: 0.6rem;
  font-weight: 600;
  letter-spacing: 0.16em;
  text-transform: uppercase;
  color: var(--ink-3);
}

/* ── Slider ───────────────────────────────────── */

.slider-area {
  margin-bottom: 1.5rem;
  padding: 1.1rem 1.15rem 1.2rem;
  border: 1px solid var(--rule-light);
  border-radius: 4px;
  background: var(--surface-muted);
}

.slider-header {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 1rem;
  margin-bottom: 0.85rem;
}

.slider-heading {
  max-width: 34rem;
}

.slider-label-text {
  display: block;
  font-family: var(--sans);
  font-size: 0.64rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.slider-context {
  margin-top: 0.28rem;
  font-family: var(--serif);
  font-size: 0.84rem;
  color: var(--ink-2);
  line-height: 1.55;
}

.slider-reading {
  display: grid;
  justify-items: end;
  gap: 0.18rem;
  min-width: 7rem;
}

.slider-reading-label {
  font-family: var(--sans);
  font-size: 0.54rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.slider-value {
  font-family: var(--mono);
  font-size: 1.5rem;
  font-weight: 500;
  letter-spacing: -0.04em;
  color: var(--ink);
  transition: color 0.2s;
}

.slider-value.danger {
  color: var(--danger);
}

.slider-track-wrap {
  position: relative;
  height: 1.5rem;
  display: flex;
  align-items: center;
}

.slider-track-base,
.slider-track-progress,
.slider-danger-zone {
  position: absolute;
  left: 0;
  right: 0;
  top: 50%;
  transform: translateY(-50%);
  border-radius: 999px;
}

.slider-track-base {
  height: 6px;
  background: var(--slider-track);
  border: 0;
}

.slider-track-progress {
  width: 100%;
  right: auto;
  height: 4px;
  background: var(--slider-progress);
  box-shadow: none;
}

.slider-danger-zone {
  right: auto;
  width: 34%;
  height: 10px;
  background: linear-gradient(90deg, var(--slider-danger-wash) 0%, rgba(255, 255, 255, 0) 100%);
  opacity: 1;
}

#retentionSlider {
  -webkit-appearance: none;
  appearance: none;
  width: 100%;
  height: 1.5rem;
  background: transparent;
  position: relative;
  z-index: 1;
  cursor: pointer;
}

#retentionSlider::-webkit-slider-runnable-track {
  height: 8px;
  background: transparent;
}

#retentionSlider::-webkit-slider-thumb {
  -webkit-appearance: none;
  width: 24px;
  height: 24px;
  margin-top: -6px;
  border-radius: 50%;
  border: 2px solid var(--slider-thumb-ring);
  background: var(--slider-thumb);
  box-shadow: var(--slider-thumb-shadow);
  transition: box-shadow 0.15s, border-color 0.15s, background 0.15s;
}

#retentionSlider:focus-visible::-webkit-slider-thumb,
#retentionSlider::-webkit-slider-thumb:hover {
  box-shadow: 0 0 0 3px var(--accent-light), var(--slider-thumb-shadow);
}

#retentionSlider::-moz-range-thumb {
  width: 24px;
  height: 24px;
  border-radius: 50%;
  border: 2px solid var(--slider-thumb-ring);
  background: var(--slider-thumb);
  box-shadow: var(--slider-thumb-shadow);
}

#retentionSlider::-moz-range-track {
  background: transparent;
  border: 0;
  height: 8px;
}

.slider-axis {
  margin-top: 0.4rem;
  display: flex;
  justify-content: space-between;
  font-family: var(--sans);
  font-size: 0.5rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.slider-ticks {
  margin-top: 0.3rem;
  display: flex;
  justify-content: space-between;
  gap: 0.55rem;
  color: var(--ink-3);
  font-family: var(--mono);
  font-size: 0.56rem;
}

.slider-ticks span {
  position: relative;
  flex: 1 1 0;
  text-align: center;
  padding-top: 0.48rem;
  opacity: 0.56;
  transition: color 0.2s, opacity 0.2s;
}

.slider-ticks span::before {
  content: '';
  position: absolute;
  top: 0;
  left: 50%;
  width: 1px;
  height: 0.34rem;
  background: var(--rule);
  transform: translateX(-50%);
}

.slider-ticks span.past {
  color: var(--accent);
  opacity: 0.82;
}

.slider-ticks span.past::before {
  background: var(--accent);
  opacity: 0.55;
}

.slider-ticks span.active {
  color: var(--ink);
  opacity: 1;
  font-weight: 600;
}

.slider-ticks span.active::before {
  width: 2px;
  height: 0.52rem;
  background: var(--accent);
}

.slider-meta {
  margin-top: 0.75rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.slider-proof {
  font-family: var(--sans);
  font-size: 0.62rem;
  color: var(--ink-3);
}

.slider-regime {
  display: inline-flex;
  align-items: center;
  gap: 0.48rem;
  padding: 0.25rem 0.5rem;
  border: 1px solid var(--rule);
  border-radius: 999px;
  background: var(--surface);
}

.slider-regime-label {
  font-family: var(--sans);
  font-size: 0.5rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.slider-regime-value {
  font-family: var(--mono);
  font-size: 0.62rem;
  color: var(--ink);
}

.slider-regime.safe {
  border-color: var(--safe);
}

.slider-regime.safe .slider-regime-value {
  color: var(--safe);
}

.slider-regime.warn {
  border-color: var(--warn);
}

.slider-regime.warn .slider-regime-value {
  color: var(--warn);
}

.slider-regime.danger {
  border-color: var(--danger);
  background: var(--danger-bg);
}

.slider-regime.danger .slider-regime-value {
  color: var(--danger);
}

.semantic-regret-row {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: baseline;
  column-gap: 0.55rem;
  margin-top: 0.7rem;
  padding: 0.5rem 0.75rem;
  background: var(--surface-strong);
  border-left: 3px solid var(--rule);
  border-radius: 0 2px 2px 0;
  animation: regretSlideIn 0.35s cubic-bezier(0.22, 1, 0.36, 1);
}

.sr-label {
  font-family: var(--sans);
  font-size: 0.62rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-2);
}

.sr-meta {
  font-family: var(--sans);
  font-size: 0.62rem;
  color: var(--ink-3);
}

.sr-value {
  font-family: var(--mono);
  font-size: 0.95rem;
  font-weight: 500;
  color: var(--ink);
  transition: opacity 0.2s;
}

.semantic-regret-row.neutral {
  border-left-color: var(--rule);
  background: var(--surface-strong);
}

.semantic-regret-row.warn {
  border-left-color: var(--warn);
  background: var(--warn-bg);
}

.semantic-regret-row.warn .sr-label,
.semantic-regret-row.warn .sr-value {
  color: var(--warn);
}

.semantic-regret-row.danger {
  border-left-color: var(--danger);
  background: var(--danger-bg);
}

.semantic-regret-row.danger .sr-label,
.semantic-regret-row.danger .sr-value {
  color: var(--danger);
}

@keyframes regretSlideIn {
  from { opacity: 0; transform: translateX(-6px); }
  to   { opacity: 1; transform: translateX(0); }
}

/* ── Cards — figure panels ────────────────────── */

.cards-container {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.85rem;
}

.card-divider {
  display: none;
}

.card {
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  padding: 1rem 1.05rem;
  transition: border-color 0.25s, box-shadow 0.25s;
}

.card-header {
  display: flex;
  align-items: center;
  gap: 0.45rem;
  padding-bottom: 0.65rem;
  margin-bottom: 0.75rem;
  border-bottom: 1px solid var(--rule-light);
}

.card-icon {
  font-size: 0.55rem;
  color: var(--ink-3);
}

.card-title {
  flex: 1;
  font-family: var(--sans);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-2);
}

.card-subtitle {
  margin: -0.45rem 0 0.65rem;
  font-family: var(--serif);
  font-size: 0.8rem;
  color: var(--ink-3);
  line-height: 1.45;
}

/* Status label — small pill */
.card-status {
  font-family: var(--sans);
  font-size: 0.56rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-3);
  padding: 0.14rem 0.42rem;
  border-radius: 2px;
  background: var(--rule-light);
  transition: color 0.2s, background 0.2s;
}

/* Card states — top accent stripe */
.card.state-healthy {
  border-top: 3px solid var(--safe);
}

.card.state-healthy .card-status {
  color: var(--safe);
  background: var(--safe-bg);
}

.card.state-degraded {
  border-top: 3px solid var(--warn);
}

.card.state-degraded .card-status {
  color: var(--warn);
  background: var(--warn-bg);
}

.card.state-critical {
  border-top: 3px solid var(--danger);
  box-shadow: inset 0 0 0 1px var(--danger);
}

.card.state-critical .card-status {
  color: var(--danger);
  background: var(--danger-bg);
}

/* ── Metrics — figure data rows ───────────────── */

.metric {
  padding: 0.25rem 0;
}

.metric + .metric {
  margin-top: 0.55rem;
}

.metric-header {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 0.3rem;
}

.metric-label {
  font-family: var(--serif);
  font-size: 0.86rem;
  color: var(--ink);
}

.metric-value {
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
}

.metric-bar {
  height: 3px;
  border-radius: 1.5px;
  background: var(--rule-light);
  overflow: hidden;
}

.metric-fill {
  height: 100%;
  border-radius: inherit;
  transition: width 0.35s ease, background-color 0.25s ease;
}

.metric-note {
  margin-top: 0.32rem;
  font-family: var(--sans);
  font-size: 0.68rem;
  font-style: italic;
  color: var(--mirage-blue);
}

.metric.metric-na {
  opacity: 0.5;
}

.metric.metric-na .metric-note {
  font-style: italic;
  color: var(--ink-3);
}

.metric.mirage-contradiction .metric-fill {
  animation: subtlePulse 2s ease-in-out infinite;
}

@keyframes subtlePulse {
  0%, 100% { opacity: 1; }
  50% { opacity: 0.6; }
}

/* ── Contract badge ───────────────────────────── */

.contract-badge {
  margin-top: 0.9rem;
  padding-top: 0.65rem;
  border-top: 1px solid var(--rule-light);
  font-family: var(--mono);
  font-size: 0.64rem;
  letter-spacing: 0.02em;
  color: var(--ink-3);
}

.contract-badge.satisfied {
  color: var(--safe);
}

.contract-badge.violated {
  color: var(--danger);
}

.contract-badge.not-applicable {
  color: var(--ink-3);
}

/* ── Mirage Warning — academic callout box ────── */

.mirage-warning {
  display: flex;
  align-items: flex-start;
  gap: 0.7rem;
  margin-top: 1.4rem;
  padding: 1rem 1.2rem;
  border-left: 3px solid var(--danger);
  border-radius: 0 3px 3px 0;
  background: var(--danger-bg);
  animation: warningSlideIn 0.4s cubic-bezier(0.22, 1, 0.36, 1);
}

@keyframes warningSlideIn {
  from { opacity: 0; transform: translateX(-8px); }
  to   { opacity: 1; transform: translateX(0); }
}

.mirage-icon {
  color: var(--danger);
  font-size: 1.05rem;
  line-height: 1.2;
  flex-shrink: 0;
}

.mirage-text strong {
  display: block;
  margin-bottom: 0.35rem;
  font-family: var(--sans);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--danger);
}

.mirage-text p {
  font-family: var(--serif);
  font-size: 0.88rem;
  color: var(--ink-2);
  line-height: 1.58;
}

.explainer {
  margin-top: 1.1rem;
  min-height: 1.4em;
  font-family: var(--serif);
  font-size: 0.88rem;
  font-style: italic;
  color: var(--ink-3);
}

/* ══════════════════════════════════════════════════
   Math Snapshot
   ═════════════════════════════════════════════════ */

.math-snapshot {
  margin-top: 1.45rem;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  padding: 1.2rem 1.3rem;
  box-shadow: var(--paper-shadow-soft);
}

.math-snapshot h3 {
  margin-bottom: 0.75rem;
  font-family: var(--sans);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.math-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.75rem;
}

.math-card {
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  padding: 0.8rem;
  background: var(--surface-muted);
}

.math-card h4 {
  margin-bottom: 0.38rem;
  font-family: var(--sans);
  font-size: 0.64rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-2);
}

.math-formula {
  margin-bottom: 0.35rem;
  font-size: 0.78rem;
  color: var(--accent);
}

.math-card p {
  font-family: var(--serif);
  font-size: 0.8rem;
  color: var(--ink-2);
  line-height: 1.54;
}

/* ══════════════════════════════════════════════════
   Deep Section — Supplementary Material
   ═════════════════════════════════════════════════ */

.deep-section {
  margin-top: 1.5rem;
}

.deep-toggle {
  width: 100%;
  display: flex;
  justify-content: space-between;
  align-items: center;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  color: var(--ink-3);
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.7rem;
  font-weight: 500;
  letter-spacing: 0.05em;
  padding: 0.9rem 1.2rem;
  transition: color 0.2s, border-color 0.2s, background 0.2s;
  box-shadow: var(--paper-shadow-soft);
}

.deep-toggle:hover {
  color: var(--ink);
  border-color: var(--ink-3);
  background: var(--surface-muted);
}

.toggle-icon {
  font-size: 0.8rem;
  transition: transform 0.3s cubic-bezier(0.22, 1, 0.36, 1);
}

.toggle-icon.open {
  transform: rotate(90deg);
}

.deep-content {
  border: 1px solid var(--rule);
  border-top: 0;
  border-radius: 0 0 3px 3px;
  background: var(--surface);
  padding: 1.5rem;
  animation: deepReveal 0.35s ease;
  box-shadow: var(--paper-shadow-soft);
}

@keyframes deepReveal {
  from { opacity: 0; transform: translateY(-4px); }
  to   { opacity: 1; transform: translateY(0); }
}

.deep-intro {
  margin-bottom: 1.2rem;
  padding-bottom: 0.8rem;
  border-bottom: 1px solid var(--rule-light);
  font-family: var(--serif);
  font-size: 0.9rem;
  color: var(--ink-2);
  line-height: 1.58;
}

.deep-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 1.75rem;
  margin-bottom: 1.75rem;
}

.deep-block h4 {
  margin-bottom: 0.75rem;
  font-family: var(--sans);
  font-size: 0.62rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
  padding-bottom: 0.35rem;
  border-bottom: 2px solid var(--accent);
  display: inline-block;
}

.witness-claim {
  margin-bottom: 0.75rem;
  font-family: var(--serif);
  font-size: 0.92rem;
  color: var(--ink);
  line-height: 1.58;
}

.witness-context {
  margin-bottom: 0.8rem;
  font-family: var(--serif);
  font-size: 0.84rem;
  color: var(--ink-2);
  line-height: 1.62;
}

.witness-table {
  display: grid;
  gap: 0;
}

.witness-row {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.5rem 0;
  border-bottom: 1px solid var(--rule-light);
}

.witness-row:first-child {
  border-top: 1px solid var(--rule-light);
}

.witness-label {
  font-family: var(--serif);
  color: var(--ink-2);
  font-size: 0.82rem;
}

.mono {
  font-family: var(--mono);
}

.witness-val-good {
  color: var(--safe);
  font-size: 0.8rem;
}

.witness-val-bad {
  color: var(--danger);
  font-size: 0.8rem;
}

.witness-notes {
  margin-top: 0.75rem;
  font-family: var(--serif);
  font-size: 0.84rem;
  font-style: italic;
  color: var(--ink-3);
  line-height: 1.58;
}

.witness-notes p + p {
  margin-top: 0.25rem;
}

.witness-regret-context {
  margin-top: 0.7rem;
  font-family: var(--serif);
  font-size: 0.82rem;
  color: var(--ink-2);
  line-height: 1.58;
}

/* ── Certificate comparison ───────────────────── */

.certificate-compare {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.8rem;
}

.certificate-policy {
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  padding: 0.8rem;
  background: var(--surface-muted);
}

.certificate-policy h5 {
  margin-bottom: 0.55rem;
  font-family: var(--sans);
  font-size: 0.64rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--accent);
}

.certificate-group + .certificate-group {
  margin-top: 0.55rem;
}

.certificate-group-label {
  display: block;
  margin-bottom: 0.25rem;
  font-family: var(--sans);
  font-size: 0.6rem;
  font-weight: 600;
  letter-spacing: 0.07em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.chunk-list {
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
}

.chunk-item {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  padding: 0.18rem 0.42rem;
  border: 1px solid var(--rule-light);
  border-radius: 999px;
  background: var(--surface);
}

.chunk-id {
  font-size: 0.62rem;
  color: var(--ink-2);
}

.chunk-role {
  font-family: var(--sans);
  font-size: 0.52rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--ink-3);
}

.chunk-predecessor .chunk-role {
  color: var(--safe);
}

.chunk-pivot .chunk-role {
  color: var(--accent);
}

.chunk-noise {
  opacity: 0.8;
}

.chunk-dropped {
  background: var(--danger-bg);
  border-color: var(--danger);
}

.chunk-dropped .chunk-id {
  color: var(--danger);
  text-decoration: line-through;
}

.chunk-dropped .chunk-role {
  color: var(--danger);
}

.chunk-protected {
  border-color: var(--warn);
  background: var(--warn-bg);
}

.chunk-protected .chunk-id,
.chunk-protected .chunk-role {
  color: var(--warn);
}

.chunk-empty {
  font-family: var(--mono);
  font-size: 0.62rem;
  color: var(--ink-3);
}

.certificate-note {
  margin-top: 0.5rem;
  font-family: var(--serif);
  font-size: 0.78rem;
  color: var(--ink-2);
  line-height: 1.48;
}

.certificate-badge {
  margin-top: 0.5rem;
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.58rem;
  letter-spacing: 0.02em;
  border: 1px solid var(--rule-light);
  border-radius: 999px;
  padding: 0.18rem 0.45rem;
}

.certificate-badge.neutral {
  color: var(--ink-3);
}

.certificate-badge.positive {
  color: var(--safe);
  border-color: var(--safe);
}

.certificate-token-summary {
  margin-top: 0.8rem;
  margin-bottom: 0.45rem;
  padding-top: 0.7rem;
  border-top: 1px solid var(--rule-light);
  font-family: var(--mono);
  font-size: 0.64rem;
  color: var(--ink-3);
  line-height: 1.5;
}

.certificate-raw summary {
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.66rem;
  color: var(--ink-3);
  margin-bottom: 0.45rem;
}

.certificate-pre {
  max-height: 320px;
  overflow: auto;
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  background: var(--surface-strong);
  padding: 1rem;
  font-family: var(--mono);
  font-size: 0.64rem;
  line-height: 1.65;
  color: var(--ink-2);
}

/* ── Headline stats — bordered data grid ──────── */

.headline-stats {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  border: 1px solid var(--rule-light);
  border-radius: 3px;
  overflow: hidden;
}

.stat-card {
  display: block;
  padding: 1rem;
  background: transparent;
  text-decoration: none;
  color: inherit;
  border-right: 1px solid var(--rule-light);
  border-bottom: 1px solid var(--rule-light);
}

.stat-card:nth-child(2n) {
  border-right: none;
}

.stat-card:nth-last-child(-n+2) {
  border-bottom: none;
}

.stat-link {
  transition: background-color 0.2s;
}

.stat-link:hover {
  background: var(--accent-light);
}

.stat-link:hover .stat-source {
  color: var(--accent);
}

.stat-value {
  display: block;
  margin-bottom: 0.15rem;
  font-family: var(--mono);
  font-size: 1.2rem;
  font-weight: 500;
  color: var(--ink);
}

.stat-label {
  display: block;
  font-family: var(--sans);
  font-size: 0.62rem;
  font-weight: 400;
  color: var(--ink-3);
}

.stat-detail {
  display: block;
  margin-top: 0.3rem;
  font-family: var(--serif);
  font-size: 0.72rem;
  font-style: italic;
  line-height: 1.48;
  color: var(--ink-3);
}

.stat-source {
  display: inline-flex;
  align-items: center;
  gap: 0.2rem;
  margin-top: 0.4rem;
  font-family: var(--sans);
  font-size: 0.58rem;
  color: var(--ink-3);
  letter-spacing: 0.04em;
  transition: color 0.15s;
}

.stat-arrow {
  font-size: 0.64rem;
}

/* Credibility section keeps claims assertive but scoped */
.credibility-note {
  margin-top: 1.5rem;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface);
  padding: 1.2rem 1.3rem;
  box-shadow: var(--paper-shadow-soft);
}

.credibility-note h3 {
  margin-bottom: 0.55rem;
  font-family: var(--sans);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--accent);
}

.credibility-note p {
  margin-bottom: 0.7rem;
  font-family: var(--serif);
  font-size: 0.88rem;
  color: var(--ink-2);
  line-height: 1.62;
}

.credibility-note ul {
  padding-left: 1.05rem;
  display: grid;
  gap: 0.35rem;
}

.credibility-note li {
  font-family: var(--serif);
  font-size: 0.84rem;
  color: var(--ink-2);
  line-height: 1.58;
}

/* ══════════════════════════════════════════════════
   Footer — Colophon
   ═════════════════════════════════════════════════ */

.site-footer {
  border-top: 1px solid var(--rule);
  margin-top: 3rem;
  padding: 2.5rem 0 3.2rem;
}

.footer-quote {
  font-family: var(--serif);
  font-size: 1.08rem;
  font-style: italic;
  color: var(--ink-3);
  text-align: center;
}

.footer-credit {
  margin-top: 0.4rem;
  margin-bottom: 1.5rem;
  text-align: center;
  font-family: var(--sans);
  font-size: 0.64rem;
  font-weight: 400;
  letter-spacing: 0.06em;
  color: var(--ink-3);
}

.footer-doi {
  color: var(--accent);
  text-decoration: none;
  border-bottom: 1px solid transparent;
  transition: color 0.15s, border-color 0.15s;
}

.footer-doi:hover {
  color: var(--accent-hover);
  border-bottom-color: currentColor;
}

.footer-links {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 1.5rem;
  margin-bottom: 1.2rem;
}

.footer-link {
  font-family: var(--sans);
  font-size: 0.76rem;
  font-weight: 500;
  text-decoration: none;
  color: var(--accent);
  transition: color 0.15s;
}

.footer-link:hover {
  color: var(--accent-hover);
}

/* Paper badges — citation references */
.paper-badges {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 0.4rem 1rem;
}

.paper-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  font-family: var(--sans);
  font-size: 0.7rem;
  text-decoration: none;
  color: var(--ink-2);
  padding: 0.25rem 0;
  border-bottom: 1px solid transparent;
  transition: color 0.15s, border-color 0.15s;
}

.paper-badge:hover {
  color: var(--accent);
  border-bottom-color: var(--accent);
}

.badge-num {
  font-weight: 600;
  color: var(--accent);
}

.badge-arrow {
  font-size: 0.64rem;
  opacity: 0;
  transition: opacity 0.15s, transform 0.15s;
}

.paper-badge:hover .badge-arrow {
  opacity: 1;
  transform: translate(1px, -1px);
}

/* ══════════════════════════════════════════════════
   Responsive
   ═════════════════════════════════════════════════ */

@media (min-width: 920px) {
  .orientation-grid {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .install-grid {
    grid-template-columns: minmax(0, 0.88fr) minmax(0, 1.12fr);
  }

  .install-codepair {
    grid-template-columns: minmax(0, 1.18fr) minmax(0, 0.82fr);
    align-items: start;
  }

  .interactive-panel {
    padding: 1.95rem 2.05rem 1.75rem;
  }

  .cards-container {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    align-items: start;
  }

  .card-divider {
    display: none;
  }

  .deep-grid {
    grid-template-columns: 1fr 1fr;
  }

  .math-grid {
    grid-template-columns: 1fr 1fr;
  }

  .certificate-compare {
    grid-template-columns: 1fr 1fr;
  }

  .headline-stats {
    grid-template-columns: repeat(4, 1fr);
  }

  .stat-card {
    border-right: 1px solid var(--rule-light);
  }

  .stat-card:nth-child(2n) {
    border-right: 1px solid var(--rule-light);
  }

  .stat-card:nth-child(4n) {
    border-right: none;
  }

  .stat-card:nth-last-child(-n+2) {
    border-bottom: 1px solid var(--rule-light);
  }

  .stat-card:nth-last-child(-n+4) {
    border-bottom: none;
  }
}

@media (max-width: 680px) {
  .hero,
  main,
  .site-footer {
    width: min(1000px, 100% - 1.5rem);
  }

  .hero {
    padding: 2.8rem 0 1.5rem;
  }

  .hero-topline {
    align-items: flex-start;
    flex-direction: column;
  }

  .hero-title {
    font-size: 2.4rem;
  }

  .hero-context {
    padding-left: 0.8rem;
  }

  .hero-context-note {
    padding-left: 0.8rem;
  }

  .orientation,
  .install-verify {
    padding: 1rem;
  }

  .hero-links {
    grid-template-columns: 1fr;
  }

  .evidence-overview-header,
  .evidence-ledger,
  .evidence-repro {
    grid-template-columns: 1fr;
  }

  .evidence-references {
    grid-template-columns: 1fr;
  }

  .interactive-panel {
    padding: 1.2rem;
  }

  .slider-header,
  .slider-meta {
    flex-direction: column;
    align-items: flex-start;
  }

  .slider-reading {
    justify-items: start;
    min-width: 0;
  }

  .card-header {
    flex-wrap: wrap;
  }

  .semantic-regret-row {
    grid-template-columns: 1fr;
    row-gap: 0.12rem;
  }

  .headline-stats {
    grid-template-columns: 1fr;
    border: none;
    border-radius: 0;
  }

  .stat-card {
    border-right: none !important;
    border: none;
    border-bottom: 1px solid var(--rule-light);
  }

  .stat-card:last-child {
    border-bottom: none;
  }
}

/* ── Utilities ────────────────────────────────── */

.hidden {
  display: none !important;
}

::selection {
  background: var(--selection);
}

::-webkit-scrollbar {
  width: 5px;
  height: 5px;
}

::-webkit-scrollbar-thumb {
  border-radius: 3px;
  background: var(--rule);
}

::-webkit-scrollbar-thumb:hover {
  background: var(--ink-3);
}

@media (prefers-reduced-motion: reduce) {
  * {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}