/* Interactive figures for the ragtrail post, embedded as iframes. Colors follow the blog theme; IBM Plex Mono keeps the SVG labels inside their boxes. */
:root{
  --bg:#0d0e10; --fg:#f1f3f5; --muted:#78797a; --rule:#26282c; --accent:#2dd4bf;
  --code-bg:#15171a; --th-bg:#15171a;
  --serif:"Lora",Georgia,serif; --mono:"IBM Plex Mono",ui-monospace,Menlo,Consolas,monospace;
  --warm:#2dd4bf; --warm-ink:#04211d; --warm-soft:#123a35; --cold:#6b6d70; --cold-soft:#1c1e22;
  --alarm:#f0876b; --alarm-soft:#3a2019; --surf:#15171a; --line:#2c2f34; --band:#1a1f22;
  --grid:#212327; --axis:#3a3d42; --ink2:#c1c2c5; --mut:#8a8b8d; color-scheme:dark;
}
:root.light{
  --bg:#ffffff; --fg:#191919; --muted:#757575; --rule:#e4e4e7; --accent:#0f766e;
  --code-bg:#f3f3f4; --th-bg:#f3f3f4;
  --warm:#0f766e; --warm-ink:#ffffff; --warm-soft:#d5ecea; --cold:#8a8a8f; --cold-soft:#ececee;
  --alarm:#b4472b; --alarm-soft:#f5e1da; --surf:#f6f6f7; --line:#d4d4d8; --band:#eaf2f1;
  --grid:#ececee; --axis:#c4c4c8; --ink2:#3f3f46; --mut:#757575; color-scheme:light;
}
*{box-sizing:border-box}
html,body{margin:0;padding:0;background:transparent;color:var(--fg)}
body{font-family:var(--serif);font-size:17px;line-height:1.6}
code{font-family:var(--mono);font-size:.82em;background:var(--code-bg);padding:.1em .35em;border-radius:3px}
pre{font-family:var(--mono);font-size:.8rem;line-height:1.55;background:var(--code-bg);padding:14px 16px;border-radius:4px;overflow-x:auto;margin:0}
pre code{background:none;padding:0;font-size:inherit}
.tw{overflow-x:auto}
table{border-collapse:collapse;font-family:var(--mono);font-size:.74rem;line-height:1.4;width:100%;font-variant-numeric:tabular-nums}
th,td{border-bottom:1px solid var(--rule);padding:6px 8px;text-align:left;vertical-align:top}
th{background:var(--th-bg);font-weight:500}
a:focus-visible,button:focus-visible,[tabindex]:focus-visible,input:focus-visible+label{outline:2px solid var(--accent);outline-offset:2px}
/* figure frame */
.fig{margin:0;padding:18px 18px 16px;border:1px solid var(--line);border-radius:6px;background:var(--bg);
  font-family:var(--mono);font-size:.76rem;line-height:1.45;color:var(--fg);min-width:0}
.fh{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:6px 16px;margin:0 0 .3em}
.ft{font-family:var(--serif);font-weight:600;font-size:1.05rem;line-height:1.3;margin:0}
.fs{color:var(--ink2);margin:0 0 1.1em;font-size:.74rem}
.fig figcaption{color:var(--ink2);margin-top:1.1em;padding-top:.8em;border-top:1px solid var(--grid);font-size:.74rem}
.fig details{margin-top:.7em;color:var(--ink2)}
.fig summary{cursor:pointer;font-size:.72rem}
.fig table{min-width:0;margin-top:.5em}
.play{font:500 .7rem var(--mono);color:var(--fg);background:var(--surf);border:1px solid var(--line);border-radius:4px;padding:4px 10px;cursor:pointer}
.play:hover{border-color:var(--axis)}
.play[aria-pressed="true"]{color:var(--mut)}
.arrows{display:flex;gap:6px}
.arrows .play{min-width:2.4rem;font-size:.85rem;padding:3px 10px}
.sc{overflow-x:auto}
.sc svg{display:block;width:100%;height:auto;min-width:32rem}
svg text{font-family:var(--mono);fill:var(--ink2);font-size:11px}
svg .lbl{fill:var(--fg)}
svg .mut{fill:var(--mut)}
.key{display:flex;flex-wrap:wrap;gap:6px 18px;margin:0 0 .9em;color:var(--ink2);font-size:.72rem}
.key i{display:inline-block;width:10px;height:10px;border-radius:2px;margin-right:6px;vertical-align:-1px}
#tip{position:fixed;z-index:50;pointer-events:none;background:var(--bg);color:var(--fg);border:1px solid var(--axis);
  border-radius:4px;padding:6px 9px;font-family:var(--mono);font-size:.72rem;line-height:1.35;max-width:18rem;opacity:0;transition:opacity .08s}
#tip.on{opacity:1}
.ease{transition:opacity .3s,background-color .3s,border-color .3s,color .3s}

/* turns race: one row per case, one column per agent turn; a band marks the current turn while it plays */
.ex{margin:0 0 1em;color:var(--ink2);display:grid;gap:2px}
.ex b{color:var(--fg);font-weight:500}
.race{display:grid;gap:0}
.rr{display:grid;grid-template-columns:9.5rem repeat(5,minmax(0,1fr));align-items:stretch}
.rr+.rr{border-top:1px solid var(--grid)}
.rr.hd{border-top:0}
.rr.hd .sl{color:var(--mut);font-size:.66rem;padding-block:0 6px;text-align:center}
.rl{padding:10px 10px 10px 0;display:flex;flex-direction:column;gap:2px;justify-content:center}
.rl b{font-weight:500;font-size:.78rem}
.rl span{color:var(--ink2);font-size:.68rem}
.rl .cnt{font-variant-numeric:tabular-nums;color:var(--fg);font-weight:500}
.sl{padding:8px 3px;display:flex;flex-direction:column;justify-content:center;transition:background-color .25s}
.sl.now{background:var(--band)}
.blk{border:1px solid var(--line);background:var(--surf);border-radius:4px;padding:6px 7px;min-height:3.4rem;display:flex;flex-direction:column;gap:2px;
  transition:opacity .3s,background-color .3s,border-color .3s,color .3s}
.blk .k{font-weight:500;font-size:.72rem}
.blk .d{color:var(--ink2);font-size:.64rem;line-height:1.35;overflow-wrap:anywhere}
.blk .tag{font-size:.6rem;color:var(--mut)}
.blk.hit{background:var(--warm);border-color:var(--warm);color:var(--warm-ink)}
.blk.hit .d,.blk.hit .tag{color:var(--warm-ink);opacity:.85}
.blk.none{background:transparent;border-style:dashed;border-color:var(--cold)}
.blk.ans{background:var(--fg);border-color:var(--fg);color:var(--bg);justify-content:center}
.blk.ans .d{color:var(--bg);opacity:.75}
.blk.saved{background:transparent;border:1px dashed var(--warm);color:var(--warm);align-items:center;justify-content:center;text-align:center}
.blk.pend{opacity:.18}
@media (max-width:40rem){
  .rr{grid-template-columns:repeat(5,minmax(0,1fr))}
  .rl{grid-column:1/-1;padding:10px 0 2px;flex-direction:row;flex-wrap:wrap;gap:2px 10px;align-items:baseline;justify-content:flex-start}
  .rr.hd .rl{display:none}
  .blk .d{display:none}
  .blk{min-height:2.6rem;padding:5px}
  .rr+.rr{border-top:1px solid var(--grid)}
}

/* trail figure: numbered nodes on thin connectors that branch and merge; small dots travel the connectors */
.sc svg.flow{min-width:36rem}
.sc svg.lc{min-width:30rem}
.sc svg.cols{min-width:30rem;max-width:40rem;margin:0 auto}
@media (prefers-reduced-motion: reduce){.fig .pulse{display:none}}

/* validate on read: stored vs current hash per cited node, and the mode it produces */
.seg-ctl{display:flex;flex-wrap:wrap;gap:0;margin:0 0 14px;border:1px solid var(--line);border-radius:5px;width:max-content;max-width:100%;overflow:hidden}
.seg-ctl input{position:absolute;opacity:0;pointer-events:none}
.seg-ctl label{padding:6px 12px;cursor:pointer;font-size:.7rem;color:var(--ink2);background:var(--surf)}
.seg-ctl label+input+label{border-left:1px solid var(--line)}
.seg-ctl input:checked+label{background:var(--fg);color:var(--bg)}
.vt{display:grid;grid-template-columns:minmax(0,1.6fr) repeat(2,minmax(0,.8fr)) minmax(0,.7fr);font-size:.7rem;font-variant-numeric:tabular-nums}
.vt>div{padding:7px 8px;border-bottom:1px solid var(--grid);min-width:0;overflow-wrap:anywhere}
.vt .th{color:var(--mut);font-size:.64rem;border-bottom-color:var(--axis)}
.vt .cur{transition:background-color .3s,color .3s}
.vt .cur.chg{background:var(--alarm-soft);color:var(--alarm)}
.vt .ok{color:var(--warm);font-weight:500}
.vt .bad{color:var(--alarm);font-weight:500}
.vt .skip{color:var(--mut);text-decoration:line-through}
@media (max-width:30rem){.vt{grid-template-columns:minmax(0,1.3fr) repeat(2,minmax(0,.9fr)) minmax(0,.8fr)}.vt>div{padding:6px 4px}}
.vout{margin-top:14px;display:grid;grid-template-columns:7.5rem minmax(0,1fr);gap:12px;align-items:start}
@media (max-width:30rem){.vout{grid-template-columns:1fr}}
.mode{border-radius:4px;padding:9px 10px;font-weight:500;font-size:.8rem;transition:background-color .3s,color .3s,border-color .3s;border:1px solid transparent}
.mode small{display:block;font-weight:400;font-size:.64rem;margin-top:2px;opacity:.85}
.mode.prefetch{background:var(--warm);color:var(--warm-ink)}
.mode.hint{background:var(--warm-soft);color:var(--fg);border-color:var(--warm)}
.mode.miss{background:var(--cold-soft);color:var(--fg)}
.vmsg{min-width:0}
.vmsg p{margin:0 0 6px;color:var(--ink2);font-size:.72rem}
.vmsg pre{margin:0;font-size:.68rem;padding:10px 12px}

/* horizontal bars */
.hb{display:grid;grid-template-columns:7.5rem minmax(0,1fr) 9rem;gap:6px 10px;align-items:center;font-size:.72rem;font-variant-numeric:tabular-nums}
.hb .grp{grid-column:1/-1;color:var(--fg);font-weight:500;margin-top:8px}
.hb .grp:first-child{margin-top:0}
.hb .nm{color:var(--ink2)}
.hb .tr{height:16px;position:relative;background:linear-gradient(to right,var(--grid) 1px,transparent 1px) 0 0/25% 100%}
.hb .br{position:absolute;inset:0 auto 0 0;border-radius:0 3px 3px 0;background:var(--alarm)}
.hb .zero{position:absolute;left:0;top:-2px;bottom:-2px;width:3px;border-radius:2px;background:var(--warm)}
.hb .vl{color:var(--fg)}
.hb .vl span{color:var(--ink2)}
.hb .ax{grid-column:2;display:flex;justify-content:space-between;color:var(--mut);font-size:.62rem;margin-top:2px}
@media (max-width:34rem){.hb{grid-template-columns:5.5rem minmax(0,1fr)}.hb .vl{grid-column:2}.hb .ax{grid-column:2}}

/* outcome bars */
.seg-row{margin:0 0 14px}
.seg-row .rlb{display:flex;justify-content:space-between;margin:0 0 5px;color:var(--ink2)}
.seg{display:flex;gap:2px;height:30px}
.seg>div{display:flex;align-items:center;padding-left:8px;border-radius:3px;font-size:.72rem;white-space:nowrap;min-width:0;overflow:hidden;font-variant-numeric:tabular-nums}
.seg .s1{background:var(--warm);color:var(--warm-ink)}
.seg .s2{background:var(--warm-soft);color:var(--fg);box-shadow:inset 0 0 0 1px var(--warm)}
.seg .s3{background:var(--cold-soft);color:var(--fg)}
.key .l1{background:var(--warm)}.key .l2{background:var(--warm-soft);box-shadow:inset 0 0 0 1px var(--warm)}.key .l3{background:var(--cold-soft)}
@media (prefers-reduced-motion: reduce){.sl,.blk,.ease,.vt .cur,.mode{transition:none}}