@font-face {
  font-family: "et-book";
  src: url("https://gabriel-uzquiano.github.io/logic/libs/tufte-css-2015.12.29/et-book/roman-line-figures.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "et-book";
  src: url("https://gabriel-uzquiano.github.io/logic/libs/tufte-css-2015.12.29/et-book/display-italic-old-style-figures.ttf") format("truetype");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "et-book";
  src: url("https://gabriel-uzquiano.github.io/logic/libs/tufte-css-2015.12.29/et-book/bold-line-figures.ttf") format("truetype");
  font-weight: bold;
  font-style: normal;
}

/* ─── Design tokens — Uzquiano course palette ─────────────────── */
:root, [data-theme="light"] {
  --text-xs:   clamp(0.75rem,  0.7rem  + 0.25vw, 0.875rem);
  --text-sm:   clamp(0.875rem, 0.8rem  + 0.35vw, 1rem);
  --text-base: clamp(1rem,     0.95rem + 0.25vw, 1.125rem);
  --text-lg:   clamp(1.125rem, 1rem    + 0.75vw, 1.5rem);
  --text-xl:   clamp(1.5rem,   1.2rem  + 1.25vw, 2.25rem);

  --space-1: 0.25rem;
  --space-2: 0.5rem;
  --space-3: 0.75rem;
  --space-4: 1rem;
  --space-5: 1.25rem;
  --space-6: 1.5rem;
  --space-8: 2rem;

  /* Course colors — white page, charcoal nav, maroon/teal accents */
  --color-bg:             #ffffff;
  --color-surface:        #fafaf8;
  --color-surface-2:      #ffffff;
  --color-surface-offset: #f5f3ef;
  --color-border:         #ddd8ce;
  --color-divider:        #e8e4dd;

  --color-text:         #111111;
  --color-text-muted:   #555550;
  --color-text-faint:   #aaa8a2;
  --color-text-inverse: #ffffff;

  /* Primary — maroon, matching course definition block borders */
  --color-primary:           #7a1a3a;
  --color-primary-hover:     #5e1229;
  --color-primary-active:    #420c1c;
  --color-primary-highlight: #f5e8ec;

  /* Secondary accent — teal, matching course example blocks */
  --color-teal:           #006666;
  --color-teal-hover:     #004d4d;
  --color-teal-highlight: #e0f2f1;

  /* True / False verdict */
  --color-true:        #2e7d32;
  --color-true-bg:     #f1f8e9;
  --color-true-border: #a5d6a7;
  --color-false:       #b71c1c;
  --color-false-bg:    #fce8e8;
  --color-false-border:#ef9a9a;

  /* Graph relation color */
  --color-relation: #006666;

  /* Header — course charcoal */
  --color-header-bg:   #2c2c2c;
  --color-header-text: #ffffff;
  --color-header-accent: #0fa1e0;

  --radius-sm:   0.25rem;
  --radius-md:   0.375rem;
  --radius-lg:   0.5rem;
  --radius-full: 9999px;
  --transition:  160ms cubic-bezier(0.16, 1, 0.3, 1);
  --shadow-sm:   0 1px 3px rgba(0,0,0,0.06);
  --shadow-md:   0 4px 12px rgba(0,0,0,0.08);

  --font-body:    'et-book', 'Palatino Linotype', 'Book Antiqua', Palatino, Georgia, serif;
  --font-mono:    'Consolas', 'Liberation Mono', Menlo, Courier, monospace;
  --font-sans:    'Gill Sans', 'Gill Sans MT', Calibri, sans-serif;
}

[data-theme="dark"] {
  --color-bg:              #16140f;
  --color-surface:         #1c1a14;
  --color-surface-2:       #211f19;
  --color-surface-offset:  #27251e;
  --color-border:          #3a3830;
  --color-divider:         #2e2c25;
  --color-text:            #d8d4cc;
  --color-text-muted:      #7e7a72;
  --color-text-faint:      #525049;
  --color-text-inverse:    #111111;
  --color-primary:         #e8779a;
  --color-primary-hover:   #d45a80;
  --color-primary-active:  #bd3d66;
  --color-primary-highlight: #3a1e26;
  --color-teal:            #4db6ac;
  --color-teal-hover:      #26a69a;
  --color-teal-highlight:  #1a302e;
  --color-true:            #66bb6a;
  --color-true-bg:         #1a2e1b;
  --color-true-border:     #2e5430;
  --color-false:           #ef5350;
  --color-false-bg:        #2d1414;
  --color-false-border:    #5c2828;
  --color-relation:        #4db6ac;
  --color-header-bg:       #1a1a1a;
  --color-header-text:     #e8e4dc;
  --color-header-accent:   #31b7f1;
  --shadow-sm: 0 1px 3px rgba(0,0,0,0.3);
  --shadow-md: 0 4px 12px rgba(0,0,0,0.4);
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme]) {
    --color-bg:              #16140f;
    --color-surface:         #1c1a14;
    --color-surface-2:       #211f19;
    --color-surface-offset:  #27251e;
    --color-border:          #3a3830;
    --color-divider:         #2e2c25;
    --color-text:            #d8d4cc;
    --color-text-muted:      #7e7a72;
    --color-text-faint:      #525049;
    --color-text-inverse:    #111111;
    --color-primary:         #e8779a;
    --color-primary-hover:   #d45a80;
    --color-primary-active:  #bd3d66;
    --color-primary-highlight: #3a1e26;
    --color-teal:            #4db6ac;
    --color-teal-hover:      #26a69a;
    --color-teal-highlight:  #1a302e;
    --color-true:            #66bb6a;
    --color-true-bg:         #1a2e1b;
    --color-true-border:     #2e5430;
    --color-false:           #ef5350;
    --color-false-bg:        #2d1414;
    --color-false-border:    #5c2828;
    --color-relation:        #4db6ac;
    --color-header-bg:       #1a1a1a;
    --color-header-text:     #e8e4dc;
    --color-header-accent:   #31b7f1;
    --shadow-sm: 0 1px 3px rgba(0,0,0,0.3);
    --shadow-md: 0 4px 12px rgba(0,0,0,0.4);
  }
}

/* ─── Base reset ──────────────────────────────────────────────── */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { -webkit-font-smoothing: antialiased; scroll-behavior: smooth; }
body {
  font-family: var(--font-body);
  font-size: var(--text-base);
  color: var(--color-text);
  background: var(--color-bg);
  min-height: 100dvh;
  line-height: 1.65;
}
code, .mono { font-family: var(--font-mono); }
button { cursor: pointer; background: none; border: none; font: inherit; color: inherit; }
input, select { font: inherit; color: inherit; }
::selection { background: var(--color-primary-highlight); color: var(--color-text); }
:focus-visible { outline: 2px solid var(--color-primary); outline-offset: 2px; border-radius: var(--radius-sm); }

/* ─── Header — minimal, matches course page white style ────────── */
.app-header {
  background: var(--color-bg);
  border-bottom: 1px solid var(--color-border);
  position: sticky;
  top: 0;
  z-index: 100;
}
.header-inner {
  max-width: 1200px;
  margin: 0 auto;
  padding: var(--space-3) var(--space-6);
  display: flex;
  align-items: baseline;
  justify-content: space-between;
}
.logo {
  display: flex;
  align-items: baseline;
  gap: var(--space-3);
}
.logo-text {
  font-size: var(--text-lg);
  font-weight: normal;
  font-style: italic;
  color: var(--color-text);
  font-family: var(--font-body);
  letter-spacing: 0;
}
.logo-subtitle {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  font-family: var(--font-sans);
}
.header-right { display: flex; align-items: center; gap: var(--space-5); }
.help-link {
  font-size: var(--text-sm);
  font-family: var(--font-sans);
  color: var(--color-text-muted);
  text-decoration: none;
  transition: color var(--transition);
}
.help-link:hover { color: var(--color-primary); }
.theme-toggle {
  width: 32px; height: 32px;
  display: flex; align-items: center; justify-content: center;
  border-radius: var(--radius-full);
  color: var(--color-text-muted);
  transition: background var(--transition), color var(--transition);
}
.theme-toggle:hover { background: var(--color-surface-offset); color: var(--color-text); }

/* ─── Help Panel ──────────────────────────────────────────────── */
.help-panel {
  background: var(--color-surface);
  border-bottom: 1px solid var(--color-border);
  padding: var(--space-6);
}
.help-inner { max-width: 1200px; margin: 0 auto; }
.help-panel h2 {
  font-size: var(--text-lg);
  font-weight: normal;
  font-style: italic;
  margin-bottom: var(--space-4);
  color: var(--color-primary);
}
.help-panel h3 {
  font-size: var(--text-sm);
  font-weight: 600;
  font-family: var(--font-sans);
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--color-text-muted);
  margin-bottom: var(--space-2);
}
.help-grid { display: grid; grid-template-columns: 1fr 1fr; gap: var(--space-8); }
@media (max-width: 640px) { .help-grid { grid-template-columns: 1fr; } }
.help-table { width: 100%; border-collapse: collapse; font-size: var(--text-sm); }
.help-table th {
  text-align: left;
  padding: var(--space-2) var(--space-3);
  border-bottom: 2px solid var(--color-border);
  color: var(--color-text-muted);
  font-weight: 600;
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}
.help-table td { padding: var(--space-2) var(--space-3); border-bottom: 1px solid var(--color-divider); }
.example-list { list-style: none; display: flex; flex-direction: column; gap: var(--space-2); font-size: var(--text-sm); }
.example-list code { font-size: 0.9em; }
.close-help { margin-top: var(--space-5); }

/* ─── Main layout ─────────────────────────────────────────────── */
.app-main {
  max-width: 1200px;
  margin: 0 auto;
  padding: var(--space-6);
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--space-5);
  align-items: start;
}
@media (max-width: 860px) { .app-main { grid-template-columns: 1fr; } }

/* ─── Cards — clean academic book style ──────────────────────── */
.card {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  padding: var(--space-5);
  box-shadow: var(--shadow-sm);
  display: flex;
  flex-direction: column;
  gap: var(--space-4);
}
.col-left, .col-right { display: flex; flex-direction: column; gap: var(--space-5); }
.card-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--space-3);
  flex-wrap: wrap;
  border-bottom: 1px solid var(--color-divider);
  padding-bottom: var(--space-3);
}
.section-title {
  font-size: var(--text-base);
  font-weight: normal;
  font-style: italic;
  letter-spacing: 0;
  color: var(--color-primary);
}
.card-subtitle { font-size: var(--text-xs); color: var(--color-text-muted); font-family: var(--font-sans); }

/* ─── Symbol toolbar ──────────────────────────────────────────── */
.input-toolbar { display: flex; gap: var(--space-1); flex-wrap: wrap; }
.sym-btn {
  font-family: var(--font-body);
  font-size: var(--text-base);
  line-height: 1;
  padding: 3px var(--space-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-sm);
  background: var(--color-surface-2);
  color: var(--color-primary);
  transition: background var(--transition), border-color var(--transition);
}
.sym-btn:hover { background: var(--color-primary-highlight); border-color: var(--color-primary); }

/* ─── Formula input ───────────────────────────────────────────── */
.formula-input-wrap { position: relative; }
.formula-input {
  width: 100%;
  padding: var(--space-3) var(--space-4);
  font-family: var(--font-mono);
  font-size: var(--text-base);
  background: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  transition: border-color var(--transition), box-shadow var(--transition);
}
.formula-input:focus {
  outline: none;
  border-color: var(--color-primary);
  box-shadow: 0 0 0 3px var(--color-primary-highlight);
}
.formula-input.valid { border-color: var(--color-teal); }
.formula-input.invalid { border-color: var(--color-false); }

.parse-status {
  margin-top: var(--space-2);
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  min-height: 1.4em;
  font-family: var(--font-body);
  font-style: italic;
}
.parse-status.ok  { color: var(--color-teal); }
.parse-status.err { color: var(--color-false); font-style: normal; font-family: var(--font-mono); font-size: var(--text-xs); }

/* ─── Formula slots (multi-formula) ─────────────────────────── */
.formula-slot {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: start;
  gap: var(--space-3);
  padding: var(--space-3) 0;
  border-bottom: 1px solid var(--color-divider);
}
.formula-slot:last-child { border-bottom: none; }
.slot-label {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-base);
  color: var(--color-text-muted);
  padding-top: 10px;
  min-width: 2rem;
}
.formula-slot .formula-input-wrap { position: relative; }
.slot-remove {
  margin-top: 8px;
  color: var(--color-text-faint);
  padding: 4px;
  border-radius: var(--radius-sm);
}
.slot-remove:hover { color: var(--color-false); background: var(--color-false-bg); }
.formula-add-row { padding: var(--space-2) 0 0; display: flex; }
.btn-icon { padding: 4px 6px; min-width: 0; }

/* ─── Example chips ───────────────────────────────────────────── */
.formula-examples { display: flex; align-items: center; gap: var(--space-2); flex-wrap: wrap; }
.examples-label { font-size: var(--text-xs); color: var(--color-text-muted); font-family: var(--font-sans); flex-shrink: 0; }
.example-chip {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  padding: 2px var(--space-3);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-full);
  background: transparent;
  color: var(--color-text-muted);
  transition: all var(--transition);
}
.example-chip:hover { border-color: var(--color-teal); color: var(--color-teal); background: var(--color-teal-highlight); }

/* ─── Form fields ─────────────────────────────────────────────── */
.field-group { display: flex; flex-direction: column; gap: var(--space-2); }
.field-group[hidden] { display: none; }
.field-label { font-size: var(--text-sm); font-weight: 600; font-family: var(--font-sans); color: var(--color-text); letter-spacing: 0.01em; }
.field-hint { font-weight: 400; font-style: normal; color: var(--color-text-muted); font-family: var(--font-sans); font-size: var(--text-xs); }
.field-hint code { font-style: normal; font-family: var(--font-mono); }
.text-input {
  width: 100%;
  padding: var(--space-2) var(--space-3);
  background: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  font-size: var(--text-sm);
  transition: border-color var(--transition), box-shadow var(--transition);
}
.text-input:focus { outline: none; border-color: var(--color-primary); box-shadow: 0 0 0 3px var(--color-primary-highlight); }

/* ─── Domain tags ─────────────────────────────────────────────── */
.domain-tags { display: flex; gap: var(--space-2); flex-wrap: wrap; }
.domain-tag {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  padding: 2px var(--space-3);
  border-radius: var(--radius-full);
  background: var(--color-teal-highlight);
  color: var(--color-teal);
  border: 1px solid var(--color-teal);
  font-weight: 500;
}

/* ─── Constants grid ──────────────────────────────────────────── */
.constants-grid { display: flex; flex-wrap: wrap; gap: var(--space-3); }
.constant-row { display: flex; align-items: center; gap: var(--space-2); }
.constant-name {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-base);
  font-weight: normal;
  color: var(--color-primary);
  min-width: 24px;
}
.constant-interp {
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  margin-right: 2px;
}
.constant-select {
  padding: var(--space-1) var(--space-2);
  background: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-sm);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  cursor: pointer;
  transition: border-color var(--transition);
}
.constant-select:focus { outline: none; border-color: var(--color-primary); }

/* ─── Predicate / relation grids ────────────────────────────────*/
.predicate-block, .relation-block { margin-bottom: var(--space-4); }
.predicate-block:last-child, .relation-block:last-child { margin-bottom: 0; }
.predicate-name {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-sm);
  font-weight: normal;
  color: var(--color-teal);
  margin-bottom: var(--space-2);
}
.predicate-arity {
  font-style: normal;
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  margin-left: var(--space-2);
}
.checkbox-grid { display: flex; flex-wrap: wrap; gap: var(--space-2); }
.checkbox-item {
  display: flex; align-items: center; gap: var(--space-1);
  cursor: pointer;
  padding: 2px var(--space-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-sm);
  background: var(--color-surface-2);
  transition: all var(--transition);
  font-size: var(--text-sm);
  font-family: var(--font-mono);
  user-select: none;
}
.checkbox-item:hover { border-color: var(--color-teal); background: var(--color-teal-highlight); }
.checkbox-item input[type="checkbox"] { accent-color: var(--color-teal); width: 13px; height: 13px; }
.checkbox-item.checked { background: var(--color-teal-highlight); border-color: var(--color-teal); color: var(--color-teal); }

/* ─── Eval button ─────────────────────────────────────────────── */
.eval-row { display: flex; justify-content: flex-end; margin-top: var(--space-2); }
.btn {
  display: inline-flex; align-items: center; justify-content: center; gap: var(--space-2);
  padding: var(--space-2) var(--space-5);
  border-radius: var(--radius-sm);
  font-size: var(--text-sm);
  font-family: var(--font-sans);
  font-weight: 600;
  letter-spacing: 0.02em;
  transition: all var(--transition);
  white-space: nowrap;
}
.btn-primary {
  background: var(--color-primary);
  color: #fff;
  border: 1px solid var(--color-primary);
}
.btn-primary:hover { background: var(--color-primary-hover); border-color: var(--color-primary-hover); }
.btn-ghost {
  background: transparent;
  color: var(--color-text-muted);
  border: 1px solid var(--color-border);
}
.btn-ghost:hover { border-color: var(--color-text-muted); color: var(--color-text); background: var(--color-surface-offset); }
.btn-sm { padding: 2px var(--space-3); font-size: var(--text-xs); }

/* ─── Graph ───────────────────────────────────────────────────── */
.graph-container {
  width: 100%; height: 420px;
  background: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  position: relative; overflow: hidden;
  user-select: none;
}
.graph-empty {
  position: absolute; inset: 0;
  display: flex; flex-direction: column; align-items: center; justify-content: center;
  gap: var(--space-3);
  color: var(--color-text-faint);
  font-size: var(--text-sm);
  font-style: italic;
  font-family: var(--font-body);
}
.graph-empty p { max-width: 22ch; text-align: center; }
#graph-svg { position: absolute; inset: 0; }

:root { --color-node-fill: var(--color-surface); }
[data-theme="dark"] { --color-node-fill: var(--color-surface-2); }

.graph-node-circle {
  stroke: var(--color-teal);
  stroke-width: 1.5;
  cursor: grab;
  transition: filter 0.12s ease;
}
.graph-node-circle:active { cursor: grabbing; }
.graph-node-group:hover .graph-node-circle {
  filter: brightness(0.92);
}
.graph-node-label {
  font-family: var(--font-mono);
  font-size: 13px;
  font-weight: 600;
  fill: var(--color-teal);
  text-anchor: middle;
  dominant-baseline: central;
  pointer-events: none;
}
.graph-pred-label {
  font-family: var(--font-mono);
  font-size: 10px;
  fill: var(--color-text-muted);
  text-anchor: middle;
  dominant-baseline: auto;
  pointer-events: none;
}
.graph-const-label {
  font-family: var(--font-body);
  font-style: italic;
  font-size: 10px;
  fill: var(--color-primary);
  text-anchor: middle;
  dominant-baseline: auto;
  pointer-events: none;
}
.graph-edge {
  stroke-width: 1.5;
  fill: none;
  opacity: 0.75;
}
.graph-edge-label {
  font-family: var(--font-body);
  font-style: italic;
  font-size: 11px;
  text-anchor: middle;
}
.graph-self-loop {
  stroke-width: 1.8;
  fill: none;
  opacity: 0.75;
}

.graph-legend { border-top: 1px solid var(--color-divider); padding-top: var(--space-3); }
#legend-items { display: flex; flex-wrap: wrap; gap: var(--space-3) var(--space-5); font-size: var(--text-xs); font-family: var(--font-sans); }
.legend-item { display: flex; align-items: center; gap: var(--space-2); }
.legend-dot { width: 10px; height: 10px; border-radius: 50%; flex-shrink: 0; }
.legend-line { width: 20px; height: 2px; border-radius: 1px; flex-shrink: 0; }
.legend-nary-note {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  font-style: italic;
  padding-top: 2px;
}

/* ─── Result card — teal left border (course "example" style) ─── */
.result-card {
  gap: var(--space-4);
  border-left: 4px solid var(--color-teal);
}

/* Per-formula result block */
.result-block {
  display: flex;
  flex-direction: column;
  gap: var(--space-2);
  padding-bottom: var(--space-4);
  border-bottom: 1px solid var(--color-divider);
}
.result-block:last-of-type { border-bottom: none; padding-bottom: 0; }

.result-block-header {
  display: flex;
  align-items: baseline;
  gap: var(--space-3);
}
.result-block-label {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-base);
  color: var(--color-text-muted);
  flex-shrink: 0;
  min-width: 1.8rem;
}
.result-block-formula {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-base);
  flex: 1;
  word-break: break-word;
}
.verdict-badge {
  display: inline-flex; align-items: center; justify-content: center;
  width: 24px; height: 24px; border-radius: 50%;
  font-size: var(--text-xs); flex-shrink: 0;
  font-style: normal; font-family: var(--font-sans); font-weight: 700;
}
.verdict-badge.true  { background: var(--color-true-bg);  color: var(--color-true);  border: 1px solid var(--color-true-border); }
.verdict-badge.false { background: var(--color-false-bg); color: var(--color-false); border: 1px solid var(--color-false-border); }

.steps-toggle-btn { align-self: flex-start; }

/* Assignment note shown under open-formula result header */
.assign-note {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  font-family: var(--font-mono, monospace);
  margin-bottom: var(--space-2);
  padding: var(--space-1) var(--space-2);
  background: var(--color-surface-alt, var(--color-surface));
  border-radius: var(--radius-sm, 4px);
  border-left: 2px solid var(--color-primary);
  display: inline-block;
}

/* Consistency summary */
.consistency-verdict {
  font-family: var(--font-body);
  font-style: italic;
  font-size: var(--text-base);
  padding: var(--space-3) var(--space-4);
  border-radius: var(--radius-sm);
  margin-top: var(--space-2);
}
.consistency-true  { background: var(--color-true-bg);  color: var(--color-true);  border: 1px solid var(--color-true-border); }
.consistency-false { background: var(--color-false-bg); color: var(--color-false); border: 1px solid var(--color-false-border); }


/* ─── Step-by-step evaluation ────────────────────────────────── */
.steps-container {
  display: flex; flex-direction: column; gap: var(--space-2);
  border-top: 1px solid var(--color-divider);
  padding-top: var(--space-3);
  max-height: 400px; overflow-y: auto;
}
.steps-container[hidden] { display: none; }
.step {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: start;
  gap: var(--space-3);
  padding: var(--space-2) var(--space-3);
  border-radius: var(--radius-sm);
  background: var(--color-surface-2);
  border: 1px solid var(--color-divider);
  font-size: var(--text-xs);
}
.step-depth { color: var(--color-text-faint); font-family: var(--font-sans); padding-top: 1px; font-size: 10px; }
.step-formula { font-family: var(--font-body); font-style: italic; word-break: break-all; line-height: 1.5; }
.step-reason { color: var(--color-text-muted); font-size: 10px; padding-top: 2px; font-family: var(--font-sans); }
.step-value {
  font-family: var(--font-sans); font-weight: 700; font-style: normal;
  font-size: var(--text-xs); flex-shrink: 0;
  padding: 1px 6px; border-radius: var(--radius-sm);
}
.step-value.true    { color: var(--color-true);  background: var(--color-true-bg); }
.step-value.false   { color: var(--color-false); background: var(--color-false-bg); }
.step-value.neutral { display: none; }
.step.step-header {
  background: var(--color-surface-offset);
  border-color: var(--color-border);
  font-style: italic;
}

/* Rule-name header rows inside derivation trees */
.step.step-rule-header {
  background: transparent;
  border: none;
  padding: 4px 0 1px;
  gap: var(--space-1);
  align-items: center;
}
.step-rule-label {
  font-family: var(--font-sans);
  font-size: 10px;
  font-weight: 600;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--color-primary);
  opacity: 0.75;
}

/* Share / copy-link button in header */
.share-btn {
  display: flex;
  align-items: center;
  gap: 5px;
  font-size: var(--text-xs);
  padding: 4px 10px;
  border-radius: var(--radius-sm);
  white-space: nowrap;
}

/* ─── Error card — maroon left border (course "warning" style) ── */
.error-card {
  flex-direction: row; align-items: flex-start; gap: var(--space-3);
  border-left: 4px solid var(--color-primary);
  background: var(--color-primary-highlight);
  border-color: var(--color-border);
  border-left-color: var(--color-primary);
}
.error-icon { font-size: var(--text-lg); flex-shrink: 0; color: var(--color-primary); }
.error-msg { font-size: var(--text-sm); color: var(--color-primary); font-family: var(--font-sans); line-height: 1.5; }

/* ─── Model spec section headers (maroon, matching definitions) ─ */
.model-section-heading {
  font-size: var(--text-sm);
  font-family: var(--font-sans);
  font-weight: 700;
  color: var(--color-text);
  letter-spacing: 0.02em;
  border-left: 3px solid var(--color-primary);
  padding-left: var(--space-2);
  margin-bottom: var(--space-1);
}

/* ─── Scrollbar ───────────────────────────────────────────────── */
.steps-container::-webkit-scrollbar { width: 4px; }
.steps-container::-webkit-scrollbar-track { background: transparent; }
.steps-container::-webkit-scrollbar-thumb { background: var(--color-border); border-radius: 2px; }

/* ── Card mode (single-card iframe embed) ───────────────────────────────────── */
body.card-mode {
  padding: 0;
  background: transparent;
}

body.card-mode .app-main {
  padding: 0.5rem 0.75rem 0.75rem;
  gap: var(--space-4);
}

body.card-mode .card {
  box-shadow: none;
  border: 1px solid var(--border);
  border-radius: 6px;
}

body.card-mode .graph-container {
  height: calc(100vh - 3rem);
  min-height: 120px;
}