/* Valid Moves: shared styles. Layout: a logic notebook. Graph-paper heads, ruled sections, formulas always in mono. */
:root{
  --paper:#f4f5f9; --surface:#ffffff; --ink:#161a2b; --muted:#5b6178; --rule:#d9dcea; --grid:rgba(45,63,176,.07);
  --accent:#2d3fb0; --accent-soft:#e6e9fb; --on-accent:#ffffff;
  --true:#157a52; --false:#b23a3a; --hl:#fff3b0; --hl-ink:#3d3300;
  --display:"Familjen Grotesk", "Segoe UI", system-ui, sans-serif;
  --body:"Spectral", Georgia, "Times New Roman", serif;
  --mono:"JetBrains Mono", "Cascadia Mono", Consolas, "DejaVu Sans Mono", "Segoe UI Symbol", monospace;
  color-scheme:light;
}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){
  --paper:#11131c; --surface:#191c28; --ink:#e6e8f2; --muted:#9aa0b8; --rule:#2c3145; --grid:rgba(143,160,255,.06);
  --accent:#8fa0ff; --accent-soft:#232a4d; --on-accent:#0e1122;
  --true:#5fd3a0; --false:#ff8a8a; --hl:rgba(255,214,90,.16); --hl-ink:#ffe08a; color-scheme:dark}}
:root[data-theme="dark"]{
  --paper:#11131c; --surface:#191c28; --ink:#e6e8f2; --muted:#9aa0b8; --rule:#2c3145; --grid:rgba(143,160,255,.06);
  --accent:#8fa0ff; --accent-soft:#232a4d; --on-accent:#0e1122;
  --true:#5fd3a0; --false:#ff8a8a; --hl:rgba(255,214,90,.16); --hl-ink:#ffe08a; color-scheme:dark}

*{box-sizing:border-box}
[hidden]{display:none!important}
img{max-width:100%}
html{scroll-behavior:smooth;scroll-padding-top:70px;padding-top:env(safe-area-inset-top,0px);padding-bottom:env(safe-area-inset-bottom,0px)}
body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--body);font-size:1.0625rem;line-height:1.6}
a{color:var(--accent)}
h1,h2,h3{font-family:var(--display);line-height:1.15;text-wrap:balance;margin:0}
h2{font-size:clamp(1.6rem,3vw,2.1rem);letter-spacing:-.01em}
h3{font-size:1.15rem}
p{margin:0}
code,.f{font-family:var(--mono);font-size:.92em;white-space:nowrap}
.wrap{max-width:1080px;margin:0 auto;padding-inline:16px}
.eyebrow{font-family:var(--display);font-size:.78rem;font-weight:600;letter-spacing:.12em;text-transform:uppercase;color:var(--accent)}
.lede{color:var(--muted);max-width:62ch}
.note{font-size:.92rem;color:var(--muted)}
button,select,input,textarea{font:inherit;color:inherit}
:focus-visible{outline:2px solid var(--accent);outline-offset:2px}

/* nav */
.top{position:sticky;top:env(safe-area-inset-top,0px);z-index:5;background:color-mix(in srgb,var(--paper) 88%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--rule)}
.top .wrap{display:flex;align-items:center;gap:20px;padding-block:12px;flex-wrap:wrap}
.brand{font-family:var(--display);font-weight:700;font-size:1.1rem;text-decoration:none;color:var(--ink);display:flex;gap:8px;align-items:baseline}
.brand span{font-family:var(--mono);color:var(--accent);font-weight:600}
.top nav{display:flex;gap:4px 16px;flex-wrap:wrap;margin-left:auto}
.top nav a{font-family:var(--display);font-size:.92rem;color:var(--muted);text-decoration:none}
.top nav a:hover,.top nav a[aria-current="page"]{color:var(--accent)}

/* heads */
.hero{background-image:linear-gradient(var(--grid) 1px,transparent 1px),linear-gradient(90deg,var(--grid) 1px,transparent 1px);background-size:24px 24px;border-bottom:1px solid var(--rule)}
.hero .wrap{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);gap:40px;align-items:center;padding-block:52px 44px}
.hero h1{font-size:clamp(2.2rem,5.2vw,3.5rem);letter-spacing:-.025em;font-weight:700}
.hero h1 em{font-style:normal;color:var(--accent)}
.hero .copy{display:grid;gap:18px;min-width:0}
.cta{display:flex;gap:10px;flex-wrap:wrap}
.btn{display:inline-flex;align-items:center;gap:8px;border:1px solid var(--accent);background:var(--accent);color:var(--on-accent);font-family:var(--display);font-weight:600;font-size:.95rem;padding:9px 16px;border-radius:6px;text-decoration:none;cursor:pointer}
.btn.ghost{background:transparent;color:var(--accent)}
.btn:hover{filter:brightness(1.08)}
.btn:disabled{opacity:.45;cursor:default;filter:none}
.card{background:var(--surface);border:1px solid var(--rule);border-radius:4px;padding:22px 26px;box-shadow:6px 6px 0 var(--accent-soft);display:grid;gap:12px;min-width:0}
.card .cap{font-family:var(--display);font-size:.78rem;color:var(--muted);letter-spacing:.08em;text-transform:uppercase}
.card h2{font-size:1.5rem}
.card ol{margin:0;padding-left:0;list-style:none;display:grid;gap:4px;font-size:.98rem}
.card ol li{display:grid;grid-template-columns:3ch minmax(0,1fr) auto;gap:10px}
.card ol .sn{font-family:var(--mono);color:var(--accent);font-size:.9rem;padding-top:2px}
.card ol .pg{font-family:var(--mono);color:var(--muted);font-size:.85rem;padding-top:2px;font-variant-numeric:tabular-nums}

section{padding-block:60px;border-bottom:1px solid var(--rule)}
.sec-head{display:grid;gap:10px;margin-bottom:28px}
.sec-head .meta{font-family:var(--mono);font-size:.85rem;color:var(--muted)}

/* formula entry + truth table */
.lab{display:grid;gap:16px}
.entry{display:flex;gap:10px;flex-wrap:wrap;align-items:stretch}
.entry input{flex:1 1 260px;min-width:0;font-family:var(--mono);font-size:1.1rem;padding:10px 14px;border:1px solid var(--rule);border-radius:6px;background:var(--surface)}
.keys{display:flex;gap:6px;flex-wrap:wrap}
.key{font-family:var(--mono);font-size:1rem;min-width:2.5rem;padding:6px 10px;border:1px solid var(--rule);background:var(--surface);border-radius:6px;cursor:pointer}
.key:hover{border-color:var(--accent);color:var(--accent)}
.samples{display:flex;gap:6px 14px;flex-wrap:wrap;font-size:.92rem;color:var(--muted);align-items:baseline}
.samples button{background:none;border:0;padding:0;color:var(--accent);font-family:var(--mono);font-size:.88rem;cursor:pointer;text-decoration:underline;text-underline-offset:3px}
.status{font-family:var(--display);font-size:.95rem;display:flex;gap:10px;align-items:center;flex-wrap:wrap}
.pill{display:inline-block;padding:3px 10px;border-radius:999px;font-family:var(--display);font-weight:600;font-size:.82rem;border:1px solid currentColor;white-space:nowrap}
.pill.good{color:var(--true)} .pill.bad{color:var(--false)} .pill.mid{color:var(--accent)} .pill.quiet{color:var(--muted)}
.err{color:var(--false);font-family:var(--display);font-size:.95rem}
.tscroll{overflow-x:auto;border:1px solid var(--rule);border-radius:6px;background:var(--surface)}
table.tt{border-collapse:collapse;font-family:var(--mono);font-size:.95rem;width:100%;font-variant-numeric:tabular-nums}
.tt th,.tt td{padding:6px 12px;text-align:center;border-bottom:1px solid var(--rule);white-space:nowrap}
.tt th{font-weight:600;background:var(--accent-soft);font-size:.88rem}
.tt th.v,.tt td.v{border-right:2px solid var(--rule)}
.tt th.main{background:var(--accent);color:var(--on-accent)}
.tt td.main{font-weight:600}
.tt tr:last-child td{border-bottom:0}
.T{color:var(--true)} .F{color:var(--false)}

/* reading layout */
.panel{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:32px}
.prose{display:grid;gap:14px;max-width:62ch;min-width:0;align-content:start}
.prose h3{margin-top:8px}
.prose ul,.prose ol{margin:0;padding-left:1.2em;display:grid;gap:6px}
.side{background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:18px 20px;display:grid;gap:12px;align-content:start;min-width:0}
.side h3{font-size:1rem}
.side + .side{margin-top:16px}
.stack{display:grid;gap:16px;align-content:start;min-width:0}
table.ref{border-collapse:collapse;width:100%;font-size:.95rem}
.ref th,.ref td{text-align:left;padding:7px 10px 7px 0;border-bottom:1px solid var(--rule);vertical-align:top}
.ref th{font-family:var(--display);font-size:.78rem;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-weight:600}
.ref tr:last-child td{border-bottom:0}
.ref td.f{white-space:nowrap}
.rscroll{overflow-x:auto}
.ex{display:grid;gap:2px;padding:10px 0;border-bottom:1px dashed var(--rule)}
.ex:last-child{border-bottom:0}
.ex .en{font-style:italic}
.ex .sym{font-family:var(--mono);color:var(--accent)}
.trap{font-size:.88rem;color:var(--muted)}
.def{border-left:3px solid var(--accent);padding:4px 0 4px 16px;display:grid;gap:6px}
.def b{font-family:var(--display)}
.clauses{list-style:none;margin:0;padding:0;display:grid;gap:4px;font-size:.98rem;counter-reset:c}
.clauses li{display:grid;grid-template-columns:2ch minmax(0,1fr);gap:10px}
.clauses li::before{counter-increment:c;content:counter(c);font-family:var(--mono);color:var(--accent);font-size:.9rem;padding-top:2px}
.mini-tables{display:grid;grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:10px}
.mini-tables table{border-collapse:collapse;font-family:var(--mono);font-size:.9rem;background:var(--surface);border:1px solid var(--rule);border-radius:4px;width:100%}
.mini-tables th,.mini-tables td{padding:4px 8px;text-align:center;border-bottom:1px solid var(--rule)}
.mini-tables th{background:var(--accent-soft);font-size:.85rem}
.mini-tables tr:last-child td{border-bottom:0}

/* checker output */
.verdict{display:grid;gap:14px;background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:18px 20px}
.kv{display:grid;grid-template-columns:max-content minmax(0,1fr);gap:8px 16px;font-size:.98rem}
.kv dt{font-family:var(--display);font-size:.82rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);padding-top:3px}
.kv dd{margin:0;min-width:0}
.chips{display:flex;flex-wrap:wrap;gap:6px}
.chip{font-family:var(--mono);font-size:.9rem;padding:2px 8px;border:1px solid var(--rule);border-radius:4px;background:var(--paper)}
.steps{list-style:none;margin:0;padding:0;display:grid;gap:4px;font-size:.95rem}
.steps li{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:12px;border-bottom:1px dashed var(--rule);padding-bottom:4px}
.steps li:last-child{border-bottom:0}
.steps .f{white-space:normal;overflow-wrap:anywhere}
.steps .by{font-family:var(--display);font-size:.82rem;color:var(--muted)}

/* tabs + quiz */
.tabs{display:flex;gap:4px;flex-wrap:wrap;border-bottom:1px solid var(--rule);margin-bottom:22px}
.tab{background:none;border:0;border-bottom:3px solid transparent;padding:10px 14px;font-family:var(--display);font-weight:600;font-size:.95rem;color:var(--muted);cursor:pointer;margin-bottom:-1px}
.tab[aria-selected="true"]{color:var(--accent);border-bottom-color:var(--accent)}
.score{font-family:var(--display);font-size:.92rem;color:var(--muted);font-variant-numeric:tabular-nums}
.qcard{background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:22px 24px;display:grid;gap:16px;max-width:760px}
.qtop{display:flex;justify-content:space-between;gap:12px;flex-wrap:wrap;align-items:baseline}
.qnum{font-family:var(--display);font-size:.82rem;color:var(--muted);letter-spacing:.08em;text-transform:uppercase}
.qtext{font-size:1.2rem}
.qtext .f{font-size:1.1rem;white-space:normal}
.key-legend{font-size:.9rem;color:var(--muted);display:grid;gap:2px}
.opts{display:grid;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:8px}
.opt{text-align:left;padding:10px 14px;border:1px solid var(--rule);border-radius:6px;background:var(--paper);cursor:pointer;font-family:var(--mono);font-size:1rem}
.opt.word{font-family:var(--display);font-weight:600;font-size:.95rem}
.opt:hover:not(:disabled){border-color:var(--accent)}
.opt.right{border-color:var(--true);color:var(--true);font-weight:600}
.opt.wrong{border-color:var(--false);color:var(--false);text-decoration:line-through}
.opt:disabled{cursor:default}
.feedback{border-left:3px solid var(--rule);padding:4px 0 4px 14px;display:grid;gap:8px;font-size:.98rem}
.feedback.good{border-left-color:var(--true)} .feedback.bad{border-left-color:var(--false)}
.feedback b{font-family:var(--display)}
.qnav{display:flex;gap:10px;flex-wrap:wrap}

/* chapter list */
.chapters{display:grid;gap:28px}
.chapters h3{font-size:.85rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.ch-list{list-style:none;margin:0;padding:0;border-top:1px solid var(--rule)}
.ch-list li{display:grid;grid-template-columns:3.2rem minmax(0,1fr) auto;gap:16px;align-items:baseline;padding:14px 0;border-bottom:1px solid var(--rule)}
.ch-list .num{font-family:var(--mono);font-size:1.3rem;color:var(--muted);font-variant-numeric:tabular-nums}
.ch-list li.now .num{color:var(--accent)}
.ch-list .t{font-family:var(--display);font-weight:600;font-size:1.05rem}
.ch-list .t a{color:inherit}
.ch-list .s{font-size:.9rem;color:var(--muted)}
.ch-list .pg{font-family:var(--mono);font-size:.85rem;color:var(--muted);white-space:nowrap}
.ch-list .right{display:grid;gap:4px;justify-items:end}

/* notes */
textarea.notes{width:100%;min-height:150px;padding:12px 14px;border:1px solid var(--rule);border-radius:6px;background:var(--surface);font-family:var(--body);font-size:1rem;line-height:1.5;resize:vertical}
.qlist{margin:0;padding-left:1.4em;display:grid;gap:12px;max-width:68ch}
.qlist li::marker{font-family:var(--mono);color:var(--accent)}
.empty{border:1px dashed var(--rule);border-radius:6px;padding:18px 20px;color:var(--muted);font-size:.95rem;max-width:68ch}
.two{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:36px;align-items:start}
.bring{display:grid;gap:8px;margin:0;padding-left:1.2em}

/* local section nav on chapter pages */
.toc{display:flex;gap:6px 18px;flex-wrap:wrap;font-family:var(--display);font-size:.92rem}
.toc a{text-decoration:none;color:var(--muted);border-bottom:1px solid var(--rule)}
.toc a:hover{color:var(--accent);border-color:var(--accent)}

footer{padding-block:32px;font-size:.9rem;color:var(--muted)}

@media (max-width:820px){
  .hero .wrap,.panel,.two{grid-template-columns:minmax(0,1fr)}
  .hero .wrap{padding-block:36px 32px;gap:28px}
  section{padding-block:44px}
}
@media (max-width:480px){
  .top nav{margin-left:0}
  .card{padding:16px}
  .ch-list li{grid-template-columns:2.4rem minmax(0,1fr)}
  .ch-list .right{grid-column:2;justify-items:start}
  .kv{grid-template-columns:minmax(0,1fr)}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important}html{scroll-behavior:auto}}

/* indicator highlighter (ch. 1) */
.passage{background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:16px 18px;line-height:1.9;max-width:72ch}
mark.ci{background:var(--accent-soft);color:var(--accent);font-weight:600;border-radius:3px;padding:0 3px}
mark.pi{background:var(--hl);color:var(--hl-ink);font-weight:600;border-radius:3px;padding:0 3px}
.legend{display:flex;gap:14px;flex-wrap:wrap;font-size:.9rem;color:var(--muted);align-items:center}

/* possibility grid (ch. 1) */
.grid4{border-collapse:collapse;font-size:.95rem;width:100%}
.grid4 th,.grid4 td{border:1px solid var(--rule);padding:8px 10px;text-align:left;vertical-align:top}
.grid4 th{font-family:var(--display);font-size:.8rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);background:var(--accent-soft)}
.grid4 td.no{color:var(--false);font-weight:600}
.grid4 td.yes{color:var(--true)}

/* prev/next */
.chnav{display:flex;justify-content:space-between;gap:12px;flex-wrap:wrap;padding-block:24px;font-family:var(--display)}
.chnav a{text-decoration:none;display:grid;gap:2px}
.chnav a span{font-size:.78rem;letter-spacing:.08em;text-transform:uppercase;color:var(--muted)}
.chnav a:last-child{text-align:right;margin-left:auto}

/* semantic tester (ch. 3) */
.seg{display:inline-flex;border:1px solid var(--rule);border-radius:6px;overflow:hidden;flex-wrap:wrap}
.seg button{border:0;background:var(--surface);padding:8px 14px;font-family:var(--display);font-weight:600;font-size:.92rem;color:var(--muted);cursor:pointer;border-right:1px solid var(--rule)}
.seg button:last-child{border-right:0}
.seg button[aria-pressed="true"]{background:var(--accent);color:var(--on-accent)}
textarea.formulas{width:100%;min-height:120px;font-family:var(--mono);font-size:1.05rem;line-height:1.7;padding:10px 14px;border:1px solid var(--rule);border-radius:6px;background:var(--surface);resize:vertical}
.tt tr.box td{background:var(--hl)}
.tt th.c{border-left:2px solid var(--ink)}
.tt td.c{border-left:2px solid var(--ink)}
.explain{display:grid;gap:8px;max-width:72ch}
.explain .f{white-space:normal}
.toggles{display:flex;gap:8px;flex-wrap:wrap}
.tog{font-family:var(--mono);font-size:1rem;padding:6px 12px;border:1px solid var(--rule);border-radius:6px;background:var(--paper);cursor:pointer;min-width:4.5rem}
.tog .T,.tog .F{font-weight:600}

/* proofs / numbered lines */
.proof{font-family:var(--mono);font-size:.98rem;display:grid;overflow-x:auto}
.proof .row{display:grid;grid-template-columns:2.5ch minmax(9ch,1fr) minmax(120px,auto);gap:12px;align-items:center;padding:6px 0;border-bottom:1px solid var(--rule)}
.proof .row:last-child{border-bottom:0}
.proof .n{color:var(--muted)}
.proof .just{font-size:.88rem;color:var(--muted)}

/* truth-trees (ch. 4, 9) */
.treebox{overflow-x:auto;border:1px solid var(--rule);border-radius:6px;background:var(--surface);padding:14px 12px}
.tree{display:grid;column-gap:8px;font-family:var(--mono);font-size:.95rem;min-width:min-content}
.tl{grid-column:1;color:var(--muted);text-align:right;padding-right:6px;font-size:.85rem;align-self:center}
.tj{color:var(--muted);font-size:.85rem;white-space:nowrap;padding-left:10px;border-left:1px solid var(--rule);align-self:center}
.te{text-align:center;padding:3px 4px;align-self:center}
.te .ck{color:var(--true);font-size:.85em}
.te-btn{font:inherit;color:var(--accent);background:var(--accent-soft);border:1px dashed var(--accent);border-radius:4px;padding:1px 8px;cursor:pointer}
.te-btn:hover{background:var(--accent);color:var(--on-accent)}
.te-btn.hint{border-style:solid;box-shadow:0 0 0 3px var(--hl)}
.tc{height:16px}
.tc svg{width:100%;height:100%;display:block;overflow:visible}
.tc line{stroke:var(--muted);stroke-width:1.2}
.tm{text-align:center;font-weight:600;font-size:1.05rem}
.tx{color:var(--false)} .to{color:var(--true)}
.rules9{display:grid;grid-template-columns:repeat(auto-fill,minmax(190px,1fr));gap:10px}
.rcard{background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:12px 14px;display:grid;gap:6px;align-content:start}
.rcard .nm{display:flex;justify-content:space-between;gap:8px;font-family:var(--display);font-weight:600;font-size:.9rem}
.rcard .nm span{font-family:var(--mono);color:var(--accent)}
.rcard .rf{font-family:var(--mono);font-size:.92rem;text-align:center;display:grid;gap:2px}
.rcard .rf .br{display:flex;justify-content:space-around;gap:10px;border-top:1px solid var(--muted);padding-top:4px}

/* derivations (ch. 5, 10) */
.fitch{display:grid;font-family:var(--mono);font-size:.98rem;overflow-x:auto;background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:10px 12px}
.frow{display:grid;grid-template-columns:3ch minmax(0,1fr) auto 1.6em;gap:10px;align-items:stretch;min-width:min-content}
.frow .fn{color:var(--muted);text-align:right;padding-block:4px;font-size:.88rem;align-self:center}
.frow .fb{display:flex;align-items:stretch}
.frow .bar{border-left:1.5px solid var(--ink);width:14px;flex:none}
.frow .fs{padding:4px 6px;white-space:nowrap}
.frow .fs.assume{border-bottom:1.5px solid var(--ink)}
.frow .fj{color:var(--muted);font-size:.88rem;white-space:nowrap;padding-block:4px;align-self:center}
.frow .fk{align-self:center;text-align:center;font-weight:600}
.frow.bad{background:color-mix(in srgb,var(--false) 9%,transparent)}
.frow .fk.ok{color:var(--true)} .frow .fk.no{color:var(--false)} .frow .fk.warn{color:var(--muted)}
.fmsg{grid-column:2/-1;font-family:var(--body);font-size:.9rem;color:var(--false);padding:0 6px 6px}
.fmsg.w{color:var(--muted)}
.goalrow{font-family:var(--display);font-size:.9rem;color:var(--muted);padding:2px 0 8px 4ch}
.exlist{display:flex;flex-wrap:wrap;gap:8px}
.exlist button{font-family:var(--mono);font-size:.88rem;padding:6px 10px;border:1px solid var(--rule);border-radius:6px;background:var(--surface);cursor:pointer}
.exlist button[aria-pressed="true"]{border-color:var(--accent);color:var(--accent)}
.exlist button .done{color:var(--true)}

/* click-to-build derivation editor */
.db{display:grid;gap:10px;background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:16px 18px}
.db-lbl{font-family:var(--display);font-weight:600;font-size:.88rem;color:var(--ink);margin-top:4px}
.db-scope{display:flex;gap:8px;flex-wrap:wrap;align-items:center;background:var(--accent-soft);border-radius:6px;padding:8px 12px}
.db-rules{display:grid;gap:8px}
.db-group{display:flex;flex-wrap:wrap;gap:6px;align-items:center}
.db-glbl{font-family:var(--display);font-size:.75rem;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);min-width:5.5rem}
.key.rb{font-size:.92rem;min-width:2.8rem}
.key.rb[aria-pressed="true"]{background:var(--accent);color:var(--on-accent);border-color:var(--accent)}
.key:disabled{opacity:.4;cursor:default}
.db-cites{display:flex;flex-wrap:wrap;gap:6px;align-items:center;min-height:2rem}
.chip-x{border:0;background:none;color:var(--muted);cursor:pointer;padding:0 0 0 4px;font:inherit}
.fitch.pick .fn,.pick .fitch .fn{color:var(--accent);cursor:pointer;text-decoration:underline;text-underline-offset:3px;font-weight:600}
.pick .fitch .fn:hover{background:var(--accent-soft);border-radius:3px}
details.textmode summary{cursor:pointer;font-family:var(--display);font-size:.9rem;color:var(--accent)}
details.textmode[open]{display:grid;gap:10px}

/* long status messages wrap instead of spilling out of their column */
.status .pill{white-space:normal;max-width:100%}

/* homework sub-navigation and hub */
.subnav{display:flex;gap:4px;flex-wrap:wrap;border-bottom:1px solid var(--rule)}
.subnav a{font-family:var(--display);font-weight:600;font-size:.92rem;color:var(--muted);text-decoration:none;padding:8px 12px;border-bottom:3px solid transparent;margin-bottom:-1px}
.subnav a[aria-current="page"]{color:var(--accent);border-bottom-color:var(--accent)}
.hwcards{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:16px}
.hwcard{background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:20px 22px;display:grid;gap:10px;align-content:start}
.hwcard h3{font-size:1.2rem}
.hwcard .eg{font-family:var(--mono);font-size:.92rem;color:var(--accent)}

/* homework pages (shared) */
.settings{display:grid;gap:14px;background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:16px 18px}
.setrow{display:flex;flex-wrap:wrap;gap:10px;align-items:center}
.setrow>.lbl{font-family:var(--display);font-weight:600;font-size:.88rem;min-width:7.5rem}
.rulechips{display:flex;flex-wrap:wrap;gap:6px}
.problem{display:grid;gap:8px;border-left:3px solid var(--accent);padding:6px 0 6px 16px}
.problem .stmt{font-family:var(--mono);font-size:1.15rem;overflow-wrap:anywhere}
.codebox{display:flex;flex-wrap:wrap;gap:8px;align-items:center;font-size:.92rem}
.codebox code{background:var(--accent-soft);padding:3px 8px;border-radius:4px;font-size:.95rem}
.codebox input{font-family:var(--mono);padding:5px 8px;border:1px solid var(--rule);border-radius:4px;background:var(--surface);width:10rem}
.hints{display:grid;gap:8px}
.hints p{border-left:3px solid var(--hl);padding:4px 0 4px 12px}
.history{list-style:none;margin:0;padding:0;border-top:1px solid var(--rule)}
.history li{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:12px;align-items:baseline;padding:8px 0;border-bottom:1px solid var(--rule)}
.history button{background:none;border:0;padding:0;font-family:var(--mono);font-size:.92rem;color:var(--accent);cursor:pointer;text-align:left;overflow-wrap:anywhere}
.history .ok{color:var(--true);font-weight:600}

/* chapter video overviews */
#video{border-bottom:1px solid var(--rule)}
.vidgrid{display:grid;grid-template-columns:minmax(0,1.6fr) minmax(0,1fr);gap:28px;align-items:start}
.vidframe{position:relative;width:100%;aspect-ratio:16/9;max-width:100%;border-radius:8px;overflow:hidden;background:var(--surface);border:1px solid var(--rule)}
.vidframe iframe{position:absolute;inset:0;width:100%;height:100%;border:0}
.vidsoon{display:grid;gap:4px;place-content:center;text-align:center;aspect-ratio:16/9;max-width:100%;border:1px dashed var(--rule);border-radius:8px;color:var(--muted);padding:16px}
.vidsoon b{font-family:var(--display);color:var(--ink)}
.vidlink{display:flex;gap:14px;align-items:center;text-decoration:none;color:var(--ink);background:var(--surface);border:1px solid var(--rule);border-radius:8px;padding:18px 20px}
.vidlink:hover{border-color:var(--accent)}
.vidlink b{font-family:var(--display);display:block}
.vidplay{display:grid;place-items:center;width:48px;height:48px;border-radius:50%;background:var(--accent);color:var(--on-accent);font-size:1.1rem;flex:none}
@media (max-width:820px){.vidgrid{grid-template-columns:minmax(0,1fr)}}