/* ============================================================
   Youklid — Euclid's Elements Book I
   ============================================================ */

:root {
  --parchment-bg: #f5efe2;
  --parchment-ink: #2b2418;
  --parchment-ink-soft: #5b4d39;
  --parchment-rule: #c8bca0;
  --parchment-accent: #8a2b1f;      /* vermillion */
  --parchment-accent-soft: #b35c4d;
  --parchment-cite: #1e4b3b;        /* forest — like a medieval manuscript */
  --parchment-panel: #ecdfc3;
  --parchment-panel-edge: #ddcea9;
  --parchment-highlight: #f3e3a7;   /* current-argument glow */
  --parchment-unclear: #a97139;

  --dark-bg: #121113;
  --dark-panel: #1a1819;
  --dark-ink: #e7e0d3;
  --dark-ink-soft: #a59987;
  --dark-rule: #3a352d;
  --dark-accent: #e8a33c;           /* gold */
  --dark-accent-soft: #c6822b;
  --dark-cite: #7dc29a;
  --dark-panel-edge: #2a2725;
  --dark-highlight: #2a2313;
  --dark-unclear: #c18a4c;

  --font-serif-en: 'EB Garamond', 'Cormorant Garamond', 'Iowan Old Style', Georgia, serif;
  --font-serif-gr: 'Gentium Plus', 'EB Garamond', 'Times New Roman', serif;
  --font-display:  'Cormorant Garamond', 'EB Garamond', Georgia, serif;
  --font-mono:     'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, monospace;

  --shadow-soft: 0 1px 2px rgba(0,0,0,0.08), 0 8px 24px rgba(0,0,0,0.05);
}

body[data-theme="parchment"] {
  --bg: var(--parchment-bg);
  --ink: var(--parchment-ink);
  --ink-soft: var(--parchment-ink-soft);
  --rule: var(--parchment-rule);
  --accent: var(--parchment-accent);
  --accent-soft: var(--parchment-accent-soft);
  --cite: var(--parchment-cite);
  --panel: var(--parchment-panel);
  --panel-edge: var(--parchment-panel-edge);
  --highlight: var(--parchment-highlight);
  --unclear: var(--parchment-unclear);
  --grain: url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='200' height='200'><filter id='n'><feTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='2' stitchTiles='stitch'/><feColorMatrix values='0 0 0 0 0.15  0 0 0 0 0.10  0 0 0 0 0.04  0 0 0 0.06 0'/></filter><rect width='100%25' height='100%25' filter='url(%23n)'/></svg>");
}
body[data-theme="dark"] {
  --bg: var(--dark-bg);
  --ink: var(--dark-ink);
  --ink-soft: var(--dark-ink-soft);
  --rule: var(--dark-rule);
  --accent: var(--dark-accent);
  --accent-soft: var(--dark-accent-soft);
  --cite: var(--dark-cite);
  --panel: var(--dark-panel);
  --panel-edge: var(--dark-panel-edge);
  --highlight: var(--dark-highlight);
  --unclear: var(--dark-unclear);
  --grain: none;
}

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

html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--font-serif-en);
  font-size: 18px;
  line-height: 1.65;
  min-height: 100vh;
  position: relative;
  background-image: var(--grain);
  background-repeat: repeat;
}

body[data-lang="gr"] #prop-enunciation,
body[data-lang="gr"] .arg-text,
body[data-lang="gr"] .map-selected-text,
body[data-lang="gr"] .map-node-label {
  font-family: var(--font-serif-gr);
  font-feature-settings: "liga", "clig", "kern";
  letter-spacing: 0.01em;
}

/* ======================================
   Header
   ====================================== */

#top-bar {
  position: sticky; top: 0; z-index: 30;
  display: grid;
  grid-template-columns: auto 1fr auto auto;
  align-items: center;
  gap: 1.25rem;
  padding: 0.75rem 1.25rem;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(8px);
  -webkit-backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--rule);
}
.brand {
  display: flex; align-items: baseline; gap: 0.75rem;
  font-family: var(--font-display);
}
.brand a { text-decoration: none; color: var(--ink); }
.brand-mark {
  font-size: 1.8rem; font-weight: 600; color: var(--accent);
}
.brand-name { font-size: 1.4rem; font-weight: 500; }
.brand-sub {
  font-style: italic; color: var(--ink-soft); font-size: 0.95rem;
}
.tabs, .lang-toggle {
  justify-self: end;
  display: inline-flex;
  gap: 1px;
  background: var(--panel);
  border: 1px solid var(--panel-edge);
  border-radius: 999px;
  padding: 3px;
}
.tabs .tab, .lang-toggle .lang {
  background: transparent;
  border: 0;
  padding: 0.35rem 0.95rem;
  border-radius: 999px;
  color: var(--ink-soft);
  font-family: var(--font-serif-en);
  font-size: 0.92rem;
  cursor: pointer;
  transition: background 120ms, color 120ms;
}
.lang-toggle .lang[data-lang="gr"] { font-family: var(--font-serif-gr); }
.tabs .tab[aria-pressed="true"], .lang-toggle .lang[aria-pressed="true"] {
  background: var(--bg);
  color: var(--accent);
  box-shadow: 0 1px 2px rgba(0,0,0,0.06);
}
.tabs .tab:hover:not([aria-pressed="true"]),
.lang-toggle .lang:hover:not([aria-pressed="true"]) { color: var(--ink); }

/* ── Cross-page navigation links (text ↔ map) ── */
.map-page-link,
.map-back-link {
  justify-self: end;
  font-family: var(--font-serif-en);
  font-size: 0.92rem;
  color: var(--ink-soft);
  text-decoration: none;
  padding: 0.35rem 0.95rem;
  border-radius: 999px;
  background: var(--panel);
  border: 1px solid var(--panel-edge);
  transition: background 120ms, color 120ms;
  white-space: nowrap;
}
.map-page-link:hover,
.map-back-link:hover { color: var(--ink); }

#theme-btn {
  background: transparent; border: 1px solid var(--rule);
  color: var(--ink); width: 2.2rem; height: 2.2rem;
  border-radius: 50%; cursor: pointer; font-size: 1.1rem;
  transition: background 120ms, transform 120ms;
}
#theme-btn:hover { background: var(--panel); }

/* ======================================
   Layout
   ====================================== */

.view { display: none; }
.view.active { display: block; }

/* Only display:grid when active — plain #text-view { display:grid } would win
   over .view { display:none } due to higher specificity, making the hidden
   stub on youklidmap.html push the map down by a full viewport height. */
#text-view.active {
  display: grid;
  grid-template-columns: 1fr;
  grid-template-rows: 1fr auto;
  grid-template-areas:
    "center"
    "bottom";
  min-height: calc(100vh - 60px);
}

#center { grid-area: center; }
#bottom-panel { grid-area: bottom; }

.panel-head {
  display: flex; align-items: baseline; justify-content: space-between;
  margin-bottom: 0.75rem;
}
.panel-head h2 {
  margin: 0;
  font-family: var(--font-display);
  font-size: 1rem; font-weight: 600;
  letter-spacing: 0.12em; text-transform: uppercase;
  color: var(--ink-soft);
}

/* Inline popover shown beneath an argument on double-click. */
.deps-popover {
  display: block;
  margin-top: 0.85rem;
  padding: 0.9rem 1rem 1rem 1rem;
  border: 1px solid var(--rule);
  border-left: 3px solid var(--accent);
  border-radius: 4px;
  background: color-mix(in srgb, var(--panel) 70%, var(--bg));
  box-shadow: 0 2px 8px rgba(0,0,0,0.08);
  font-size: 0.9rem;
  animation: deps-pop-in 140ms ease-out;
}
@keyframes deps-pop-in { from { opacity: 0; transform: translateY(-4px); } to { opacity: 1; transform: none; } }
.deps-popover-head {
  display: flex; justify-content: space-between; align-items: baseline;
  margin-bottom: 0.6rem;
  font-family: var(--font-display);
  font-size: 0.82rem;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--ink-soft);
}
.deps-popover-close {
  background: transparent; border: 0; color: var(--ink-soft);
  font-size: 1.2rem; cursor: pointer; line-height: 1;
  padding: 0 0.2rem;
}
.deps-popover-close:hover { color: var(--accent); }
.deps-popover-empty {
  color: var(--ink-soft); font-style: italic; font-size: 0.9rem; margin: 0;
}

.deps-hint {
  text-align: center;
  font-size: 0.82rem;
  color: var(--ink-soft);
  font-style: italic;
  margin: 0.3rem 0 1rem 0;
}

.panel-body { font-size: 0.95rem; }
.panel-empty {
  color: var(--ink-soft); font-style: italic; font-size: 0.9rem;
}

.panel-body { font-size: 0.95rem; }
.panel-empty {
  color: var(--ink-soft); font-style: italic; font-size: 0.9rem;
}

.ref-group + .ref-group { margin-top: 0.9rem; }
.ref-group h3 {
  font-family: var(--font-display);
  font-size: 0.82rem;
  font-weight: 600;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--accent-soft);
  margin: 0 0 0.35rem 0;
}
.ref-list { list-style: none; padding: 0; margin: 0; }
.ref-list li { margin: 0.25rem 0; }
.ref-link {
  display: block;
  color: var(--ink);
  text-decoration: none;
  padding: 0.35rem 0.55rem;
  border-left: 2px solid var(--rule);
  font-size: 0.95rem;
  border-radius: 0 4px 4px 0;
  transition: border-color 120ms, background 120ms;
}
.ref-link:hover {
  background: color-mix(in srgb, var(--accent) 12%, transparent);
  border-left-color: var(--accent);
}
.ref-link .ref-id {
  font-family: var(--font-mono); font-size: 0.8rem;
  color: var(--cite); margin-right: 0.5rem;
}

/* ======================================
   Main column
   ====================================== */

#center {
  padding: 2rem clamp(1rem, 3vw, 2.5rem) 4rem;
  outline: none;
  max-width: 58rem;
  margin: 0 auto;
  width: 100%;
}
#prop-nav {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  gap: 1rem;
  margin-bottom: 1rem;
  padding-bottom: 1rem;
  border-bottom: 1px solid var(--rule);
}
.nav-arrow {
  background: transparent; border: 1px solid var(--rule);
  color: var(--ink-soft); width: 2.4rem; height: 2.4rem;
  border-radius: 50%; cursor: pointer; font-size: 1.5rem;
  font-family: var(--font-display);
  line-height: 1;
  transition: background 120ms, color 120ms, border-color 120ms, transform 120ms;
}
.nav-arrow:hover:not(:disabled) {
  background: var(--accent); color: var(--bg); border-color: var(--accent);
  transform: scale(1.06);
}
.nav-arrow:disabled { opacity: 0.35; cursor: not-allowed; }

.prop-title-wrap { text-align: center; }
#prop-kind {
  font-family: var(--font-display);
  text-transform: uppercase;
  letter-spacing: 0.18em;
  font-size: 0.82rem;
  color: var(--accent);
}
#prop-title {
  font-family: var(--font-display);
  font-weight: 500;
  font-size: clamp(1.5rem, 3vw, 2.2rem);
  margin: 0.2rem 0 0;
}
.diagram-labels {
  font-family: var(--font-mono);
  font-size: 0.85rem;
  color: var(--ink-soft);
  letter-spacing: 0.2em;
  margin-top: 0.4rem;
}

.enunciation {
  font-size: 1.2rem;
  line-height: 1.7;
  border-left: 3px solid var(--accent);
  padding: 0.9rem 1.1rem;
  margin: 1rem 0 2rem;
  background: color-mix(in srgb, var(--accent) 6%, transparent);
  border-radius: 0 6px 6px 0;
  font-style: italic;
}
.enunciation:empty { display: none; }
body[data-lang="gr"] .enunciation { font-style: normal; }

ol.arguments {
  list-style: none;
  padding: 0;
  margin: 0;
  counter-reset: arg;
}
ol.arguments li.argument {
  counter-increment: arg;
  position: relative;
  padding: 0.75rem 1rem 0.75rem 3rem;
  margin: 0.3rem -1rem;
  border-radius: 6px;
  cursor: pointer;
  transition: background 140ms, transform 140ms;
  scroll-margin-top: 80px;
}
ol.arguments li.argument::before {
  content: counter(arg);
  position: absolute;
  left: 0.75rem;
  top: 0.8rem;
  font-family: var(--font-mono);
  font-size: 0.72rem;
  color: var(--ink-soft);
  width: 1.8rem;
  text-align: right;
  border-right: 1px solid var(--rule);
  padding-right: 0.5rem;
  line-height: 1.4;
}
ol.arguments li.argument:hover {
  background: color-mix(in srgb, var(--accent) 4%, transparent);
}
ol.arguments li.argument.current {
  background: var(--highlight);
  box-shadow: inset 3px 0 0 var(--accent);
}
ol.arguments li.argument.current::before {
  color: var(--accent); border-right-color: var(--accent);
}
ol.arguments li.argument.unclear::after {
  content: '?'; position: absolute; right: 0.7rem; top: 0.7rem;
  font-family: var(--font-display);
  color: var(--unclear);
  font-size: 1.1rem; font-style: italic;
  opacity: 0.8;
}
.role-tag {
  display: inline-block;
  font-family: var(--font-display);
  font-size: 0.65rem;
  text-transform: uppercase;
  letter-spacing: 0.14em;
  color: var(--ink-soft);
  margin-right: 0.5rem;
  padding: 0.1rem 0.5rem;
  border: 1px solid var(--rule);
  border-radius: 999px;
  vertical-align: 0.25em;
}
.role-qed { color: var(--accent); border-color: var(--accent); }
.role-construction { color: var(--cite); border-color: var(--cite); }

.arg-text .fallback-lang {
  color: var(--ink-soft);
  font-style: italic;
  opacity: 0.75;
  border-left: 2px dotted var(--rule);
  padding-left: 0.5rem;
}
.arg-text .cite {
  color: var(--cite);
  font-family: var(--font-mono);
  font-size: 0.8em;
  text-decoration: none;
  white-space: nowrap;
  padding: 2px 5px;
  border-radius: 4px;
  background: color-mix(in srgb, var(--cite) 12%, transparent);
  border: 1px solid color-mix(in srgb, var(--cite) 28%, transparent);
  transition: background 100ms, border-color 100ms;
  line-height: 1;
}
.arg-text .cite:hover {
  background: color-mix(in srgb, var(--cite) 28%, transparent);
  border-color: color-mix(in srgb, var(--cite) 50%, transparent);
  color: var(--cite);
}
.arg-inline-tags {
  display: inline-flex; gap: 0.3rem; flex-wrap: wrap;
  margin-left: 0.5rem; vertical-align: 0.1em;
}
.arg-inline-tag {
  font-family: var(--font-mono); font-size: 0.72em;
  padding: 1px 5px;
  border-radius: 3px;
  background: color-mix(in srgb, var(--accent) 10%, transparent);
  color: var(--accent);
  cursor: pointer;
  border: 1px solid transparent;
  text-decoration: none;
}
.arg-inline-tag:hover { border-color: var(--accent); }
.arg-inline-tag.inferred {
  background: color-mix(in srgb, var(--cite) 12%, transparent);
  color: var(--cite);
  border: 1px dashed color-mix(in srgb, var(--cite) 60%, transparent);
}

#arg-nav {
  display: flex; align-items: center; justify-content: center;
  gap: 1rem; margin-top: 2rem;
  padding-top: 1.25rem; border-top: 1px solid var(--rule);
  font-family: var(--font-display); color: var(--ink-soft);
}
.arg-btn {
  background: transparent; border: 1px solid var(--rule);
  color: var(--ink); padding: 0.45rem 1rem; border-radius: 999px;
  font-family: var(--font-display); cursor: pointer;
  transition: background 120ms, border-color 120ms;
}
.arg-btn:hover { background: var(--panel); border-color: var(--accent); }
#arg-status {
  font-family: var(--font-mono); font-size: 0.85rem;
  letter-spacing: 0.1em;
}

/* ======================================
   Bottom panel
   ====================================== */

#bottom-panel {
  border-top: 1px solid var(--rule);
  background: color-mix(in srgb, var(--panel) 60%, var(--bg));
  padding: 1.25rem clamp(1rem, 3vw, 2rem);
  min-height: 120px;
}
#bottom-panel .panel-head { margin-bottom: 0.75rem; }
#successors { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 0.75rem; }
.succ-card {
  border: 1px solid var(--rule);
  border-left: 3px solid var(--accent-soft);
  padding: 0.6rem 0.8rem;
  border-radius: 4px;
  background: var(--bg);
  text-decoration: none;
  color: var(--ink);
  font-size: 0.92rem;
  transition: border-color 120ms, transform 120ms;
}
.succ-card:hover {
  border-left-color: var(--accent);
  transform: translateX(2px);
}
.succ-card .succ-id {
  font-family: var(--font-mono);
  font-size: 0.76rem;
  color: var(--accent);
  letter-spacing: 0.05em;
}

/* ======================================
   Map view
   ====================================== */

/* Map page: no outer page scroll — all scrolling is inside #map-canvas-wrap */
body[data-view="map"] #site-footer { display: none; }
body[data-view="map"] { overflow: hidden; }

#map-view {
  display: none;
  flex-direction: column;
  height: calc(100vh - 60px);
}
#map-view.active { display: flex; }

#map-canvas-wrap {
  flex: 1;
  display: flex;
  flex-direction: column;
  min-width: 0;
  min-height: 0;
  overflow-y: auto;
  overflow-x: hidden;
}

#map-info-strip {
  padding: 0.55rem 1.25rem;
  border-bottom: 1px solid var(--rule);
  background: var(--bg);
  display: flex;
  align-items: baseline;
  gap: 0.75rem;
  flex-wrap: wrap;
  flex-shrink: 0;
}
#map-info-strip .map-kind {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  color: var(--ink-soft);
  white-space: nowrap;
  flex-shrink: 0;
}
#map-info-strip h1 {
  font-size: 0.95rem;
  font-weight: 500;
  margin: 0;
  font-family: var(--font-serif-en);
}
#map-info-strip .map-selected-text {
  display: none;
}
body[data-lang="gr"] #map-info-strip .map-selected-text { font-style: normal; }
#map-goto-text {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  color: var(--cite);
  text-decoration: none;
  white-space: nowrap;
}
#map-goto-text:hover { text-decoration: underline; }
#map-goto-text[hidden] { display: none; }

.map-kind {
  font-family: var(--font-display);
  text-transform: uppercase;
  letter-spacing: 0.18em;
  font-size: 0.82rem;
  color: var(--accent);
}
.map-selected-text {
  margin: 0; font-size: 0.98rem; color: var(--ink-soft);
  max-width: 60ch;
  font-style: italic;
}
body[data-lang="gr"] .map-selected-text { font-style: normal; }

#map-svg {
  flex: none;
  display: block;
  width: 100%;
  border: none;
  border-top: 1px solid var(--rule);
  border-radius: 0;
  background:
    radial-gradient(circle at 50% 20%, color-mix(in srgb, var(--accent) 4%, transparent), transparent 60%),
    color-mix(in srgb, var(--panel) 30%, var(--bg));
}
#map-svg .edge { stroke: var(--rule); stroke-width: 1; fill: none; }
#map-svg .edge.direct { stroke: var(--accent); stroke-width: 2; opacity: 0.85; }
#map-svg .edge.critical-edge { stroke: var(--ink); stroke-width: 2.2; opacity: 0.45; }
#map-svg .node rect, #map-svg .node circle {
  fill: var(--bg); stroke: var(--rule); stroke-width: 1;
  transition: fill 120ms, stroke 120ms, stroke-width 120ms;
}
#map-svg .node text {
  font-family: var(--font-mono); font-size: 11px; fill: var(--ink);
  dominant-baseline: middle; text-anchor: middle;
  pointer-events: none;
}
#map-svg .node.seed rect, #map-svg .node.seed circle {
  fill: var(--accent); stroke: var(--accent);
}
#map-svg .node.seed text { fill: var(--bg); font-weight: 600; }
#map-svg .node.successor rect, #map-svg .node.successor circle {
  fill: color-mix(in srgb, var(--accent) 25%, var(--bg));
  stroke: var(--accent);
  stroke-width: 1.4;
}
#map-svg .node:hover rect, #map-svg .node:hover circle {
  stroke-width: 2; cursor: pointer;
}
#map-svg .layer-label {
  font-family: var(--font-display); font-size: 11px;
  text-transform: uppercase; letter-spacing: 0.14em;
  fill: var(--ink-soft);
}

/* Foundation nodes: dashed border distinguishes axioms/defs from propositions */
#map-svg .node.def rect,
#map-svg .node.post rect,
#map-svg .node.cn rect { stroke-dasharray: 3 2; }

/* Node selection highlights */
.map-node-selected > rect {
  fill: var(--accent) !important;
  stroke: var(--accent) !important;
  stroke-dasharray: none !important;
}
.map-node-selected > text {
  fill: #fff !important;
}
.map-node-adjacent > rect {
  fill: color-mix(in srgb, var(--accent) 20%, var(--bg)) !important;
  stroke: color-mix(in srgb, var(--accent) 50%, var(--rule)) !important;
  stroke-dasharray: none !important;
}

/* Map hover tooltip */
.map-tooltip {
  position: fixed;
  z-index: 1000;
  pointer-events: none;
  background: var(--panel);
  border: 1px solid var(--panel-edge);
  border-radius: 4px;
  padding: 0.3rem 0.6rem;
  font-family: var(--font-serif-en);
  font-size: 0.8rem;
  color: var(--ink);
  max-width: 320px;
  box-shadow: 0 2px 8px rgba(0,0,0,0.12);
}

/* ======================================
   Footer
   ====================================== */

#site-footer {
  border-top: 1px solid var(--rule);
  padding: 0.9rem clamp(1rem, 3vw, 2rem);
  font-family: var(--font-display);
  font-size: 0.82rem;
  color: var(--ink-soft);
  display: flex;
  gap: 1.5rem; flex-wrap: wrap;
  align-items: center;
  background: color-mix(in srgb, var(--panel) 30%, var(--bg));
}
#site-footer .kbd-hint { margin-left: auto; }
#site-footer kbd {
  font-family: var(--font-mono);
  background: var(--panel); border: 1px solid var(--panel-edge);
  border-bottom-width: 2px;
  border-radius: 3px;
  padding: 0.1rem 0.35rem;
  font-size: 0.78rem;
  color: var(--ink);
}
#site-footer kbd + kbd { margin-left: 2px; }

/* ======================================
   Responsive
   ====================================== */

@media (max-width: 900px) {
  #text-view {
    grid-template-columns: 1fr;
    grid-template-areas: "center" "bottom";
  }
  #top-bar {
    grid-template-columns: auto auto auto;
    grid-template-rows: auto auto;
    gap: 0.5rem;
  }
  .brand-sub { display: none; }
  #site-footer .kbd-hint { display: none; }
}

/* ── Two-column layout: figure beside arguments on wide screens ─ */

/* Default (mobile / medium): stacked — figure above arguments */
.prop-content-grid {
  display: flex;
  flex-direction: column;
}
.prop-figure-col { order: -1; /* sits above main col on narrow screens */ }
.prop-main-col   { order:  0; }

/* Wide screen: side-by-side, figure column is sticky */
@media (min-width: 1100px) {
  .prop-content-grid {
    display: grid;
    grid-template-columns: 1fr minmax(260px, 400px);
    grid-template-areas: "main figure";
    gap: 2.5rem;
    align-items: start;
  }
  .prop-main-col   { grid-area: main; }
  .prop-figure-col {
    grid-area: figure;
    position: sticky;
    top: 5.5rem;   /* clears the sticky top-bar */
    order: 0;
  }
}

/* ── Live figure ─────────────────────────────────────────── */
.prop-figure {
  width: 100%;
  max-width: 520px;
  margin: 0 auto 1.5rem;
  border: 1px solid var(--rule);
  border-radius: 6px;
  background: var(--panel);
  padding: 0.5rem;
  box-sizing: border-box;
}
@media (min-width: 1100px) {
  .prop-figure {
    max-width: 100%;
    margin: 0;
  }
}
.prop-figure[hidden] { display: none; }
.youklid-figure { width: 100%; height: auto; display: block; }

/* Figure element styles */
.fig-segment { stroke: var(--ink); stroke-width: 1.5; fill: none; opacity: 0.85; }
.fig-circle  { stroke: var(--ink); stroke-width: 1;   fill: none; opacity: 0.4; stroke-dasharray: 4 3; }
.fig-polygon { fill: var(--accent); fill-opacity: 0.08; stroke: var(--ink); stroke-width: 1.5; }
.fig-dot     { fill: var(--ink); }
.fig-label   { font-family: var(--font-serif-en); font-size: 13px; fill: var(--ink); font-style: italic; }

/* Label offsets by position */
.fig-label-left       { text-anchor: end;    dominant-baseline: middle; transform: translate(-7px, 0); }
.fig-label-right      { text-anchor: start;  dominant-baseline: middle; transform: translate(7px, 0); }
.fig-label-top        { text-anchor: middle; dominant-baseline: auto;   transform: translate(0, -8px); }
.fig-label-bottom     { text-anchor: middle; dominant-baseline: hanging; transform: translate(0, 8px); }
.fig-label-top-left   { text-anchor: end;    dominant-baseline: auto;   transform: translate(-5px, -5px); }
.fig-label-top-right  { text-anchor: start;  dominant-baseline: auto;   transform: translate(5px, -5px); }
.fig-label-bottom-left  { text-anchor: end;   dominant-baseline: hanging; transform: translate(-5px, 5px); }
.fig-label-bottom-right { text-anchor: start; dominant-baseline: hanging; transform: translate(5px, 5px); }

/* Congruence marks */
.fig-tick line {
  stroke: var(--ink);
  stroke-width: 1.8;
  stroke-linecap: round;
  opacity: 0.9;
}
.fig-arc path {
  stroke: var(--ink);
  stroke-width: 1.4;
  stroke-linecap: round;
  fill: none;
  opacity: 0.85;
}

/* Animation states */
.fig-new  { filter: drop-shadow(0 0 5px var(--accent, #c8a87a)); }
.fig-emph .fig-segment,
.fig-emph .fig-dot     { stroke: var(--accent, #c8a87a); }
.fig-emph .fig-polygon { fill-opacity: 0.18; }
.fig-emph .fig-label   { fill: var(--accent, #c8a87a); font-weight: 600; }
.fig-emph .fig-tick line,
.fig-emph .fig-arc path { stroke: var(--accent, #c8a87a); opacity: 1; }

/* ── Borrowed-axiom marker ───────────────────────────────── */
.has-borrowed-axiom {
  border-left: 3px solid #c8922a;
  background: rgba(200, 146, 42, 0.07);
  border-radius: 0 4px 4px 0;
  padding-left: 0.5rem;
}
[data-theme="dark"] .has-borrowed-axiom {
  border-left-color: #e0aa44;
  background: rgba(224, 170, 68, 0.1);
}
.borrowed-star {
  color: #c8922a;
  font-size: 0.85em;
  margin-left: 0.5rem;
  cursor: pointer;
  flex-shrink: 0;
  background: none;
  border: none;
  padding: 0;
  line-height: inherit;
  font-family: inherit;
  transition: color 100ms, transform 100ms;
}
.borrowed-star:hover { color: #a06010; transform: scale(1.2); }
[data-theme="dark"] .borrowed-star { color: #e0aa44; }
[data-theme="dark"] .borrowed-star:hover { color: #f5c060; }
.borrowed-axiom-note {
  display: inline-block;
  margin-left: 0.4rem;
  padding: 1px 6px;
  font-size: 0.7rem;
  font-family: var(--font-mono, monospace);
  background: rgba(200, 146, 42, 0.15);
  color: #a06818;
  border-radius: 3px;
  vertical-align: middle;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}
[data-theme="dark"] .borrowed-axiom-note {
  background: rgba(224, 170, 68, 0.15);
  color: #d4922c;
}

/* ── Missing-axiom section inside deps popover ──────────────── */
.missing-axiom-section {
  margin-top: 1rem;
  padding: 0.7rem 0.85rem;
  background: color-mix(in srgb, #c8922a 8%, var(--bg));
  border: 1px solid color-mix(in srgb, #c8922a 30%, transparent);
  border-radius: 5px;
}
[data-theme="dark"] .missing-axiom-section {
  background: color-mix(in srgb, #e0aa44 10%, var(--bg));
  border-color: color-mix(in srgb, #e0aa44 30%, transparent);
}
.missing-axiom-title {
  font-family: var(--font-display);
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: #a06010;
  margin: 0 0 0.4rem 0;
}
[data-theme="dark"] .missing-axiom-title { color: #e0aa44; }
.missing-axiom-body {
  font-size: 0.85rem;
  line-height: 1.55;
  color: var(--ink);
  margin: 0 0 0.55rem 0;
}
.missing-axiom-ref {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.76rem;
  color: #a06010;
  text-decoration: none;
  border-bottom: 1px solid currentColor;
  padding-bottom: 1px;
  transition: color 120ms;
}
.missing-axiom-ref:hover { color: var(--accent); }
[data-theme="dark"] .missing-axiom-ref { color: #e0aa44; }
[data-theme="dark"] .missing-axiom-ref:hover { color: #f5c060; }

/* ── Fitzpatrick note section inside deps popover ───────────── */
.fitz-section {
  margin-top: 1rem;
  padding: 0.7rem 0.85rem;
  background: color-mix(in srgb, var(--ink) 4%, var(--bg));
  border: 1px solid var(--rule);
  border-radius: 5px;
}
.fitz-section-title {
  font-family: var(--font-display);
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--ink-soft);
  margin: 0 0 0.4rem 0;
}
.fitz-section-body {
  font-size: 0.85rem;
  line-height: 1.55;
  color: var(--ink);
  margin: 0;
  font-style: italic;
}

/* ── Fitzpatrick footnote markers ─────────────────────────── */
.fitz-marker {
  display: inline;
  background: none;
  border: none;
  padding: 0 1px;
  font-size: 0.8em;
  vertical-align: super;
  color: var(--accent-soft);
  cursor: pointer;
  line-height: 1;
  font-family: var(--font-serif-en);
}
.fitz-marker:hover { color: var(--accent); text-decoration: underline; }

.fitz-popover {
  display: inline-block;
  position: relative;
  margin-left: 0.25rem;
  padding: 0.35rem 0.6rem;
  background: var(--panel);
  border: 1px solid var(--rule);
  border-left: 3px solid var(--accent-soft);
  border-radius: 4px;
  font-size: 0.78rem;
  line-height: 1.45;
  color: var(--ink-soft);
  max-width: 34ch;
  vertical-align: top;
  box-shadow: var(--shadow-soft);
  z-index: 10;
  white-space: normal;
}
.fitz-pop-sym {
  color: var(--accent-soft);
  font-family: var(--font-serif-en);
  margin-right: 0.3rem;
}

.prop-enunciation-note {
  margin: 0.4rem 0 0;
  padding: 0.3rem 0.6rem;
  border-left: 3px solid var(--accent-soft);
  font-size: 0.78rem;
  color: var(--ink-soft);
  line-height: 1.5;
  background: color-mix(in srgb, var(--panel) 60%, transparent);
  border-radius: 0 4px 4px 0;
}
.prop-enunciation-note[hidden] { display: none; }

/* ── Foundations page (prop 0) ────────────────────────────── */
.foundations-header {
  list-style: none;
  font-family: var(--font-serif-en);
  font-size: 0.72rem;
  font-weight: 600;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--ink-soft);
  padding: 1.4rem 0 0.3rem;
  border-bottom: 1px solid var(--rule);
  margin-bottom: 0.2rem;
}
.foundations-header:first-child { padding-top: 0.2rem; }

.foundations-item {
  display: flex;
  align-items: baseline;
  gap: 0.75rem;
}
.found-num {
  flex: 0 0 4.5rem;
  font-size: 0.72rem;
  font-family: var(--font-mono);
  color: var(--ink-soft);
  white-space: nowrap;
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation: none !important; transition: none !important; }
}