/* =========================================================================
   Discrete Maths for Nisha — the single shared look.
   Restyling is ONE file: every colour, space, radius and font is a token below.
   Light/dark are the same variables re-bound under [data-theme].
   ========================================================================= */

/* ---- Vendored UI font (Inter variable, offline) ------------------------- */
@font-face {
  font-family: "Inter var";
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url("fonts/InterVariable.woff2") format("woff2");
}
@font-face {
  font-family: "Inter var";
  font-style: italic;
  font-weight: 100 900;
  font-display: swap;
  src: url("fonts/InterVariable-Italic.woff2") format("woff2");
}

/* ---- Design tokens ------------------------------------------------------ */
:root {
  /* type */
  --font-ui: "Inter var", Inter, system-ui, -apple-system, "Segoe UI", sans-serif;
  --font-body: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia,
    "Times New Roman", serif;
  --font-mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --measure: 68ch;

  /* spacing scale */
  --s1: 4px;  --s2: 8px;  --s3: 12px; --s4: 16px;
  --s5: 24px; --s6: 32px; --s7: 48px; --s8: 72px;

  /* radius */
  --r-sm: 9px; --r: 13px; --r-lg: 20px; --r-pill: 999px;

  /* motion */
  --ease: cubic-bezier(.22, .61, .36, 1);
  --fast: 140ms; --med: 240ms; --slow: 420ms;

  /* light palette (default) */
  --paper: #f7f3ec;
  --surface: #fffdf8;
  --surface-2: #efe8db;
  --ink: #221f19;
  --ink-soft: #5b544a;
  --ink-faint: #968d7e;
  --border: #e6ddcd;
  --border-strong: #d8ccb7;

  --accent: #3a6ea5;
  --accent-ink: #2c557e;
  --accent-wash: rgba(58, 110, 165, .10);
  --accent-line: rgba(58, 110, 165, .34);

  --further: #9a6a2c;
  --further-ink: #7e561f;
  --further-wash: rgba(154, 106, 44, .09);
  --further-line: rgba(154, 106, 44, .32);

  --good: #2f8f5b;
  --bad: #c0492f;
  --good-wash: rgba(47, 143, 91, .12);
  --bad-wash: rgba(192, 73, 47, .12);

  --shadow-1: 0 1px 2px rgba(34, 26, 12, .05), 0 4px 14px rgba(34, 26, 12, .055);
  --shadow-2: 0 2px 6px rgba(34, 26, 12, .07), 0 14px 34px rgba(34, 26, 12, .09);

  --rail-w: 286px;
}

[data-theme="dark"] {
  --paper: #15130f;
  --surface: #1e1b15;
  --surface-2: #28231a;
  --ink: #ece5d8;
  --ink-soft: #b6ad9d;
  --ink-faint: #8a8173;
  --border: #332d22;
  --border-strong: #443c2e;

  --accent: #7fb0e4;
  --accent-ink: #a9ccf2;
  --accent-wash: rgba(127, 176, 228, .13);
  --accent-line: rgba(127, 176, 228, .40);

  --further: #d6a85f;
  --further-ink: #e6c186;
  --further-wash: rgba(214, 168, 95, .12);
  --further-line: rgba(214, 168, 95, .40);

  --good: #5cc183;
  --bad: #e0805f;
  --good-wash: rgba(92, 193, 131, .15);
  --bad-wash: rgba(224, 128, 95, .15);

  --shadow-1: 0 1px 2px rgba(0, 0, 0, .35), 0 6px 18px rgba(0, 0, 0, .35);
  --shadow-2: 0 2px 8px rgba(0, 0, 0, .42), 0 18px 40px rgba(0, 0, 0, .5);
}

/* ---- Reset-ish ---------------------------------------------------------- */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  font-family: var(--font-ui);
  background: var(--paper);
  color: var(--ink);
  line-height: 1.6;
  font-size: 17px;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
  transition: background var(--med) var(--ease), color var(--med) var(--ease);
}
a { color: var(--accent-ink); text-underline-offset: 2px; }
button { font-family: inherit; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }

/* =========================================================================
   App frame: rail + main
   ========================================================================= */
.app { display: grid; grid-template-columns: var(--rail-w) 1fr; min-height: 100vh; }

/* ---- Left rail ---------------------------------------------------------- */
.rail {
  position: sticky; top: 0; align-self: start;
  height: 100vh; overflow-y: auto;
  background: var(--surface);
  border-right: 1px solid var(--border);
  padding: var(--s5) var(--s4);
  display: flex; flex-direction: column; gap: var(--s5);
}
.brand { display: flex; align-items: baseline; gap: var(--s2); }
.brand__mark {
  font-weight: 700; letter-spacing: -.02em; font-size: 1.05rem; color: var(--ink);
}
.brand__sub { font-size: .72rem; color: var(--ink-faint); letter-spacing: .04em; text-transform: uppercase; }

.continue-mini {
  display: block; text-decoration: none; color: inherit;
  background: var(--accent-wash); border: 1px solid var(--accent-line);
  border-radius: var(--r); padding: var(--s3) var(--s4);
  transition: transform var(--fast) var(--ease), box-shadow var(--fast) var(--ease);
}
.continue-mini:hover { transform: translateY(-1px); box-shadow: var(--shadow-1); }
.continue-mini__k { font-size: .68rem; text-transform: uppercase; letter-spacing: .07em; color: var(--accent-ink); }
.continue-mini__v { font-weight: 600; margin-top: 2px; }

.nav { display: flex; flex-direction: column; gap: 2px; }
.nav__head { font-size: .7rem; text-transform: uppercase; letter-spacing: .08em; color: var(--ink-faint); margin: 0 0 var(--s2) var(--s2); }
.nav__item {
  display: grid; grid-template-columns: 1fr auto; align-items: center; gap: var(--s3);
  width: 100%; text-align: left; cursor: pointer;
  background: none; border: 1px solid transparent; color: var(--ink-soft);
  border-radius: var(--r-sm); padding: var(--s3) var(--s3);
  font-size: .92rem; transition: background var(--fast) var(--ease), color var(--fast) var(--ease);
}
.nav__item:hover { background: var(--surface-2); color: var(--ink); }
.nav__item[aria-current="page"] { background: var(--accent-wash); color: var(--ink); font-weight: 600; }
.nav__item .meter { width: 56px; }
.nav__num { color: var(--ink-faint); font-variant-numeric: tabular-nums; font-size: .8rem; }

.rail__foot { margin-top: auto; display: flex; flex-direction: column; gap: var(--s3); }
.rail__progress-controls { display: flex; gap: var(--s2); }

/* segmented mastery meter (calm, not a score) */
.meter { display: flex; gap: 3px; }
.meter__seg { height: 6px; flex: 1; border-radius: var(--r-pill); background: var(--surface-2); border: 1px solid var(--border); }
.meter__seg.on { background: var(--accent); border-color: var(--accent); }

/* ---- Top bar ------------------------------------------------------------ */
.main { display: flex; flex-direction: column; min-width: 0; }
.topbar {
  position: sticky; top: 0; z-index: 20;
  display: flex; align-items: center; gap: var(--s4);
  padding: var(--s3) var(--s5);
  background: color-mix(in srgb, var(--paper) 86%, transparent);
  backdrop-filter: saturate(140%) blur(10px);
  border-bottom: 1px solid var(--border);
}
.topbar__title { font-weight: 650; letter-spacing: -.01em; }
.topbar__sub { color: var(--ink-faint); font-size: .85rem; }
.topbar__spacer { flex: 1; }
.topbar__progress { display: flex; align-items: center; gap: var(--s3); color: var(--ink-soft); font-size: .82rem; }
.topbar__bar { width: 120px; height: 6px; border-radius: var(--r-pill); background: var(--surface-2); overflow: hidden; }
.topbar__bar > i { display: block; height: 100%; width: 0%; background: var(--accent); transition: width var(--slow) var(--ease); }

.iconbtn {
  display: inline-grid; place-items: center; width: 38px; height: 38px;
  border-radius: var(--r-sm); border: 1px solid var(--border);
  background: var(--surface); color: var(--ink-soft); cursor: pointer;
  transition: background var(--fast) var(--ease), color var(--fast) var(--ease), transform var(--fast) var(--ease);
}
.iconbtn:hover { background: var(--surface-2); color: var(--ink); }
.iconbtn:active { transform: scale(.96); }
.menu-btn { display: none; }

/* ---- Content / reading column ------------------------------------------ */
.content { padding: var(--s7) var(--s5) var(--s8); }
.view { display: none; max-width: var(--measure); margin: 0 auto; animation: rise var(--med) var(--ease); }
.view.is-active { display: block; }
@keyframes rise { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; transform: none; } }
@media (prefers-reduced-motion: reduce) { .view, .continue-mini, .iconbtn { animation: none !important; transition: none !important; } }

.reading { font-family: var(--font-body); font-size: 1.12rem; line-height: 1.72; }
.reading p { margin: 0 0 var(--s4); }
h1.page-title { font-size: 2rem; letter-spacing: -.02em; margin: 0 0 var(--s2); font-family: var(--font-ui); }
.page-kicker { text-transform: uppercase; letter-spacing: .1em; font-size: .72rem; color: var(--ink-faint); margin-bottom: var(--s2); }

/* DEMO placeholder marker so nothing reads as finished teaching */
.demo {
  font-family: var(--font-ui); font-size: .82rem; color: var(--further-ink);
  background: var(--further-wash); border: 1px dashed var(--further-line);
  border-radius: var(--r-sm); padding: 2px 8px; display: inline-block;
}
.placeholder { color: var(--ink-soft); }
.placeholder::before { content: "▌ "; color: var(--further); }

/* =========================================================================
   HOME dashboard
   ========================================================================= */
.home-head { margin-bottom: var(--s6); }
.home-head h1 { font-size: 2.2rem; letter-spacing: -.025em; margin: var(--s2) 0; }
.home-head p { color: var(--ink-soft); max-width: 54ch; }

.continue-card {
  display: grid; grid-template-columns: 1fr auto; align-items: center; gap: var(--s5);
  background: var(--surface); border: 1px solid var(--border);
  border-radius: var(--r-lg); padding: var(--s5) var(--s6);
  box-shadow: var(--shadow-1); margin-bottom: var(--s6);
}
.continue-card__k { font-size: .72rem; text-transform: uppercase; letter-spacing: .08em; color: var(--ink-faint); }
.continue-card__t { font-size: 1.3rem; font-weight: 650; margin: var(--s1) 0 var(--s3); letter-spacing: -.01em; }
.btn {
  display: inline-flex; align-items: center; gap: var(--s2); cursor: pointer;
  background: var(--accent); color: #fff; border: 1px solid transparent;
  border-radius: var(--r-pill); padding: var(--s3) var(--s5); font-weight: 600; font-size: .92rem;
  transition: transform var(--fast) var(--ease), filter var(--fast) var(--ease), box-shadow var(--fast) var(--ease);
}
.btn:hover { filter: brightness(1.05); box-shadow: var(--shadow-1); transform: translateY(-1px); }
.btn:active { transform: translateY(0); }
.btn--ghost { background: var(--surface); color: var(--ink); border-color: var(--border-strong); }
.btn--ghost:hover { background: var(--surface-2); }
.btn--sm { padding: var(--s2) var(--s4); font-size: .82rem; }

/* progress ring (one quiet ring, not a score) */
.ring { --p: 0; width: 96px; height: 96px; display: grid; place-items: center; position: relative; }
.ring svg { transform: rotate(-90deg); }
.ring__track { stroke: var(--surface-2); }
.ring__fill { stroke: var(--accent); stroke-linecap: round; transition: stroke-dashoffset var(--slow) var(--ease); }
.ring__label { position: absolute; text-align: center; }
.ring__num { font-weight: 700; font-size: 1.15rem; font-variant-numeric: tabular-nums; }
.ring__cap { font-size: .64rem; text-transform: uppercase; letter-spacing: .06em; color: var(--ink-faint); }

.map-head { font-size: .8rem; text-transform: uppercase; letter-spacing: .08em; color: var(--ink-faint); margin: var(--s6) 0 var(--s3); }
.map { display: grid; grid-template-columns: repeat(auto-fill, minmax(210px, 1fr)); gap: var(--s4); }
.map__card {
  text-align: left; cursor: pointer; background: var(--surface);
  border: 1px solid var(--border); border-radius: var(--r); padding: var(--s4) var(--s5);
  box-shadow: var(--shadow-1); transition: transform var(--fast) var(--ease), box-shadow var(--med) var(--ease);
}
.map__card:hover { transform: translateY(-2px); box-shadow: var(--shadow-2); }
.map__card[disabled] { opacity: .55; cursor: default; box-shadow: none; }
.map__n { font-size: .72rem; color: var(--ink-faint); font-variant-numeric: tabular-nums; }
.map__t { font-weight: 600; margin: 4px 0 8px; letter-spacing: -.01em; }
.map__card .meter { margin-top: var(--s2); }

/* =========================================================================
   Sections + lane badges
   ========================================================================= */
.dmfn-section { margin: var(--s7) 0; scroll-margin-top: 84px; }
.dmfn-section--further {
  background: var(--further-wash); border: 1px solid var(--further-line);
  border-radius: var(--r-lg); padding: var(--s5) var(--s6);
}
.section-head { display: flex; align-items: center; flex-wrap: wrap; gap: var(--s3); margin-bottom: var(--s4); }
.section-head h2 { font-family: var(--font-ui); font-size: 1.4rem; letter-spacing: -.015em; margin: 0; flex: 1 1 auto; }

.lane {
  display: inline-flex; align-items: center; gap: 6px; flex: 0 0 auto;
  font-family: var(--font-ui); font-size: .66rem; font-weight: 700;
  text-transform: uppercase; letter-spacing: .09em;
  padding: 4px 10px; border-radius: var(--r-pill); border: 1px solid;
}
.lane--core { color: var(--accent-ink); background: var(--accent-wash); border-color: var(--accent-line); }
.lane--further { color: var(--further-ink); background: var(--further-wash); border-color: var(--further-line); }
.lane__dot { width: 6px; height: 6px; border-radius: 50%; background: currentColor; }
.lane-note {
  font-family: var(--font-ui); font-size: .82rem; color: var(--further-ink);
  background: var(--further-wash); border-left: 3px solid var(--further-line);
  padding: var(--s2) var(--s4); border-radius: 0 var(--r-sm) var(--r-sm) 0; margin: var(--s3) 0;
}

.section-done {
  display: inline-flex; align-items: center; gap: var(--s2); cursor: pointer;
  margin-top: var(--s4); font-family: var(--font-ui); font-size: .85rem; color: var(--ink-soft);
  background: var(--surface); border: 1px solid var(--border-strong); border-radius: var(--r-pill);
  padding: var(--s2) var(--s4); transition: background var(--fast) var(--ease), color var(--fast) var(--ease);
}
.section-done:hover { background: var(--surface-2); }
.section-done[aria-pressed="true"] { background: var(--good-wash); border-color: var(--good); color: var(--good); }
.section-done .tick { width: 16px; height: 16px; display: inline-grid; place-items: center; border-radius: 50%; border: 1.5px solid currentColor; font-size: .7rem; }
.section-done[aria-pressed="true"] .tick { background: var(--good); border-color: var(--good); color: #fff; }

/* authored prose inside sections reads in the serif body face */
.dmfn-section > p, .dmfn-section > ul, .dmfn-section > ol,
.example__body > p, .example__body > ul, .example__body > ol {
  font-family: var(--font-body); font-size: 1.1rem; line-height: 1.72;
}
.dmfn-section > p { margin: 0 0 var(--s4); }
.dmfn-section ul, .dmfn-section ol { padding-left: 1.4em; }
.dmfn-section li { margin: 0 0 var(--s2); }
.dmfn-section h3 {
  font-family: var(--font-ui); font-size: 1.06rem; letter-spacing: -.01em;
  margin: var(--s5) 0 var(--s2); color: var(--ink);
}
.dmfn-section .aside {
  font-family: var(--font-ui); font-size: .92rem; color: var(--ink-soft);
  background: var(--surface-2); border-left: 3px solid var(--border-strong);
  border-radius: 0 var(--r-sm) var(--r-sm) 0; padding: var(--s3) var(--s4); margin: var(--s4) 0;
}

/* =========================================================================
   Widget kit — shared card chrome
   ========================================================================= */
.w {
  font-family: var(--font-ui); background: var(--surface);
  border: 1px solid var(--border); border-radius: var(--r);
  padding: var(--s5); margin: var(--s5) 0; box-shadow: var(--shadow-1);
}
.w__kicker { display: flex; align-items: center; gap: var(--s2); font-size: .68rem; text-transform: uppercase; letter-spacing: .09em; color: var(--ink-faint); margin-bottom: var(--s3); }
.w__kicker .ic { width: 14px; height: 14px; color: var(--accent); }
.w__prompt { font-weight: 600; margin-bottom: var(--s4); line-height: 1.5; }

.choices { display: flex; flex-wrap: wrap; gap: var(--s2); }
.choice {
  cursor: pointer; background: var(--surface); color: var(--ink);
  border: 1px solid var(--border-strong); border-radius: var(--r-sm);
  padding: var(--s3) var(--s4); font-size: .95rem; font-family: var(--font-ui);
  transition: background var(--fast) var(--ease), border-color var(--fast) var(--ease), transform var(--fast) var(--ease);
}
.choice:hover { background: var(--surface-2); }
.choice:active { transform: scale(.98); }
.choice.is-picked { border-color: var(--accent); background: var(--accent-wash); }
.choice.is-correct { border-color: var(--good); background: var(--good-wash); color: var(--good); }
.choice.is-wrong { border-color: var(--bad); background: var(--bad-wash); color: var(--bad); }
.choice[disabled] { cursor: default; }

.feedback {
  margin-top: var(--s4); padding: var(--s3) var(--s4); border-radius: var(--r-sm);
  font-size: .92rem; line-height: 1.55; border: 1px solid var(--border);
  background: var(--surface-2); overflow: hidden;
}
.feedback--good { background: var(--good-wash); border-color: var(--good); }
.feedback--bad { background: var(--bad-wash); border-color: var(--bad); }
.feedback__head { font-weight: 700; margin-bottom: 2px; }

/* reveal */
.reveal__btn { margin-top: var(--s2); }
.reveal__body { margin-top: var(--s4); }
.collapsible { display: grid; grid-template-rows: 0fr; transition: grid-template-rows var(--med) var(--ease); }
.collapsible.is-open { grid-template-rows: 1fr; }
.collapsible > div { overflow: hidden; }
.scratch {
  width: 100%; min-height: 64px; resize: vertical; margin-top: var(--s3);
  font-family: var(--font-body); font-size: 1rem; color: var(--ink);
  background: var(--paper); border: 1px solid var(--border); border-radius: var(--r-sm); padding: var(--s3);
}
.scratch::placeholder { color: var(--ink-faint); }

/* truth table */
.tt { overflow-x: auto; }
.tt table { border-collapse: collapse; width: 100%; font-variant-numeric: tabular-nums; }
.tt th, .tt td {
  border: 1px solid var(--border); padding: var(--s3) var(--s4); text-align: center;
  font-family: var(--font-mono); font-size: .95rem;
}
.tt thead th { background: var(--surface-2); font-family: var(--font-ui); font-weight: 600; }
.tt .col-out { background: var(--accent-wash); font-weight: 700; }
.tt .v-true { color: var(--good); }
.tt .v-false { color: var(--bad); }
.tt .cell-btn {
  cursor: pointer; min-width: 46px; border: 1px solid var(--border-strong); background: var(--surface);
  border-radius: var(--r-sm); padding: 6px 8px; font-family: var(--font-mono); font-weight: 700; color: var(--ink-soft);
  transition: background var(--fast) var(--ease);
}
.tt .cell-btn:hover { background: var(--surface-2); }
.tt .cell-btn.ok { background: var(--good-wash); border-color: var(--good); color: var(--good); }
.tt .cell-btn.no { background: var(--bad-wash); border-color: var(--bad); color: var(--bad); }

.tt-explore { display: flex; flex-wrap: wrap; align-items: center; gap: var(--s5); }
.tt-toggles { display: flex; gap: var(--s4); }
.toggle { display: inline-flex; flex-direction: column; align-items: center; gap: 6px; font-family: var(--font-mono); }
.toggle__name { font-size: .9rem; color: var(--ink-soft); }
.switch {
  width: 52px; height: 30px; border-radius: var(--r-pill); border: 1px solid var(--border-strong);
  background: var(--surface-2); position: relative; cursor: pointer; transition: background var(--fast) var(--ease);
}
.switch::after { content: ""; position: absolute; top: 3px; left: 3px; width: 22px; height: 22px; border-radius: 50%; background: var(--surface); box-shadow: var(--shadow-1); transition: transform var(--med) var(--ease); }
.switch[aria-checked="true"] { background: var(--accent); border-color: var(--accent); }
.switch[aria-checked="true"]::after { transform: translateX(22px); }
.tt-out { display: flex; flex-direction: column; align-items: center; gap: 4px; }
.tt-out__formula { font-family: var(--font-mono); color: var(--ink-soft); font-size: .95rem; }
.tt-out__val { font-size: 1.6rem; font-weight: 800; font-family: var(--font-mono); }
.tt-out__val.v-true { color: var(--good); }
.tt-out__val.v-false { color: var(--bad); }

.w__actions { display: flex; gap: var(--s2); margin-top: var(--s4); align-items: center; flex-wrap: wrap; }
.score { font-size: .85rem; color: var(--ink-soft); font-variant-numeric: tabular-nums; }

/* teach-it-back */
.checklist { list-style: none; margin: var(--s3) 0 0; padding: 0; display: flex; flex-direction: column; gap: var(--s2); }
.checklist li { display: flex; align-items: flex-start; gap: var(--s3); }
.checklist input { margin-top: 4px; accent-color: var(--accent); width: 16px; height: 16px; }
.checklist label { font-size: .92rem; color: var(--ink-soft); }

/* ocw card */
.ocw {
  display: flex; gap: var(--s4); align-items: flex-start; text-decoration: none; color: inherit;
  background: var(--surface); border: 1px solid var(--border); border-radius: var(--r);
  padding: var(--s4) var(--s5); box-shadow: var(--shadow-1);
  transition: transform var(--fast) var(--ease), box-shadow var(--med) var(--ease);
}
.ocw:hover { transform: translateY(-1px); box-shadow: var(--shadow-2); }
.ocw__icon { flex: 0 0 auto; width: 40px; height: 40px; border-radius: var(--r-sm); display: grid; place-items: center; background: var(--accent-wash); color: var(--accent); }
.ocw__src { font-size: .68rem; text-transform: uppercase; letter-spacing: .08em; color: var(--ink-faint); }
.ocw__title { font-weight: 650; margin: 2px 0; }
.ocw__note { font-size: .88rem; color: var(--ink-soft); }
.ocw__url { font-size: .76rem; color: var(--ink-faint); font-family: var(--font-mono); margin-top: 4px; word-break: break-all; }
.ocw__video { display: inline-flex; align-items: center; gap: 7px; text-decoration: none; font-family: var(--font-ui); font-size: .86rem; font-weight: 600; color: var(--accent-ink); margin: var(--s2) 0 0 var(--s2); }
.ocw__video:hover { text-decoration: underline; }
.ocw__video-icon { color: var(--accent); font-size: .8em; }
.ocw__video-note { font-weight: 400; color: var(--ink-soft); }

/* worked example */
.example { border: 1px solid var(--border); border-radius: var(--r); margin: var(--s5) 0; overflow: hidden; box-shadow: var(--shadow-1); }
.example__bar { display: flex; align-items: center; gap: var(--s2); background: var(--surface-2); padding: var(--s3) var(--s5); font-family: var(--font-ui); }
.example__tag { font-size: .66rem; text-transform: uppercase; letter-spacing: .09em; color: var(--accent-ink); font-weight: 700; }
.example__title { font-weight: 600; }
.example__body { padding: var(--s5); }
.example__body > .reading { font-size: 1.05rem; }

/* ---- Proof Fader -------------------------------------------------------- */
.fader-levels { display: flex; flex-wrap: wrap; gap: 4px; margin-bottom: var(--s4); background: var(--surface-2); padding: 4px; border-radius: var(--r-sm); width: fit-content; }
.fader-lvl { cursor: pointer; font-family: var(--font-ui); font-size: .82rem; color: var(--ink-soft); background: transparent; border: 1px solid transparent; border-radius: var(--r-sm); padding: 6px 12px; transition: background var(--fast) var(--ease), color var(--fast) var(--ease); }
.fader-lvl:hover { color: var(--ink); }
.fader-lvl.is-on { background: var(--surface); color: var(--ink); border-color: var(--border); box-shadow: var(--shadow-1); font-weight: 600; }
.fader-body { margin: var(--s3) 0; }
.fader-row { display: grid; grid-template-columns: 1fr 1.15fr; gap: var(--s4); align-items: baseline; padding: var(--s3) 0; border-bottom: 1px dashed var(--border); }
.fader-row.is-blank { min-height: 2em; }
.fader-c-expr, .fader-expr { font-family: var(--font-mono); font-size: 1rem; color: var(--ink); }
.fader-expr.is-hidden { color: var(--ink-faint); letter-spacing: .15em; }
.fader-c-just { font-family: var(--font-ui); font-size: .9rem; color: var(--ink-soft); }
.fader-c-just .is-given { font-style: italic; }
.fader-pick { font-family: var(--font-ui); font-size: .85rem; color: var(--ink); background: var(--surface); border: 1px solid var(--border-strong); border-radius: var(--r-sm); padding: 5px 8px; max-width: 100%; }
.fader-pick.ok { border-color: var(--good); background: var(--good-wash); }
.fader-pick.no { border-color: var(--bad); background: var(--bad-wash); }
.fader-mark { margin-left: 8px; font-weight: 700; }
.fader-mark.ok { color: var(--good); }
.fader-mark.no { color: var(--bad); }
.fader-reveal-just { display: none; font-size: .82rem; color: var(--ink-soft); margin-top: 4px; }
.fader-reveal-just.show { display: block; }

/* ---- Sentence Stems ----------------------------------------------------- */
.stems { display: flex; flex-wrap: wrap; gap: var(--s2); }
.stem { position: relative; cursor: pointer; text-align: left; font-family: var(--font-ui); font-size: .86rem; color: var(--ink); background: var(--surface-2); border: 1px solid var(--border); border-radius: var(--r-sm); padding: var(--s2) var(--s3); transition: background var(--fast) var(--ease), border-color var(--fast) var(--ease); }
.stem:hover { background: var(--surface); border-color: var(--accent-line); }
.stem__copied { position: absolute; inset: 0; display: grid; place-items: center; background: var(--good); color: #fff; border-radius: var(--r-sm); opacity: 0; pointer-events: none; font-weight: 600; transition: opacity var(--fast) var(--ease); }
.stem.copied .stem__copied { opacity: 1; }

/* ---- Laws table + exam blockquote (authored in chapters) ---------------- */
.dmfn-laws { width: 100%; border-collapse: collapse; margin: var(--s4) 0; font-size: .96rem; }
.dmfn-laws th { text-align: left; font-family: var(--font-ui); font-size: .7rem; text-transform: uppercase; letter-spacing: .08em; color: var(--ink-faint); border-bottom: 2px solid var(--border-strong); padding: var(--s2) var(--s3); }
.dmfn-laws td { border-bottom: 1px solid var(--border); padding: var(--s3); vertical-align: top; }
.dmfn-laws td:first-child { font-family: var(--font-ui); font-weight: 600; white-space: nowrap; color: var(--ink); width: 1%; padding-right: var(--s5); }
.dmfn-laws tr:hover td { background: var(--surface-2); }
.dmfn-section blockquote { margin: var(--s4) 0; padding: var(--s4) var(--s5); border-left: 4px solid var(--accent-line); background: var(--accent-wash); border-radius: 0 var(--r) var(--r) 0; }
.dmfn-section blockquote p { margin: 0; font-family: var(--font-body); font-style: italic; font-size: 1.08rem; }

/* ---- Home welcome (authored) ------------------------------------------- */
.dmfn-welcome { margin-bottom: var(--s6); }
.dmfn-welcome h1 { font-size: 2.2rem; letter-spacing: -.025em; margin: var(--s2) 0 var(--s4); }
.dmfn-welcome h2 { font-family: var(--font-ui); font-size: 1.2rem; letter-spacing: -.01em; margin: var(--s6) 0 var(--s2); }
.dmfn-welcome p { font-family: var(--font-body); font-size: 1.12rem; line-height: 1.72; color: var(--ink); margin: 0 0 var(--s4); max-width: var(--measure); }
.dmfn-welcome__lead { font-size: 1.22rem; }
.dmfn-welcome__start { background: var(--accent-wash); border: 1px solid var(--accent-line); border-radius: var(--r); padding: var(--s4) var(--s5); }
.dmfn-welcome .lane { vertical-align: middle; }

/* ---- Quantifier Scope --------------------------------------------------- */
.qscope-grid { overflow-x: auto; margin: var(--s3) 0; }
.qscope-table { border-collapse: collapse; font-family: var(--font-ui); }
.qscope-table th { font-size: .82rem; color: var(--ink-soft); font-weight: 600; padding: var(--s2) var(--s3); text-align: center; }
.qscope-table .qs-corner { font-family: var(--font-mono); font-size: .72rem; color: var(--ink-faint); font-weight: 400; }
.qs-cell { width: 38px; height: 38px; text-align: center; border: 1px solid var(--border); color: var(--accent-ink); font-weight: 700; transition: background var(--fast) var(--ease), box-shadow var(--fast) var(--ease); }
.qs-cell.on { background: var(--accent-wash); }
.qs-cell.hl-good { background: var(--good-wash); box-shadow: inset 0 0 0 2px var(--good); color: var(--good); }
.qs-cell.hl-bad { box-shadow: inset 0 0 0 2px var(--bad); }
.qscope-note { font-size: .85rem; color: var(--ink-soft); margin: var(--s2) 0 var(--s4); }
.qscope-controls { display: flex; flex-wrap: wrap; gap: var(--s4); margin: var(--s4) 0; }
.qs-ctl { display: inline-flex; align-items: center; gap: 6px; }
.qs-ctl b { font-size: .72rem; text-transform: uppercase; letter-spacing: .06em; color: var(--ink-faint); margin-right: 2px; }
.qs-ctl button { cursor: pointer; min-width: 34px; font-family: var(--font-ui); font-size: .95rem; color: var(--ink-soft); background: var(--surface); border: 1px solid var(--border-strong); border-radius: var(--r-sm); padding: 5px 10px; transition: background var(--fast) var(--ease), color var(--fast) var(--ease); }
.qs-ctl button.is-on { background: var(--accent); border-color: var(--accent); color: #fff; }
.qscope-stmt { display: flex; align-items: center; gap: var(--s3); flex-wrap: wrap; margin-top: var(--s3); }
.qs-sym { font-family: var(--font-mono); font-size: 1.05rem; color: var(--ink); }
.qs-verdict { font-family: var(--font-ui); font-size: .72rem; font-weight: 700; letter-spacing: .08em; padding: 3px 10px; border-radius: var(--r-pill); }
.qs-verdict.is-true { background: var(--good-wash); color: var(--good); }
.qs-verdict.is-false { background: var(--bad-wash); color: var(--bad); }
.qscope-reason { font-size: .9rem; color: var(--ink-soft); margin-top: var(--s2); }

/* =========================================================================
   Mobile: rail becomes a drawer
   ========================================================================= */
.scrim { display: none; }
@media (max-width: 900px) {
  .app { grid-template-columns: 1fr; }
  .rail {
    position: fixed; left: 0; top: 0; z-index: 60; width: min(86vw, var(--rail-w));
    transform: translateX(-102%); transition: transform var(--med) var(--ease);
  }
  body.nav-open .rail { transform: none; box-shadow: var(--shadow-2); }
  .menu-btn { display: inline-grid; }
  .scrim { display: block; position: fixed; inset: 0; z-index: 50; background: rgba(0,0,0,.32); opacity: 0; pointer-events: none; transition: opacity var(--med) var(--ease); }
  body.nav-open .scrim { opacity: 1; pointer-events: auto; }
  .content { padding: var(--s5) var(--s4) var(--s8); }
  .continue-card { grid-template-columns: 1fr; gap: var(--s4); }
  .fader-row { grid-template-columns: 1fr; gap: 2px; }
}