/* Colour carries meaning only: slate = no layer / neutral, indigo = the layer, emerald = pass, rose = deny or loss. */
:root {
  --ink: #0f172a;
  --body: #334155;
  --muted: #64748b;
  --faint: #94a3b8;
  --line: #e2e8f0;
  --soft: #f8fafc;
  --soft2: #f1f5f9;
  --bg: #ffffff;
  --accent: #4f46e5;
  --accent-ink: #3730a3;
  --accent-soft: #eef2ff;
  --accent-mid: #c7d2fe;
  --base: #cbd5e1;
  --base-ink: #94a3b8;
  --pass: #059669;
  --pass-soft: #ecfdf5;
  --deny: #e11d48;
  --deny-soft: #fff1f2;
  --mono: 'IBM Plex Mono', ui-monospace, Menlo, monospace;
  --sans: 'Pretendard Variable', Pretendard, 'Inter', system-ui, -apple-system, 'Apple SD Gothic Neo', sans-serif;
}
html[lang="en"] { --sans: 'Inter', 'Pretendard Variable', system-ui, -apple-system, sans-serif; }
* { box-sizing: border-box; }
html { overflow-x: hidden; scroll-behavior: smooth; }
body { margin: 0; background: var(--bg); color: var(--body); font: 17px/1.75 var(--sans); overflow-x: clip;
  word-break: keep-all; overflow-wrap: break-word; font-variant-numeric: tabular-nums; -webkit-font-smoothing: antialiased; }
html[lang="en"] body { line-height: 1.65; }
a { color: var(--ink); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--accent); }
code { font-family: var(--mono); font-size: .84em; background: var(--soft2); padding: 1px 5px; border-radius: 4px; color: var(--ink); }
b { color: var(--ink); font-weight: 650; }

/* top bar: draft notice + language switch */
.topbar { position: sticky; top: 0; z-index: 30; display: flex; align-items: center; justify-content: space-between; gap: 12px;
  background: rgba(255, 207, 51, .96); color: #111; padding: 7px 18px; font: 600 11px/1.3 var(--mono); letter-spacing: .06em; }
.lang { display: inline-flex; border: 1px solid rgba(0,0,0,.35); border-radius: 999px; overflow: hidden; flex: none; }
.lang a, .lang span { padding: 4px 11px; text-decoration: none; color: #111; font: 600 11px/1 var(--sans); letter-spacing: 0; }
.lang span { background: #111; color: #ffcf33; }

/* hero */
.hero { position: relative; background: #0b1020; color: #fff; overflow: hidden; }
.hero::before { content: ""; position: absolute; inset: 0;
  background: radial-gradient(ellipse 60% 70% at 70% 60%, rgba(99,102,241,.28), transparent 70%),
              radial-gradient(circle at 1px 1px, rgba(255,255,255,.07) 1px, transparent 0) 0 0 / 22px 22px; }
.hero-inner { position: relative; max-width: 1040px; margin: 0 auto; padding: 84px 32px 56px; }
.kicker { font: 500 12px/1 var(--mono); letter-spacing: .14em; color: #a5b4fc; margin: 0 0 24px; }
.hero-title { font-size: clamp(42px, 7vw, 84px); line-height: 1.08; letter-spacing: -.035em; font-weight: 800; margin: 0; }
html[lang="en"] .hero-title { line-height: 1.02; }
.hero-tag { font-size: clamp(17px, 2.1vw, 22px); line-height: 1.6; color: #cbd5e1; max-width: 680px; margin: 24px 0 36px; font-weight: 400; }
.hero-fig { width: 100%; max-width: 920px; display: block; }
.hero-fig text { font-family: var(--sans); }
.hero-fig .m { font-family: var(--mono); }

/* layout */
.post { max-width: 740px; margin: 0 auto; padding: 24px 24px 0; }
.sec { padding-top: 96px; }
.lead { font-size: 21px; line-height: 1.7; color: var(--ink); letter-spacing: -.01em; }
.eyebrow { font: 600 12px/1 var(--mono); letter-spacing: .14em; color: var(--accent); margin: 0 0 14px; text-transform: uppercase; }
h2 { font-size: clamp(27px, 3.4vw, 36px); line-height: 1.3; letter-spacing: -.03em; color: var(--ink); margin: 0 0 20px; font-weight: 750; }
p { margin: 0 0 16px; }

/* figures break out wider than the text column */
.fig { margin: 40px -90px; }
@media (max-width: 1000px) { .fig { margin: 32px 0; } }
.fig-head { display: flex; justify-content: space-between; align-items: flex-end; gap: 12px; flex-wrap: wrap;
  border-top: 2px solid var(--ink); padding: 12px 0 18px; }
.fig-no { display: block; font: 600 11px/1 var(--mono); letter-spacing: .12em; color: var(--muted); margin-bottom: 8px; }
.fig-title { display: block; font-size: 19px; font-weight: 700; color: var(--ink); letter-spacing: -.02em; line-height: 1.35; }
figcaption { font-size: 14px; line-height: 1.7; color: var(--muted); margin-top: 16px; border-top: 1px solid var(--line); padding-top: 12px; }
figcaption b { color: var(--body); }
.cond { font-family: var(--mono); font-size: 12px; color: var(--muted); }
.ctrls { display: flex; gap: 8px; flex-wrap: wrap; }
.seg { display: inline-flex; background: var(--soft2); border-radius: 8px; padding: 3px; }
.seg button { font: 600 12.5px/1 var(--sans); padding: 8px 12px; border: 0; border-radius: 6px; background: transparent; color: var(--muted); cursor: pointer; }
.seg button.on { background: #fff; color: var(--ink); box-shadow: 0 1px 2px rgba(15,23,42,.12), 0 0 0 1px rgba(15,23,42,.04); }

svg { overflow: visible; }
svg text { font-family: var(--sans); }
svg .mono { font-family: var(--mono); }

/* stat strip under figure 1 */
.stats { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 8px; }
.stat { background: var(--soft); border-radius: 10px; padding: 10px 14px; font-size: 14px; color: var(--body); }
.stat b { font-size: 16px; }
.stat .arr { color: var(--accent); font-weight: 700; }

/* goals */
.goals { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin: 44px -90px 0; }
@media (max-width: 1000px) { .goals { margin: 36px 0 0; } }
.goal { background: var(--soft); border-radius: 14px; padding: 22px 22px 16px; }
.goal-k { font: 600 11px/1 var(--mono); letter-spacing: .12em; color: var(--muted); margin: 0 0 14px; }
.goal-v { font-size: 46px; font-weight: 800; letter-spacing: -.04em; color: var(--accent); line-height: 1; margin: 0 0 12px; }
.goal-t { font-size: 14.5px; line-height: 1.6; color: var(--body); margin: 0; }
@media (max-width: 640px) { .goals { grid-template-columns: 1fr; } }

/* figure 2: sequence lanes */
.lanes { background: var(--soft); border-radius: 14px; padding: 18px 18px 20px; }
.lanes[data-v="on"] .lane-h .L { background: var(--accent-soft); border-radius: 8px 8px 0 0; }
.lane-h, .lane-r { display: grid; grid-template-columns: 1fr 1fr 1.45fr 1fr; gap: 10px; }
.lane-h { margin-bottom: 8px; }
.lane-h div { font: 600 11px/1 var(--mono); letter-spacing: .08em; color: var(--muted); text-align: center; padding: 8px 0; border-bottom: 2px solid var(--line); }
.lane-h .L { color: var(--accent); border-color: var(--accent-mid); }
.lanes[data-v="off"] .lane-h .L { color: var(--faint); border-color: var(--line); text-decoration: line-through; }
.lane-r { position: relative; margin-top: 10px; align-items: start; }
.b { position: relative; z-index: 1; background: #fff; border: 1px solid var(--line); border-radius: 12px; padding: 10px 12px; font-size: 14.5px; line-height: 1.55; }
.b .t { display: block; font: 600 10px/1 var(--mono); letter-spacing: .08em; color: var(--faint); margin-bottom: 6px; }
.b.cu { grid-column: 1 / span 2; }
.b.mo { grid-column: 2 / span 2; background: var(--accent-soft); border-color: var(--accent-mid); }
.b.mo2 { grid-column: 2 / span 1; background: var(--accent-soft); border-color: var(--accent-mid); }
.b.la { grid-column: 3 / span 1; border: 1.5px solid var(--deny); }
.b.la .t { color: var(--deny); }
.b.la { font-size: 13.5px; }
.b.la .chk { display: grid; grid-template-columns: auto 1fr; gap: 3px 8px; margin: 4px 0 8px; padding: 8px 10px; background: var(--deny-soft); border-radius: 8px; }
.b.la .x { color: var(--deny); font-weight: 700; }
.b.to { grid-column: 4 / span 1; background: #fff; font-size: 13.5px; }
.b.to2 { grid-column: 4 / span 1; font-size: 13px; }
.b.re { grid-column: 1 / span 2; background: var(--accent-soft); border-color: var(--accent-mid); }
.b.exec { grid-column: 4 / span 1; background: var(--deny-soft); border-color: #fecdd3; color: #9f1239; }
.b.noexec { grid-column: 4 / span 1; background: #fff; border-style: dashed; color: var(--muted); }
.b.ghost { grid-column: 3 / span 1; background: transparent; border: 1.5px dashed var(--base); color: var(--faint); text-align: center; }
.b .q { display: block; margin-top: 6px; color: var(--muted); font-size: 13px; }
.res { margin-top: 14px; border-radius: 10px; padding: 12px 14px; font-size: 14.5px; }
.res.bad { background: var(--deny-soft); color: #9f1239; }
.res.good { background: var(--pass-soft); color: #065f46; }
.lanes[data-v="off"] .on-only, .lanes[data-v="on"] .off-only, .seq[data-v="off"] .on-only, .seq[data-v="on"] .off-only { display: none; }
@media (max-width: 640px) {
  .lane-h { display: none; }
  .lane-r { grid-template-columns: 1fr; }
  .b { grid-column: 1 / -1 !important; }
  .b .t::before { content: attr(data-lane) " · "; }
}

/* figure 3: closed vs open */
.twocol { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; }
@media (max-width: 720px) { .twocol { grid-template-columns: 1fr; } }
.col { border-radius: 14px; padding: 22px; }
.col.closed { background: var(--accent-soft); }
.col.open { background: var(--soft); border: 1px dashed var(--base); }
.col-h { display: flex; align-items: center; gap: 10px; font-size: 17px; font-weight: 750; margin: 0 0 4px; color: var(--ink); }
.col-h .pill { font: 700 10.5px/1 var(--mono); letter-spacing: .08em; padding: 5px 8px; border-radius: 999px; }
.closed .pill { background: var(--accent); color: #fff; }
.open .pill { background: var(--base); color: var(--ink); }
.col-s { font-size: 14px; color: var(--muted); margin-bottom: 14px; }
.col ul { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 8px; }
.col li { display: grid; grid-template-columns: 30px 1fr; gap: 10px; align-items: center; background: #fff; border-radius: 10px; padding: 10px 12px; font-size: 14.5px; line-height: 1.5; }
.col li svg { width: 30px; height: 30px; }
.col li small { display: block; font: 600 10px/1.2 var(--mono); letter-spacing: .08em; color: var(--faint); margin-bottom: 2px; text-transform: uppercase; }

/* one-turn scrolly */
.scrolly { display: grid; grid-template-columns: 1.25fr 1fr; gap: 40px; margin: 24px -90px 0; }
.scrolly-fig { position: sticky; top: 72px; align-self: start; }
.scrolly-steps { padding: 12vh 0 24vh; }
.step { min-height: 46vh; padding: 4px 0 0 20px; border-left: 2px solid var(--line); opacity: .38; transition: opacity .3s, border-color .3s; }
.step.on { opacity: 1; border-color: var(--accent); }
.step-n { display: inline-block; font: 700 11.5px/1 var(--mono); letter-spacing: .08em; color: #fff; background: var(--accent); padding: 5px 8px; border-radius: 6px; margin-bottom: 12px; }
.step[data-s="4"] .step-n { background: var(--pass); }
.step[data-s="5"] .step-n { background: var(--deny); }
.step[data-s="6"] .step-n { background: var(--ink); }
@media (max-width: 1000px) {
  .scrolly { margin: 24px 0 0; grid-template-columns: 1fr; gap: 12px; }
  .scrolly-fig { top: 34px; background: #fff; z-index: 3; padding: 6px 0; }
  .scrolly-steps { padding: 0 0 10vh; }
  .step { min-height: 38vh; }
}
.aside { background: var(--deny-soft); border-radius: 14px; padding: 20px 22px; margin-top: 28px; }
.aside-h { font-weight: 750; color: #9f1239; margin-bottom: 6px; }
.aside p:last-child { margin: 0; font-size: 15.5px; }

/* lever explorer */
.lx { display: grid; grid-template-columns: 200px 1fr; border: 1px solid var(--line); border-radius: 14px; overflow: hidden; }
.lx-tabs { background: var(--soft); display: flex; flex-direction: column; padding: 8px; gap: 2px; }
.lx-tab { text-align: left; border: 0; background: transparent; padding: 11px 12px; cursor: pointer; font: 600 15px/1.2 var(--sans); color: var(--muted); border-radius: 9px; display: flex; gap: 10px; align-items: center; }
.lx-tab .id { font: 700 11px/1 var(--mono); padding: 5px 6px; border-radius: 5px; background: var(--soft2); color: var(--muted); }
.lx-tab:hover { background: #fff; }
.lx-tab.on { background: #fff; color: var(--ink); box-shadow: 0 1px 2px rgba(15,23,42,.08); }
.lx-tab.on .id { background: var(--accent); color: #fff; }
.lx-body { padding: 26px 28px; min-height: 440px; }
.lx-title { font-size: 22px; font-weight: 750; color: var(--ink); letter-spacing: -.02em; margin: 0 0 6px; }
.lx-catch { color: var(--muted); font-size: 15px; margin-bottom: 18px; }
.io { display: grid; grid-template-columns: 1fr 24px 1fr 24px 1fr; align-items: stretch; margin-bottom: 18px; }
.io > div { border: 1px solid var(--line); border-radius: 10px; padding: 11px 12px; font-size: 13.5px; line-height: 1.55; }
.io > i { align-self: center; justify-self: center; width: 0; height: 0; border-left: 7px solid var(--base); border-top: 6px solid transparent; border-bottom: 6px solid transparent; }
.io .h { font: 700 10px/1 var(--mono); letter-spacing: .1em; color: var(--faint); margin-bottom: 7px; display: block; }
.io .dec { border-color: var(--accent); background: var(--accent-soft); }
.io .dec .h { color: var(--accent); }
.ex { font-family: var(--mono); font-size: 12.5px; line-height: 1.7; background: #0f172a; color: #cbd5e1; border-radius: 10px; padding: 14px 16px; margin-bottom: 20px; white-space: pre-wrap; }
.ex .d { color: #fb7185; font-weight: 600; } .ex .p { color: #34d399; } .ex .c { color: #64748b; } .ex .o { color: #fbbf24; font-weight: 600; }
.abl-h { font: 700 10.5px/1 var(--mono); letter-spacing: .1em; color: var(--faint); margin: 0 0 6px; }
@media (max-width: 720px) {
  .lx { grid-template-columns: 1fr; }
  .lx-tabs { flex-direction: row; overflow-x: auto; }
  .lx-tab { white-space: nowrap; }
  .io { grid-template-columns: 1fr; gap: 8px; }
  .io > i { display: none; }
  .lx-body { padding: 18px; }
}

/* reliability */
.rel { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; }
@media (max-width: 720px) { .rel { grid-template-columns: 1fr; } }
.rel-card { background: var(--soft); border-radius: 14px; padding: 20px; }
.rel-h { font-weight: 750; color: var(--ink); margin-bottom: 10px; }
.rel-t { font-size: 14px; color: var(--muted); margin: 12px 0 0; }

/* limits */
.limits { display: grid; grid-template-columns: repeat(3, 1fr); gap: 12px; margin: 8px -90px 18px; }
@media (max-width: 1000px) { .limits { margin: 8px 0 18px; } }
@media (max-width: 720px) { .limits { grid-template-columns: 1fr; } }
.lim { background: var(--soft); border-radius: 14px; padding: 20px; font-size: 14.5px; line-height: 1.65; }
.lim-v { font-size: 26px; font-weight: 800; color: var(--base-ink); letter-spacing: -.03em; line-height: 1; margin-bottom: 10px; }
.lim-h { font-weight: 750; color: var(--ink); margin-bottom: 6px; }
.note { font-size: 15px; color: var(--muted); }

/* details */
details.expand { border-top: 1px solid var(--line); }
details.expand:last-of-type { border-bottom: 1px solid var(--line); }
details.expand > summary { cursor: pointer; list-style: none; display: flex; align-items: center; gap: 14px; padding: 17px 0; font-weight: 650; color: var(--ink); }
details.expand > summary::-webkit-details-marker { display: none; }
details.expand > summary::before { content: ""; width: 8px; height: 8px; flex-shrink: 0; border-right: 2px solid var(--accent); border-bottom: 2px solid var(--accent); transform: rotate(-45deg); transition: transform .15s; }
details.expand[open] > summary::before { transform: rotate(45deg); }
details.expand p { font-size: 15.5px; padding-left: 22px; }

/* cite + footer */
.bib { position: relative; background: #0f172a; border-radius: 12px; }
.bib pre { margin: 0; padding: 20px; color: #cbd5e1; font: 13px/1.6 var(--mono); overflow-x: auto; }
.copy { position: absolute; right: 10px; top: 10px; font: 600 11px/1 var(--mono); letter-spacing: .1em; background: #1e293b; color: #fff; border: 0; border-radius: 6px; padding: 7px 10px; cursor: pointer; }
.foot { max-width: 740px; margin: 96px auto 0; padding: 24px 24px 64px; border-top: 1px solid var(--line); font-size: 13.5px; color: var(--muted); }

/* hover tooltip for charts */
.tip { position: fixed; z-index: 40; pointer-events: none; background: #0f172a; color: #fff; font: 500 12.5px/1.4 var(--sans);
  padding: 6px 9px; border-radius: 6px; opacity: 0; transition: opacity .1s; transform: translate(-50%, calc(-100% - 10px)); white-space: nowrap; }
.tip b { color: #a5b4fc; }

@media (max-width: 640px) {
  body { font-size: 16px; }
  .topbar { padding: 6px 12px; font-size: 9px; }
  .hero-inner { padding: 52px 16px 40px; }
  .post { padding: 12px 16px 0; }
  .sec { padding-top: 68px; }
  .lead { font-size: 18.5px; }
  .lanes { padding: 12px; }
}

/* Korean: mono + wide tracking breaks up Hangul, so small labels use the sans face */
html[lang="ko"] .fig-no, html[lang="ko"] .eyebrow, html[lang="ko"] .goal-k, html[lang="ko"] .lane-h div,
html[lang="ko"] .b .t, html[lang="ko"] .step-n, html[lang="ko"] .io .h, html[lang="ko"] .abl-h, html[lang="ko"] .topbar > span {
  font-family: var(--sans); letter-spacing: .01em; font-weight: 700; }
html[lang="ko"] .fig-no { font-size: 12px; }
html[lang="ko"] .eyebrow { font-size: 13px; }
html[lang="ko"] .goal-k { font-size: 13px; }
html[lang="ko"] .lane-h div { font-size: 12.5px; }
html[lang="ko"] .b .t { font-size: 11.5px; }
html[lang="ko"] .io .h { font-size: 11.5px; }
html[lang="ko"] .abl-h { font-size: 12px; }
html[lang="ko"] .step-n { font-size: 12.5px; }
/* wide screens: give the one-turn figure more room */
@media (min-width: 1280px) { .scrolly { margin: 24px -200px 0; grid-template-columns: 1.4fr 1fr; } }

/* ═══════════════ v3: fewer boxes, role glyphs, live figures ═══════════════ */

/* hero: live stream of calls through the gate */
.hero-anim { width: 100%; max-width: 980px; }
.hero-anim svg { width: 100%; display: block; overflow: visible; }

/* goals and limits: big numbers on thin rules instead of cards */
.goals { gap: 0; border-top: 2px solid var(--ink); }
.goal { background: none; border-radius: 0; padding: 22px 26px 8px 0; }
.goal + .goal { border-left: 1px solid var(--line); padding-left: 26px; }
.goal-v { font-size: 58px; }
@media (max-width: 640px) { .goal + .goal { border-left: 0; padding-left: 0; border-top: 1px solid var(--line); } }
.limits { gap: 0; border-top: 2px solid var(--ink); }
.lim { background: none; border-radius: 0; padding: 20px 24px 6px 0; }
.lim + .lim { border-left: 1px solid var(--line); padding-left: 24px; }
.lim-v { font-size: 52px; color: var(--base-ink); }
@media (max-width: 720px) { .lim + .lim { border-left: 0; padding-left: 0; border-top: 1px solid var(--line); } }

/* closed vs open: one split, no cards */
.twocol { gap: 0; }
.col { border-radius: 0; padding: 4px 28px 8px; }
.col.closed { background: none; border-right: 2px solid var(--ink); padding-left: 0; }
.col.open { background: none; border: 0; }
.col li { background: none; border-bottom: 1px solid var(--line); border-radius: 0; padding: 12px 0; }
.col li:last-child { border-bottom: 0; }
@media (max-width: 720px) { .col.closed { border-right: 0; border-bottom: 2px solid var(--ink); padding: 0 0 12px; } .col.open { padding: 16px 0 0; } }

/* figure 2: a real sequence diagram */
.seq { position: relative; }
.seq-heads, .sr { display: grid; grid-template-columns: repeat(4, 1fr); column-gap: 0; }
.sh { display: flex; flex-direction: column; align-items: center; gap: 6px; padding-bottom: 12px; color: var(--muted);
  font: 700 13px/1.2 var(--sans); letter-spacing: .02em; }
.sh svg { width: 44px; height: 44px; color: var(--body); }
.sh.L svg { color: var(--accent); }
.seq[data-v="off"] .sh.L { opacity: .35; }
.seq-body { position: relative; padding: 6px 0 10px; }
.seq-body::before { content: ""; position: absolute; inset: 0;
  background: linear-gradient(to right, transparent calc(12.5% - 1px), #cbd5e1 calc(12.5% - 1px), #cbd5e1 12.5%, transparent 12.5%,
    transparent calc(37.5% - 1px), #cbd5e1 calc(37.5% - 1px), #cbd5e1 37.5%, transparent 37.5%,
    transparent calc(62.5% - 1px), #a5b4fc calc(62.5% - 1px), #a5b4fc 62.5%, transparent 62.5%,
    transparent calc(87.5% - 1px), #cbd5e1 calc(87.5% - 1px), #cbd5e1 87.5%, transparent 87.5%); }
.seq[data-v="off"] .seq-body::before { background: linear-gradient(to right, transparent calc(12.5% - 1px), #cbd5e1 calc(12.5% - 1px), #cbd5e1 12.5%, transparent 12.5%,
    transparent calc(37.5% - 1px), #cbd5e1 calc(37.5% - 1px), #cbd5e1 37.5%, transparent 37.5%,
    transparent calc(87.5% - 1px), #cbd5e1 calc(87.5% - 1px), #cbd5e1 87.5%, transparent 87.5%); }
.sr { position: relative; margin: 14px 0; align-items: start; }
.msg { position: relative; margin: 0 calc(50% / var(--span, 1)); padding: 0 6px 12px; text-align: center; font-size: 14.5px; line-height: 1.45; color: var(--ink);
  width: auto; justify-self: stretch; }
.msg::after { content: ""; position: absolute; left: 0; right: 0; bottom: 0; border-top: 2px solid var(--ink); }
.msg.r::before, .msg.l::before { content: ""; position: absolute; bottom: -5px; width: 0; height: 0; border-top: 6px solid transparent; border-bottom: 6px solid transparent; }
.msg.r::before { right: -2px; border-left: 10px solid var(--ink); }
.msg.l::before { left: -2px; border-right: 10px solid var(--ink); }
.msg.deny { color: var(--deny); font-weight: 600; }
.msg.deny::after { border-top: 2px dashed var(--deny); }
.msg.deny::before { border-right-color: var(--deny); }
.msg .n { display: inline-flex; align-items: center; justify-content: center; width: 20px; height: 20px; border-radius: 50%; background: var(--ink); color: #fff;
  font: 700 11px/1 var(--mono); margin-right: 8px; vertical-align: 1px; }
.msg .why { display: block; font-size: 12.5px; color: var(--muted); }
.seq[data-v="on"] .msg.to-layer { grid-column: 2 / 4 !important; --span: 2 !important; }
.snote { justify-self: center; text-align: center; font-size: 13.5px; line-height: 1.45; background: #fff; border: 1.5px solid var(--line); border-radius: 10px; padding: 8px 12px; z-index: 1; }
.snote.bad { background: var(--deny-soft); border-color: #fecdd3; color: #9f1239; }
.slip { justify-self: stretch; margin: 0 6px; background: #fff; border: 1.5px solid var(--deny); border-bottom: 0; padding: 12px 14px 18px; z-index: 1;
  font-size: 13px; line-height: 1.5; position: relative;
  -webkit-mask: linear-gradient(#000 0 0) top / 100% calc(100% - 8px) no-repeat, conic-gradient(from -45deg at bottom, #0000, #000 1deg 89deg, #0000 90deg) bottom / 16px 8px repeat-x;
          mask: linear-gradient(#000 0 0) top / 100% calc(100% - 8px) no-repeat, conic-gradient(from -45deg at bottom, #0000, #000 1deg 89deg, #0000 90deg) bottom / 16px 8px repeat-x; }
.slip p { margin: 0 0 4px; }
.slip-h { font: 700 11px/1.2 var(--mono); letter-spacing: .06em; color: var(--deny); }
.slip-x { background: var(--deny-soft); color: #9f1239; border-radius: 6px; padding: 6px 8px; margin: 6px 0 8px !important; font-weight: 600; }
.seq .res { margin-top: 18px; }
.seq[data-v="off"] .on-only, .seq[data-v="on"] .off-only { display: none; }
@media (max-width: 720px) {
  .seq-heads { display: none; }
  .seq-body::before { display: none; }
  .sr { display: block; margin: 10px 0; }
  .msg { margin: 0 !important; text-align: left; padding: 10px 12px; background: #fff; border: 1px solid var(--line); border-radius: 10px; }
  .msg::after, .msg::before { display: none; }
  .snote, .slip { margin: 8px 0 0; }
}

/* the mechanism on a dark full-bleed band */
.sec.dark { position: relative; color: #cbd5e1; padding-bottom: 72px; }
.sec.dark::before { content: ""; position: absolute; top: 48px; bottom: 0; left: 50%; width: 100vw; transform: translateX(-50%); background: #0b1020; z-index: -1; }
.sec.dark { padding-top: 120px; }
.sec.dark h2 { color: #fff; }
.sec.dark .eyebrow { color: #a5b4fc; }
.sec.dark .step { border-color: #334155; }
.sec.dark .step.on { border-color: #818cf8; }
.sec.dark .step p { color: #cbd5e1; }
.sec.dark .scrolly-fig { background: transparent; }
@media (max-width: 1000px) { .sec.dark .scrolly-fig { background: #0b1020; } }
.sec.dark .aside { background: rgba(251,113,133,.10); }
.sec.dark .aside-h { color: #fda4af; }
.sec.dark .aside p { color: #e2e8f0; }
body { position: relative; z-index: 0; }

/* lever explorer: tabs as switches */
.lx-tab { justify-content: space-between; }
.lx-tab .sw { width: 34px; height: 20px; border-radius: 10px; background: var(--accent); position: relative; flex: none; transition: background .2s; }
.lx-tab .sw::after { content: ""; position: absolute; top: 3px; left: 17px; width: 14px; height: 14px; border-radius: 50%; background: #fff; transition: left .2s; }
.lx-tab.on .sw { background: #cbd5e1; }
.lx-tab.on .sw::after { left: 3px; }
.lx-tab .lbl { display: flex; align-items: center; gap: 10px; }
.lx-hint { font: 600 12px/1.3 var(--sans); color: var(--muted); padding: 6px 12px 10px; }
@media (max-width: 720px) { .lx-hint { display: none; } }
.lx-tab .lbl { flex: 1; min-width: 0; }
.lx { grid-template-columns: 230px 1fr; }
@media (max-width: 720px) { .lx { grid-template-columns: 1fr; } }

/* ═══════════════ v4: review round 2 ═══════════════ */
.slip { -webkit-mask: none; mask: none; border-bottom: 1.5px dashed var(--deny); border-radius: 4px 4px 0 0; padding-bottom: 14px; }
.msg code, .slip code, .snote code { white-space: nowrap; }
.lx-body { min-height: 600px; }
@media (max-width: 720px) {
  .lx-tabs { display: grid; grid-template-columns: repeat(4, 1fr); overflow: visible; }
  .lx-tab { white-space: normal; flex-direction: column; align-items: flex-start; gap: 6px; padding: 8px; font-size: 13px; }
  .lx-tab .lbl { flex-direction: column; align-items: flex-start; gap: 3px; }
  .lx-body { min-height: 0; }
}
/* narrow screens keep the scroll-driven figure: it sticks under the top bar, steps scroll beneath it */
@media (max-width: 1000px) {
  .scrolly-fig { position: sticky; top: 30px; z-index: 3; padding: 8px 0 10px; }
  .sec.dark .scrolly-fig { background: #0b1020; box-shadow: 0 12px 16px -8px #0b1020; }
  .scrolly-steps { padding: 8vh 0 40vh; }
  .step { min-height: 62vh; opacity: .35; }
  .step.on { opacity: 1; }
}
.fig-legend { display: flex; flex-wrap: wrap; gap: 6px 18px; font-size: 13px; color: var(--muted); margin: -4px 0 10px; }
.fig-legend i { display: inline-block; width: 11px; height: 11px; border-radius: 50%; margin-right: 6px; vertical-align: -1px; }
.hero-nav { display: flex; flex-wrap: wrap; gap: 8px; margin: -12px 0 30px; }
.hero-nav a { font: 600 13px/1 var(--sans); color: #c7d2fe; text-decoration: none; border: 1px solid rgba(165,180,252,.35); border-radius: 999px; padding: 8px 13px; }
.hero-nav a:hover { background: rgba(165,180,252,.12); color: #fff; }
.hero-key { display: none; }
@media (max-width: 640px) {
  .hero-key { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: 12.5px; color: #cbd5e1; margin-top: 10px; }
  .hero-key svg { width: 18px; height: 18px; vertical-align: -4px; margin-right: 4px; }
}

/* published: the top bar only carries the language switch */
.topbar { background: rgba(255,255,255,.94); border-bottom: 1px solid var(--line); justify-content: flex-end; padding: 6px 18px; backdrop-filter: blur(8px); }
.topbar > span:empty { display: none; }
.lang { border-color: var(--line); }
.lang a, .lang span { color: var(--muted); }
.lang span { background: var(--ink); color: #fff; }