/* ==========================================================================
   DISTILL.PUB STYLE INTERACTIVE RESEARCH MONOGRAPH — STYLESHEET
   ========================================================================== */

:root {
  --bg-paper: #fcfcfa;
  --bg-inset: #f4f2ec;
  --bg-card: #ffffff;
  --bg-banner: #102131;
  --border-hairline: #e2dfd5;
  --border-strong: #c9c4b6;

  --ink-primary: #161614;
  --ink-body: #292825;
  --ink-secondary: #5a574f;
  --ink-muted: #7a766c;

  --accent-blue: #1d4ed8;
  --accent-blue-soft: #dbeafe;
  --accent-emerald: #047857;
  --accent-emerald-soft: #d1fae5;
  --accent-amber: #b45309;
  --accent-amber-soft: #fef3c7;
  --accent-crimson: #be123c;
  --accent-crimson-soft: #ffe4e6;
  --accent-purple: #6d28d9;
  --accent-purple-soft: #ede9fe;

  --font-serif: "Charter", "Iowan Old Style", "Newsreader", "Source Serif 4", "Palatino Linotype", Georgia, serif;
  --font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --font-mono: "JetBrains Mono", "SFMono-Regular", Menlo, Consolas, monospace;

  --shadow-card: 0 2px 10px rgba(22, 22, 20, 0.04), 0 1px 2px rgba(22, 22, 20, 0.05);
  --shadow-popover: 0 12px 32px rgba(16, 33, 49, 0.16), 0 2px 6px rgba(16, 33, 49, 0.08);
}

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

html {
  scroll-behavior: smooth;
  font-size: 16px;
}

body {
  margin: 0;
  background-color: var(--bg-paper);
  color: var(--ink-body);
  font-family: var(--font-serif);
  line-height: 1.72;
  -webkit-font-smoothing: antialiased;
}

/* Below-the-fold rendering optimization (defer-rendering-heavy-content) */
.below-fold-section {
  content-visibility: auto;
  contain-intrinsic-size: auto none auto 680px;
}

/* ==========================================================================
   1. DISTILL TOP NAVIGATION BAR
   ========================================================================== */
.d-topbar {
  position: sticky;
  top: 0;
  z-index: 90;
  background: var(--bg-banner);
  color: #f8fafc;
  font-family: var(--font-sans);
  border-bottom: 1px solid rgba(255, 255, 255, 0.12);
}

.d-topbar-inner {
  max-width: 1380px;
  margin: 0 auto;
  padding: 0.55rem 1.5rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
}

.d-pub-brand {
  display: flex;
  align-items: center;
  gap: 0.45rem;
  font-size: 0.76rem;
  letter-spacing: 0.07em;
  font-weight: 600;
  color: #e2e8f0;
}

.d-pub-logo {
  color: #38bdf8;
  font-size: 0.9rem;
}

.d-pub-sep {
  opacity: 0.4;
}

.d-pub-issue {
  color: #94a3b8;
  font-weight: 500;
}

.d-topbar-links {
  display: flex;
  align-items: center;
  gap: 0.95rem;
  flex-wrap: wrap;
}

.d-topbar-links a {
  color: #cbd5e1;
  text-decoration: none;
  font-size: 0.78rem;
  font-weight: 500;
  transition: color 0.15s ease;
}

.d-topbar-links a:hover {
  color: #ffffff;
}

.d-topbar-actions {
  display: flex;
  align-items: center;
  gap: 0.65rem;
}

.engine-pill {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  font-size: 0.73rem;
  padding: 0.24rem 0.6rem;
  border-radius: 999px;
  background: rgba(16, 185, 129, 0.15);
  border: 1px solid rgba(16, 185, 129, 0.4);
  color: #a7f3d0;
}

.status-dot {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: #10b981;
  box-shadow: 0 0 6px #10b981;
}

.btn-topbar-sync {
  font-family: var(--font-sans);
  font-size: 0.74rem;
  font-weight: 600;
  padding: 0.28rem 0.72rem;
  border-radius: 5px;
  border: 1px solid rgba(56, 189, 248, 0.5);
  background: rgba(56, 189, 248, 0.16);
  color: #e0f2fe;
  cursor: pointer;
  transition: background 0.15s ease;
}

.btn-topbar-sync:hover {
  background: rgba(56, 189, 248, 0.28);
}

/* ==========================================================================
   2. DISTILL TITLE HEADER & BYLINE METADATA STRIP
   ========================================================================== */
.d-title {
  background: linear-gradient(180deg, #f5f3eb 0%, var(--bg-paper) 100%);
  border-bottom: 1px solid var(--border-hairline);
  padding: 3.1rem 1.5rem 2.3rem;
}

.d-title-grid {
  max-width: 1120px;
  margin: 0 auto;
}

.d-kicker {
  font-family: var(--font-sans);
  font-size: 0.74rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--accent-blue);
  margin-bottom: 0.75rem;
}

.d-title h1 {
  font-family: var(--font-serif);
  font-size: clamp(2rem, 3.5vw, 3.05rem);
  font-weight: 700;
  line-height: 1.15;
  letter-spacing: -0.018em;
  color: var(--ink-primary);
  margin: 0 0 1rem 0;
  max-width: 960px;
}

.d-subtitle {
  font-family: var(--font-serif);
  font-size: clamp(1.08rem, 1.45vw, 1.28rem);
  line-height: 1.52;
  color: var(--ink-secondary);
  margin: 0;
  max-width: 880px;
  font-weight: 400;
}

/* Byline Strip */
.d-byline {
  background: var(--bg-inset);
  border-bottom: 1px solid var(--border-hairline);
  font-family: var(--font-sans);
  padding: 1rem 1.5rem;
}

.d-byline-grid {
  max-width: 1340px;
  margin: 0 auto;
  display: grid;
  grid-template-columns: 1.25fr 1fr 1.25fr 1.5fr;
  gap: 1.25rem;
  align-items: start;
}

.byline-col {
  border-left: 2px solid var(--border-strong);
  padding-left: 0.85rem;
}

.byline-label {
  display: block;
  font-size: 0.68rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-muted);
  margin-bottom: 0.28rem;
}

.byline-val {
  margin: 0 0 0.2rem 0;
  font-size: 0.86rem;
  color: var(--ink-primary);
}

.byline-sub {
  margin: 0;
  font-size: 0.75rem;
  line-height: 1.4;
  color: var(--ink-secondary);
}

.regime-pill-group {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-top: 0.25rem;
}

.regime-btn {
  font-family: var(--font-sans);
  font-size: 0.74rem;
  font-weight: 600;
  padding: 0.28rem 0.58rem;
  border-radius: 4px;
  border: 1px solid var(--border-strong);
  background: var(--bg-card);
  color: var(--ink-secondary);
  cursor: pointer;
  transition: all 0.14s ease;
}

.regime-btn:hover {
  border-color: var(--accent-blue);
  color: var(--accent-blue);
}

.regime-btn.active {
  background: var(--accent-blue);
  border-color: var(--accent-blue);
  color: #ffffff;
}

.mini-scrubber-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.55rem;
  font-size: 0.75rem;
  color: var(--ink-secondary);
  margin-bottom: 0.22rem;
}

.mini-scrubber-row input[type="range"] {
  width: 120px;
  accent-color: var(--accent-blue);
  cursor: pointer;
}

/* ==========================================================================
   3. DISTILL ASYMMETRIC 3-COLUMN ARTICLE GRID
   ========================================================================== */
.d-article {
  max-width: 1380px;
  margin: 0 auto;
  padding: 2.4rem 1.5rem 4.5rem;
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 2.5rem;
  align-items: start;
}

/* Left Sticky Table of Contents & Live Telemetry */
.d-toc {
  font-family: var(--font-sans);
  position: sticky;
  top: 3.4rem;
}

.toc-section-title {
  font-size: 0.69rem;
  font-weight: 700;
  letter-spacing: 0.09em;
  text-transform: uppercase;
  color: var(--ink-muted);
  margin-bottom: 0.55rem;
  padding-bottom: 0.3rem;
  border-bottom: 1px solid var(--border-hairline);
}

.toc-list {
  list-style: none;
  padding: 0;
  margin: 0 0 1.4rem 0;
}

.toc-list li {
  margin-bottom: 0.38rem;
}

.toc-link {
  display: block;
  font-size: 0.8rem;
  line-height: 1.35;
  color: var(--ink-secondary);
  text-decoration: none;
  padding: 0.2rem 0 0.2rem 0.55rem;
  border-left: 2px solid transparent;
  transition: all 0.15s ease;
}

.toc-link:hover,
.toc-link.active {
  color: var(--accent-blue);
  border-left-color: var(--accent-blue);
  font-weight: 600;
}

.toc-telemetry-card {
  background: var(--bg-inset);
  border: 1px solid var(--border-hairline);
  border-radius: 6px;
  padding: 0.8rem;
  font-size: 0.76rem;
}

.telemetry-row {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  padding: 0.2rem 0;
  border-bottom: 1px dashed rgba(0, 0, 0, 0.06);
}

.telemetry-row span {
  color: var(--ink-secondary);
}

.telemetry-row strong {
  font-family: var(--font-mono);
  font-size: 0.74rem;
  color: var(--ink-primary);
}

.btn-toc-reset {
  margin-top: 0.65rem;
  width: 100%;
  font-family: var(--font-sans);
  font-size: 0.74rem;
  font-weight: 600;
  padding: 0.38rem;
  border-radius: 4px;
  border: 1px solid var(--border-strong);
  background: var(--bg-card);
  color: var(--ink-primary);
  cursor: pointer;
}

.btn-toc-reset:hover {
  border-color: var(--accent-blue);
  color: var(--accent-blue);
}

/* Right Content Stream: Body + Margin Sidenotes */
.d-stream {
  display: flex;
  flex-direction: column;
  gap: 1.8rem;
  min-width: 0;
}

.d-row {
  display: grid;
  grid-template-columns: minmax(0, 680px) 270px;
  gap: 2.2rem;
  align-items: start;
}

.d-body {
  font-size: 1.07rem;
  color: var(--ink-body);
  font-size-adjust: from-font;
  min-width: 0;
}

.d-body code {
  font-family: var(--font-mono);
  font-size: 0.88em;
  background: rgba(22, 22, 20, 0.05);
  padding: 0.1rem 0.32rem;
  border-radius: 3px;
}

@supports not (font-size-adjust: from-font) {
  .d-body {
    line-height: 1.74;
    font-size: 1.06rem;
  }
  .d-body code {
    font-size: 0.86em;
    line-height: 1.5;
  }
}

.d-body h2 {
  font-family: var(--font-serif);
  font-size: 1.65rem;
  line-height: 1.25;
  color: var(--ink-primary);
  margin: 0.6rem 0 0.85rem;
  padding-bottom: 0.35rem;
  border-bottom: 1px solid var(--border-hairline);
}

.d-body h3 {
  font-family: var(--font-serif);
  font-size: 1.24rem;
  line-height: 1.35;
  color: var(--ink-primary);
  margin: 1.4rem 0 0.6rem;
}

.d-body p {
  margin: 0 0 1.05rem;
}

.d-numbered-list {
  padding-left: 1.35rem;
  margin: 0 0 1.2rem;
}

.d-numbered-list li {
  margin-bottom: 0.65rem;
}

/* Abstract Box */
.d-abstract-box {
  background: var(--bg-card);
  border: 1px solid var(--border-hairline);
  border-left: 4px solid var(--accent-blue);
  border-radius: 6px;
  padding: 1.25rem 1.45rem;
  box-shadow: var(--shadow-card);
}

.abstract-kicker {
  display: inline-block;
  font-family: var(--font-sans);
  font-size: 0.7rem;
  font-weight: 700;
  letter-spacing: 0.09em;
  color: var(--accent-blue);
  margin-bottom: 0.45rem;
}

/* Margin Sidenotes */
.d-sidenote {
  font-family: var(--font-sans);
  font-size: 0.81rem;
  line-height: 1.5;
  color: var(--ink-secondary);
  display: flex;
  flex-direction: column;
  gap: 0.85rem;
  padding-top: 0.4rem;
}

.sidenote-box {
  background: var(--bg-inset);
  border-left: 2.5px solid var(--border-strong);
  padding: 0.68rem 0.82rem;
  border-radius: 0 5px 5px 0;
}

.sidenote-num {
  display: block;
  font-size: 0.7rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--accent-blue);
  margin-bottom: 0.25rem;
}

/* Inline Interactive Math Variables & Citations */
.math-var {
  display: inline-block;
  padding: 0.04rem 0.32rem;
  border-radius: 4px;
  background: rgba(29, 78, 216, 0.08);
  border-bottom: 1.5px dotted var(--accent-blue);
  color: #1e3a8a;
  cursor: help;
  transition: background 0.15s ease, transform 0.15s ease;
}

.math-var:hover,
.math-var.is-highlighted {
  background: rgba(29, 78, 216, 0.22);
  color: #172554;
}

.d-cite {
  font-family: var(--font-sans);
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--accent-blue);
  text-decoration: none;
  padding: 0.05rem 0.25rem;
  border-radius: 3px;
  background: rgba(29, 78, 216, 0.06);
}

.d-cite:hover {
  background: rgba(29, 78, 216, 0.16);
}

/* Equations & Theorem Callouts */
.d-equation {
  position: relative;
  background: var(--bg-inset);
  border: 1px solid var(--border-hairline);
  border-radius: 6px;
  padding: 0.95rem 3.4rem 0.95rem 1.25rem;
  margin: 1.05rem 0 1.25rem;
  font-size: 1.02rem;
  line-height: 1.65;
  overflow-x: auto;
  overflow-y: hidden;
  color: var(--ink-primary);
}

.d-equation .katex-display,
.d-theorem-callout .katex-display,
.proof-modal-body .katex-display {
  margin: 0.35rem 0;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 0.15rem 0;
}

.eq-num {
  position: absolute;
  right: 0.85rem;
  top: 50%;
  transform: translateY(-50%);
  font-family: var(--font-sans);
  font-size: 0.78rem;
  color: var(--ink-muted);
}

.d-theorem-callout {
  background: var(--bg-card);
  border: 1px solid var(--border-strong);
  border-left: 4px solid var(--accent-emerald);
  border-radius: 6px;
  padding: 1.1rem 1.3rem;
  margin: 1.25rem 0;
  box-shadow: var(--shadow-card);
}

.thm-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 0.75rem;
  margin-bottom: 0.55rem;
  flex-wrap: wrap;
}

.thm-tag {
  font-family: var(--font-sans);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.07em;
  color: var(--accent-emerald);
}

.btn-proof-link {
  font-family: var(--font-sans);
  font-size: 0.75rem;
  font-weight: 600;
  padding: 0.24rem 0.62rem;
  border-radius: 4px;
  border: 1px solid var(--accent-emerald);
  background: var(--accent-emerald-soft);
  color: #065f46;
  cursor: pointer;
}

.btn-proof-link:hover {
  background: #a7f3d0;
}

.thm-statement {
  margin: 0;
  font-size: 0.98rem;
}

/* ==========================================================================
   4. WIDE BREAKOUT INTERACTIVE FIGURES (.d-figure.l-page)
   ========================================================================== */
.d-figure.l-page {
  margin: 0.5rem 0 1.2rem;
  background: var(--bg-card);
  border: 1px solid var(--border-strong);
  border-radius: 8px;
  padding: 1.25rem 1.4rem;
  box-shadow: var(--shadow-card);
  font-family: var(--font-sans);
}

.fig-header {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 1rem;
  flex-wrap: wrap;
  padding-bottom: 0.85rem;
  margin-bottom: 1rem;
  border-bottom: 1px solid var(--border-hairline);
}

.fig-badge {
  display: inline-block;
  font-size: 0.69rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--accent-blue);
  margin-bottom: 0.2rem;
}

.fig-header h3 {
  margin: 0;
  font-family: var(--font-serif);
  font-size: 1.2rem;
  color: var(--ink-primary);
}

.fig-controls-inline {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  flex-wrap: wrap;
}

.ctl-caption {
  font-size: 0.78rem;
  color: var(--ink-secondary);
}

.d-select {
  font-family: var(--font-sans);
  font-size: 0.78rem;
  padding: 0.3rem 0.55rem;
  border-radius: 4px;
  border: 1px solid var(--border-strong);
  background: var(--bg-paper);
  color: var(--ink-primary);
}

.pill-bar,
.gen-pill-bar {
  display: flex;
  gap: 0.3rem;
  flex-wrap: wrap;
}

.pill-sm,
.gen-pill {
  font-family: var(--font-sans);
  font-size: 0.74rem;
  font-weight: 600;
  padding: 0.26rem 0.58rem;
  border-radius: 4px;
  border: 1px solid var(--border-strong);
  background: var(--bg-paper);
  color: var(--ink-secondary);
  cursor: pointer;
  transition: all 0.14s ease;
}

.pill-sm:hover,
.gen-pill:hover {
  border-color: var(--accent-blue);
  color: var(--accent-blue);
}

.pill-sm.active,
.gen-pill.active {
  background: var(--accent-blue);
  border-color: var(--accent-blue);
  color: #ffffff;
}

.fig-dual-canvas {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.1rem;
}

.fig-wedge-layout {
  display: grid;
  grid-template-columns: 1.55fr 1fr;
  gap: 1.15rem;
  align-items: stretch;
}

.canvas-panel {
  background: #faf9f5;
  border: 1px solid var(--border-hairline);
  border-radius: 6px;
  padding: 0.7rem;
}

.panel-subhead {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 0.5rem;
  flex-wrap: wrap;
  margin-bottom: 0.45rem;
  font-size: 0.8rem;
}

.panel-hint {
  font-size: 0.72rem;
  color: var(--ink-muted);
}

canvas {
  width: 100%;
  height: auto;
  display: block;
}

.fig-caption {
  margin-top: 0.85rem;
  padding-top: 0.7rem;
  border-top: 1px solid var(--border-hairline);
  font-size: 0.82rem;
  line-height: 1.52;
  color: var(--ink-secondary);
}

/* Wedge Inspector Card */
.wedge-inspector-card {
  background: var(--bg-inset);
  border: 1px solid var(--border-hairline);
  border-radius: 6px;
  padding: 0.95rem 1.05rem;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}

.wedge-inspector-card h4 {
  margin: 0 0 0.65rem;
  font-size: 0.88rem;
  color: var(--ink-primary);
}

.wedge-stat-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.5rem;
  margin-bottom: 0.75rem;
}

.wedge-stat {
  background: var(--bg-card);
  border: 1px solid var(--border-hairline);
  border-radius: 4px;
  padding: 0.42rem 0.58rem;
}

.wedge-stat.highlight {
  border-color: var(--accent-blue);
  background: var(--accent-blue-soft);
}

.wedge-stat span {
  display: block;
  font-size: 0.69rem;
  color: var(--ink-secondary);
}

.wedge-stat strong {
  font-family: var(--font-mono);
  font-size: 0.9rem;
  color: var(--ink-primary);
}

.wedge-explanation {
  margin: 0;
  font-size: 0.78rem;
  line-height: 1.48;
  color: var(--ink-secondary);
}

.permit-readout-pill,
.simplex-readout-pill {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  font-weight: 600;
  padding: 0.28rem 0.65rem;
  border-radius: 4px;
  background: var(--bg-inset);
  border: 1px solid var(--border-strong);
  color: var(--ink-primary);
}

/* ==========================================================================
   5. MULTI-AGENT DELIBERATION CARDS & EMPIRICAL TABLE
   ========================================================================== */
.agent-cards-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(290px, 1fr));
  gap: 0.9rem;
}

.agent-card {
  background: var(--bg-paper);
  border: 1px solid var(--border-hairline);
  border-radius: 6px;
  padding: 0.9rem 1rem;
  display: flex;
  flex-direction: column;
  gap: 0.55rem;
}

.agent-card-top {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 0.5rem;
}

.agent-title {
  font-size: 0.88rem;
  font-weight: 700;
  color: var(--ink-primary);
}

.agent-archetype {
  font-size: 0.72rem;
  color: var(--ink-muted);
}

.stance-badge {
  font-size: 0.68rem;
  font-weight: 700;
  padding: 0.16rem 0.48rem;
  border-radius: 999px;
  text-transform: uppercase;
}

.stance-badge.coop {
  background: var(--accent-emerald-soft);
  color: var(--accent-emerald);
}

.stance-badge.race {
  background: var(--accent-crimson-soft);
  color: var(--accent-crimson);
}

.agent-quote {
  margin: 0;
  font-family: var(--font-serif);
  font-style: italic;
  font-size: 0.83rem;
  line-height: 1.46;
  color: var(--ink-body);
  background: var(--bg-card);
  padding: 0.55rem 0.7rem;
  border-left: 3px solid var(--accent-blue);
  border-radius: 0 4px 4px 0;
}

.agent-metrics-row {
  display: flex;
  justify-content: space-between;
  gap: 0.4rem;
  font-family: var(--font-mono);
  font-size: 0.72rem;
  color: var(--ink-secondary);
}

.alloc-bars-wrap {
  display: flex;
  flex-direction: column;
  gap: 0.28rem;
}

.alloc-bar-label {
  display: flex;
  justify-content: space-between;
  font-size: 0.69rem;
  color: var(--ink-muted);
}

.alloc-bar-track {
  height: 10px;
  border-radius: 4px;
  overflow: hidden;
  display: flex;
  background: #e5e7eb;
}

/* Academic Table */
.d-table-wrap {
  overflow-x: auto;
  margin: 1rem 0 1.6rem;
}

.d-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--font-sans);
  font-size: 0.82rem;
  background: var(--bg-card);
  border: 1px solid var(--border-hairline);
}

.d-table th,
.d-table td {
  padding: 0.58rem 0.75rem;
  border-bottom: 1px solid var(--border-hairline);
  text-align: left;
}

.d-table th {
  background: var(--bg-inset);
  font-weight: 700;
  color: var(--ink-primary);
}

.d-table .col-highlight {
  background: rgba(29, 78, 216, 0.06);
}

.text-emerald {
  color: var(--accent-emerald) !important;
}

.text-crimson {
  color: var(--accent-crimson) !important;
}

/* Proof Cards Grid */
.proof-cards-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.85rem;
  margin: 0.85rem 0 1.8rem;
}

.proof-card-btn {
  text-align: left;
  font-family: var(--font-sans);
  background: var(--bg-card);
  border: 1px solid var(--border-strong);
  border-radius: 6px;
  padding: 0.9rem 1.05rem;
  cursor: pointer;
  display: flex;
  flex-direction: column;
  gap: 0.3rem;
  transition: all 0.15s ease;
}

.proof-card-btn:hover {
  border-color: var(--accent-blue);
  box-shadow: var(--shadow-card);
  transform: translateY(-1px);
}

.proof-card-kicker {
  font-size: 0.69rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  color: var(--accent-blue);
}

.proof-card-btn strong {
  font-size: 0.9rem;
  color: var(--ink-primary);
}

.proof-card-btn span:last-child {
  font-size: 0.76rem;
  color: var(--ink-secondary);
}

/* References & BibTeX */
.d-references {
  margin-top: 2rem;
  padding-top: 1.2rem;
  border-top: 1px solid var(--border-strong);
  font-size: 0.9rem;
}

.ref-list {
  padding-left: 1.25rem;
}

.ref-list li {
  margin-bottom: 0.45rem;
}

.d-bibtex {
  background: #161614;
  color: #e2e8f0;
  padding: 0.95rem 1.1rem;
  border-radius: 6px;
  font-family: var(--font-mono);
  font-size: 0.76rem;
  overflow-x: auto;
}

/* Hover Popover for Math Symbols & Citations */
.d-hover-popover {
  position: fixed;
  z-index: 120;
  max-width: 340px;
  background: #102131;
  color: #f8fafc;
  font-family: var(--font-sans);
  font-size: 0.78rem;
  line-height: 1.48;
  padding: 0.7rem 0.9rem;
  border-radius: 6px;
  box-shadow: var(--shadow-popover);
  pointer-events: none;
}

/* Modal Dialog (platform-controls-dismiss-dialog) */
.proof-modal {
  max-width: 720px;
  width: 92vw;
  border: 1px solid var(--border-strong);
  border-radius: 8px;
  padding: 0;
  background: var(--bg-paper);
  color: var(--ink-body);
  box-shadow: var(--shadow-popover);
}

.proof-modal::backdrop {
  background: rgba(16, 33, 49, 0.55);
  backdrop-filter: blur(2px);
}

.proof-modal-inner {
  padding: 1.5rem 1.75rem;
}

.proof-modal-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 0.6rem;
}

.proof-modal-tag {
  font-family: var(--font-sans);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  color: var(--accent-blue);
}

.proof-modal-close {
  border: none;
  background: var(--bg-inset);
  width: 30px;
  height: 30px;
  border-radius: 50%;
  cursor: pointer;
  font-size: 0.9rem;
}

.proof-modal-body {
  font-size: 0.96rem;
  line-height: 1.65;
}

.proof-modal-body pre {
  background: var(--bg-inset);
  border: 1px solid var(--border-hairline);
  padding: 0.75rem;
  border-radius: 5px;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  overflow-x: auto;
}

/* ==========================================================================
   6. RESPONSIVE BREAKPOINTS
   ========================================================================== */
@media (max-width: 1120px) {
  .d-article {
    grid-template-columns: 1fr;
  }
  .d-toc {
    position: static;
  }
  .d-byline-grid {
    grid-template-columns: 1fr 1fr;
  }
}

@media (max-width: 900px) {
  .d-row {
    grid-template-columns: 1fr;
  }
  .fig-dual-canvas,
  .fig-wedge-layout,
  .proof-cards-grid {
    grid-template-columns: 1fr;
  }
  .d-byline-grid {
    grid-template-columns: 1fr;
  }
}