.reveal { font-size: 40px; }
  .reveal h1, .reveal h2, .reveal h3 { color: #0b1f3a; }
  .reveal h1.title { font-size: 1.9em; }
  .reveal h2 { font-size: 1.3em; letter-spacing: -0.01em; }
  .reveal strong { color: #0b1f3a; }
  .reveal blockquote { border-left: 4px solid #2c6fbb; font-size: 0.92em; }

  /* semantic colors used throughout */
  .memory { color: #2c6fbb; font-weight: 700; }
  .shock  { color: #e4572e; font-weight: 700; }
  .muted  { color: #8a8f98; }
  .bigq   { font-size: 1.45em; line-height: 1.3; font-weight: 600; }

  /* dark title slide */
  .reveal #title-slide .title    { color: #ffffff; }
  .reveal #title-slide .subtitle { color: #cfe0f5; font-style: normal; }
  .reveal #title-slide .author,
  .reveal #title-slide .institute{ color: #9bb5e0; }

  /* ---- AR(1) widget (verbatim styles from the verified spike) ---- */
  .ar1-controls { display:flex; gap:1.4em; align-items:center; flex-wrap:wrap;
                  font-size:0.72em; margin:.1em 0 .4em; }
  .ar1-controls label { display:flex; align-items:center; gap:.4em; font-weight:600; }
  .ar1-controls input[type=range] { width:170px; vertical-align:middle; }
  .ar1-controls .cval { min-width:2.6em; font-variant-numeric:tabular-nums; }
  .ar1-controls button { font-size:1em; padding:.12em .7em; cursor:pointer; }
  .ar1-ledger { font-size:0.74em; margin-top:.35em; line-height:1.55; }
  .ar1-ledger .led-eq { font-weight:600; }
  .ar1-ledger .led-num { font-variant-numeric:tabular-nums; margin:.1em 0 .35em; }
  .ar1-ledger .led-row { display:flex; align-items:center; gap:.9em;
                         font-variant-numeric:tabular-nums; margin:.12em 0; }
  .ar1-ledger .led-name { width:9em; }
  .ar1-ledger .led-val  { width:4em; text-align:right; font-weight:600; }
  .ar1-ledger .led-track { position:relative; width:380px; height:15px;
                           background:#f2f2f2; border-radius:3px; }
  .ar1-ledger .led-seg    { position:absolute; top:0; height:15px; border-radius:3px; }
  .ar1-ledger .led-center { position:absolute; left:190px; top:-2px; width:1px;
                            height:19px; background:#999; }
  .ar1-kickout { font-size:0.72em; margin-top:.45em; line-height:1.5;
                 font-variant-numeric:tabular-nums; }