/* ───────── Base de las demos ───────── */
.slide[data-ctrl] { padding-bottom: 44px; }
.slide[data-ctrl] header { margin-bottom: 22px; }
.demo { flex: 1; min-height: 0; position: relative; display: grid; gap: 24px; }

.toolbar { display: flex; align-items: center; gap: 12px; flex-wrap: nowrap; min-height: 58px; }
.tb-label { font-size: 24px; font-weight: 700; margin-right: 4px; }
.chip {
  font: 500 23px var(--font-code); color: var(--ink); background: rgba(255, 255, 255, .42);
  border: 2px solid var(--ink); border-radius: 999px; padding: 8px 18px; cursor: pointer; white-space: nowrap;
}
.chip:hover { background: rgba(255, 255, 255, .7); }
.chip.on { background: var(--ink); color: var(--amber); }
.chip:focus-visible, .expr-input:focus-visible, .sim-run:focus-visible { outline: 4px solid var(--indigo); outline-offset: 2px; }
.expr-input {
  font: 500 23px var(--font-code); width: 460px; padding: 9px 16px; border-radius: 14px;
  border: 2px solid var(--ink); background: #FFF6E6; color: var(--ink);
}
.expr-input::placeholder { color: var(--ink-soft); }
.tb-error { font-size: 20px; font-weight: 600; color: #7A1206; }

.caption {
  display: flex; align-items: center; gap: 22px; min-height: 84px;
  background: rgba(255, 255, 255, .38); border-radius: 22px; padding: 14px 26px;
}
.step-pill {
  flex: none; background: var(--indigo); color: var(--paper); border-radius: 999px;
  padding: 8px 20px; font: 700 22px var(--font-body); font-variant-numeric: tabular-nums; white-space: nowrap;
}
.caption-text { font-size: 29px; line-height: 1.35; color: var(--ink); }
.caption-text code { background: var(--navy); color: var(--paper); padding: 2px 12px; border-radius: 8px; white-space: nowrap; }
.caption-text .ok-text { color: #0B5B34; }
.caption-text .warn-text { color: #8A1C0A; }
.caption-text code.lbl { color: var(--coral); }

/* ───────── Árboles SVG ───────── */
.tree { width: 100%; height: 100%; display: block; overflow: visible; }
.tree .edge { stroke: var(--muted); stroke-width: 3.5; }
.tree .edge.hot { stroke: var(--gold); stroke-width: 5; }
.tree .edge.enter { stroke-dasharray: 1; stroke-dashoffset: 1; animation: draw .55s var(--ease) .12s forwards; }
@keyframes draw { to { stroke-dashoffset: 0; } }
.tree .node { transform-box: fill-box; transform-origin: center; transition: opacity .3s; }
.tree .node circle { fill: var(--gold); }
.tree .node rect { fill: var(--cyan); }
.tree .node > text { fill: var(--navy); font-family: var(--font-code); font-weight: 700; text-anchor: middle; dominant-baseline: central; }
.tree .node .sub { font-size: 18px; fill: var(--paper); }
.tree .node.pending > circle, .tree .node.pending > rect { fill: var(--navy-2); stroke: var(--navy-line); stroke-width: 3; }
.tree .node.pending > text { fill: var(--muted); }
.tree .node.active > circle, .tree .node.active > rect { stroke: var(--paper); stroke-width: 6; filter: drop-shadow(0 0 14px rgba(255, 255, 255, .55)); }
.tree .node.operand > circle, .tree .node.operand > rect { stroke: var(--violet); stroke-width: 6; }
.tree .node.dup > circle, .tree .node.dup > rect { stroke: var(--green); stroke-width: 6; }
.tree .node.enter { animation: pop .5s var(--ease) both; }
.tree .node.pulse { animation: pulse .7s ease-in-out 2; }
@keyframes pop { from { transform: scale(0); opacity: 0; } 70% { transform: scale(1.15); } to { transform: scale(1); opacity: 1; } }
@keyframes pulse { 50% { transform: scale(1.18); } }
.tree .badge rect { fill: var(--coral); }
.tree .badge text { fill: var(--navy); font: 700 21px var(--font-code); text-anchor: middle; dominant-baseline: central; }
.tree .badge.reuse rect { fill: var(--green); }
.tree .badge.type rect { fill: var(--violet); }
.tree .badge.enter { transform-box: fill-box; transform-origin: left center; animation: pop .45s var(--ease) .15s both; }
.tree .hint { fill: var(--muted); font: 500 30px var(--font-body); text-anchor: middle; }

.legend { display: flex; gap: 30px; justify-content: center; font-size: 21px; color: var(--muted); }
.legend span { display: flex; align-items: center; gap: 10px; }
.legend i { display: inline-block; width: 26px; height: 22px; }
.lg-op { background: var(--gold); border-radius: 50%; width: 24px !important; height: 24px !important; }
.lg-leaf { background: var(--cyan); border-radius: 6px; }

/* Código TAC */
.tac { list-style: none; margin: 0; padding: 0; font-family: var(--font-code); }
.tac li { display: flex; align-items: center; gap: 18px; font-size: 34px; line-height: 1; padding: 11px 16px; border-radius: 12px; border-left: 6px solid transparent; }
.tac li.current { background: var(--navy-2); border-left-color: var(--gold); }
.tac li.pending { opacity: .35; }
.tac .ln { font-size: 20px; color: var(--muted); min-width: 26px; text-align: right; }
.tac li.typing code { animation: type .7s steps(22) both; }
@keyframes type { from { clip-path: inset(0 100% 0 0); } to { clip-path: inset(0 0 0 0); } }
.tac.small li { font-size: 26px; padding: 6px 10px; }
.tac.mid li { font-size: 48px; padding: 10px 12px; }

.flyer {
  position: absolute; left: 0; top: 0; z-index: 4; pointer-events: none;
  font: 700 30px var(--font-code); background: var(--navy); border: 3px solid var(--coral);
  border-radius: 999px; padding: 2px 14px;
}

/* ───────── Demo 1: expresión → AST ───────── */
.demo-ast { grid-template-columns: 540px 1fr; grid-template-rows: auto 1fr auto; }
.demo-ast .toolbar, .demo-ast .caption { grid-column: 1 / -1; }
.ast-left { display: grid; grid-template-rows: auto 1fr; gap: 24px; min-height: 0; }
.src-card { padding: 26px 30px; }
.src-expr { font-size: 32px; font-weight: 700; white-space: pre-wrap; word-break: break-word; line-height: 1.4; }
.src-expr .mark { background: var(--violet); color: var(--navy); border-radius: 8px; padding: 0 4px; }
.src-expr .unread { color: #8A92B8; }
.log-card { min-height: 0; overflow: hidden; }
.log { margin: 0; padding-left: 38px; columns: 2; column-gap: 30px; font-size: 25px; color: var(--muted); }
.log li { padding: 5px 0; break-inside: avoid; }
.log li.current { color: var(--gold); font-weight: 700; }
.log li b { color: var(--paper); font-family: var(--font-code); }
.demo-ast .tree-card { display: grid; grid-template-rows: 1fr auto; min-height: 0; padding: 20px 26px; }

/* ───────── Demo 2: AST → TAC ───────── */
.demo-tac { grid-template-columns: 1fr 640px; grid-template-rows: 1fr auto; }
.demo-tac .caption { grid-column: 1 / -1; }
.demo-tac .tree-card { display: grid; grid-template-rows: auto 1fr; min-height: 0; padding: 22px 26px; }
.demo-tac .card-label .mono { text-transform: none; letter-spacing: 0; color: var(--paper); font-size: 22px; }
.code-card { display: flex; flex-direction: column; min-height: 0; }
.code-card .tac { flex: 1; }
.stats { display: flex; gap: 16px; }
.stats span { background: var(--navy-2); border-radius: 12px; padding: 10px 16px; font-size: 22px; color: var(--muted); }
.stats b { color: var(--cyan); font-size: 26px; }

/* ───────── Demo 3: AST vs DAG ───────── */
.demo-dag { grid-template-columns: 1fr 1fr; grid-template-rows: auto 1fr auto; }
.demo-dag .toolbar, .demo-dag .caption { grid-column: 1 / -1; }
.demo-dag .tree-card { display: grid; grid-template-rows: auto 1fr; min-height: 0; padding: 22px 26px; position: relative; }
.demo-dag .card-label .muted { text-transform: none; letter-spacing: 0; font-weight: 500; }
.demo-dag.final .ast-card svg, .demo-dag.final .ast-card > .card-label { display: none; }
.compare[hidden] { display: none; }
.compare { display: grid; grid-template-columns: 1fr 1fr; gap: 26px; align-content: start; }
.compare .card-label.ok { color: var(--green); }

/* ───────── Demo 4: tablas ───────── */
.demo-tables { grid-template-columns: 430px 1fr; grid-template-rows: 1fr auto; }
.demo-tables .caption { grid-column: 1 / -1; }
.demo-tables .code-card { padding: 26px 26px; }
.src-small { font-size: 28px; font-weight: 700; margin: 0 0 22px; }
.demo-tables .tac li { font-size: 29px; padding: 9px 12px; }
.tables { display: grid; grid-template-columns: 1.3fr 1.05fr .66fr; gap: 20px; min-height: 0; }
.tcard { padding: 22px 20px; }
.tcard .card-label { font-size: 18px; letter-spacing: .08em; }
.tcard .card-label .muted { text-transform: none; font-weight: 500; }
table.ir { width: 100%; border-collapse: separate; border-spacing: 0 6px; font: 500 26px var(--font-code); }
table.ir th { font: 700 17px var(--font-body); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); padding: 4px 6px; }
table.ir td { text-align: center; padding: 9px 6px; background: var(--navy-2); color: var(--paper); }
table.ir td:first-child { border-radius: 10px 0 0 10px; }
table.ir td:last-child { border-radius: 0 10px 10px 0; }
table.ir td.idx { color: var(--muted); font-size: 21px; }
table.ir td.op { color: var(--gold); }
table.ir td.tmp { color: var(--cyan); }
table.ir td.ref { color: var(--violet); font-weight: 700; }
table.ir tr.enter td { animation: rowIn .5s var(--ease) both; }
@keyframes rowIn { from { opacity: 0; transform: translateX(-30px); } to { opacity: 1; transform: none; } }
table.ir tr.current td { background: #2D3766; box-shadow: inset 0 3px 0 var(--gold), inset 0 -3px 0 var(--gold); }
table.ir tr.referenced td { box-shadow: inset 0 3px 0 var(--violet), inset 0 -3px 0 var(--violet); }
table.ir tr.warn td.ref { color: var(--coral); }
table.ir tr.warn td.ref::after { content: ' ⚠'; }
table.ir tr.good td { box-shadow: inset 0 3px 0 var(--green), inset 0 -3px 0 var(--green); }

/* ───────── Demos 5–6: control de flujo ───────── */
.demo-cf { grid-template-columns: 600px 1fr; grid-template-rows: 1fr auto; }
.demo-cf .caption { grid-column: 1 / -1; }
.demo-cf .src-card { display: flex; flex-direction: column; }
.src-code { margin: 0; font-size: 38px; line-height: 1.5; color: var(--paper); }
.src-code .mark { background: var(--violet); color: var(--navy); border-radius: 8px; }
.sim { margin-top: auto; border-top: 2px solid var(--navy-line); padding-top: 18px; display: grid; gap: 14px; }
.sim .card-label { margin: 0; }
.sim-envs { display: flex; gap: 10px; flex-wrap: wrap; }
.sim .chip { color: var(--paper); border-color: var(--muted); background: transparent; font-size: 21px; }
.sim .chip.on { background: var(--paper); color: var(--navy); }
.sim-run {
  justify-self: start; background: var(--gold); color: var(--navy); border: 0; border-radius: 14px;
  padding: 12px 26px; font: 700 24px var(--font-body); cursor: pointer;
}
.sim-run:disabled { background: var(--navy-2); color: var(--muted); cursor: not-allowed; }
.sim-state { font-size: 24px; color: var(--cyan); min-height: 32px; }
.sim-state b { color: var(--green); }
.cf-wrap { display: flex; align-items: flex-start; }
.jumps { width: 110px; flex: none; overflow: visible; }
.jumps .jump { fill: none; stroke: var(--coral); stroke-width: 4; }
.jumps .jump.back { stroke: var(--gold); }
.jumps marker path { fill: var(--coral); }
.jumps .jump.enter { stroke-dasharray: 1; stroke-dashoffset: 1; animation: draw .6s var(--ease) .2s forwards; }
.jumps .jump.taken { stroke: var(--green); stroke-width: 7; filter: drop-shadow(0 0 8px rgba(91, 228, 155, .7)); }
.tac.cf { flex: 1; }
.tac.cf li { height: 72px; padding: 0 16px; font-size: 40px; }
.tac.cf .lbl-col { min-width: 70px; color: var(--muted); }
.tac.cf li { padding-left: 4px; }
.tac.cf li.ghost { opacity: .7; }
.tac.cf li.ghost .lbl { outline: 2px dashed var(--coral); outline-offset: 4px; border-radius: 4px; }
.tac.cf li.pc { background: rgba(255, 189, 89, .18); border-left-color: var(--gold); }

/* ───────── Slide 3: pipeline ───────── */
.demo-pipe { grid-template-rows: auto auto 1fr; gap: 18px; --col: calc((1712px - 6 * 22px) / 7); }
.groups, .phases { display: grid; grid-template-columns: repeat(7, 1fr); gap: 22px; }
/* Corchetes de grupo: la etiqueta es una píldora centrada sobre la línea */
.groups { align-items: end; height: 100px; }
.grp {
  --gc: var(--indigo); position: relative; height: 60px;
  border: 5px solid var(--gc); border-bottom: 0; border-radius: 20px 20px 0 0;
  transition: border-color .35s, box-shadow .35s;
}
.g-front { grid-column: 2 / 5; }
.g-ir { grid-column: 5 / 6; --gc: var(--navy); }
.g-back { grid-column: 6 / 8; }
.grp-pill {
  position: absolute; left: 50%; top: 0; transform: translate(-50%, -54%);
  white-space: nowrap;
  background: var(--amber); border: 4px solid var(--gc); border-radius: 999px; padding: 4px 28px;
  transition: background .35s var(--ease), transform .35s var(--ease), box-shadow .35s;
}
.grp-pill b { font: 700 30px/1.1 var(--font-title); color: var(--gc); }
.grp-sub { position: absolute; left: 0; right: 0; top: 24px; text-align: center; font: 600 20px var(--font-body); color: var(--ink-soft); }
/* Grupo de la fase activa */
.demo-pipe[data-group="front"] .g-front, .demo-pipe[data-group="ir"] .g-ir, .demo-pipe[data-group="back"] .g-back { border-width: 6px; }
.demo-pipe[data-group="front"] .g-front .grp-pill, .demo-pipe[data-group="ir"] .g-ir .grp-pill, .demo-pipe[data-group="back"] .g-back .grp-pill {
  background: var(--gc); transform: translate(-50%, -54%) scale(1.06); box-shadow: 0 10px 22px rgba(15, 20, 40, .28);
}
.demo-pipe[data-group="front"] .g-front .grp-pill b, .demo-pipe[data-group="back"] .g-back .grp-pill b { color: var(--paper); }
.demo-pipe[data-group="front"] .g-front .grp-sub, .demo-pipe[data-group="ir"] .g-ir .grp-sub, .demo-pipe[data-group="back"] .g-back .grp-sub { color: var(--ink); }
.demo-pipe[data-group="ir"] .g-ir .grp-pill b { color: var(--gold); }
.phase {
  height: 118px; border-radius: 20px; display: grid; place-items: center; text-align: center; padding: 0 12px;
  background: rgba(22, 20, 43, .1); color: var(--ink); font: 700 25px/1.2 var(--font-body);
  border: 3px solid transparent; transition: all .35s var(--ease);
}
.phase.p-ir { border-color: var(--navy); border-style: dashed; }
.phase.done { background: var(--navy); color: var(--paper); }
.phase.active { background: var(--indigo); color: var(--paper); border: 4px solid var(--gold); transform: translateY(-8px) scale(1.05); box-shadow: 0 16px 30px rgba(42, 15, 181, .35); }
/* Pestaña que une la fase activa con la tarjeta de salida */
.pipe-dot {
  position: absolute; top: var(--pointer-top, 240px); width: 0; height: 0;
  border-left: 26px solid transparent; border-right: 26px solid transparent; border-bottom: 26px solid var(--navy);
  left: calc(var(--i, 0) * (var(--col) + 22px) + var(--col) / 2 - 26px);
  transition: left .55s var(--ease);
}
.art-card { display: grid; grid-template-rows: auto 1fr; min-height: 0; }
.art-body { display: flex; flex-direction: column; align-items: center; justify-content: center; }
.art-body .tree { width: 820px; height: 410px; }
.big-src { font-size: 80px; font-weight: 700; margin: 0; }
.tokens { display: flex; gap: 14px; flex-wrap: wrap; justify-content: center; }
.tok { font: 700 40px var(--font-code); background: var(--navy-2); color: var(--cyan); padding: 12px 18px; border-radius: 14px; }
.art-note { margin: 24px 0 0; font-size: 30px; color: var(--muted); }
.art-note b { color: var(--paper); }

/* ───────── Slide 4: m × n ───────── */
.demo-mxn { grid-template-rows: auto 1fr auto; }
.mx-head { display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; }
.mx-col { font: 700 26px var(--font-body); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-soft); }
.mx-col:last-child { text-align: right; }
.mx-count { font-size: 40px; color: var(--ink); }
.mx-count b { color: var(--indigo); font-family: var(--font-title); font-size: 50px; }
.mx { width: 100%; height: 100%; }
.mx-line { fill: none; transition: opacity .5s; }
.mx-line.direct { stroke: var(--navy); stroke-width: 3.5; opacity: .85; }
.mx-line.via { stroke: var(--indigo); stroke-width: 6; opacity: 0; }
.mx-box rect { stroke: none; }
.mx-box.lang rect { fill: var(--indigo); }
.mx-box.mach rect { fill: var(--navy); }
.mx-box text, .mx-ir text { font: 700 36px var(--font-body); fill: var(--paper); text-anchor: middle; dominant-baseline: central; }
.mx-ir { opacity: 0; transform-box: fill-box; transform-origin: center; transition: opacity .4s, transform .5s var(--ease); transform: scale(.5); }
.mx-ir rect { fill: #FFF6E6; stroke: var(--navy); stroke-width: 5; }
.mx-ir text { fill: var(--navy); font-size: 50px; }
.mx-ir text.small { font-size: 24px; font-weight: 600; }
.demo-mxn[data-step="0"] .direct { stroke-dasharray: 1; stroke-dashoffset: 1; animation: draw .9s var(--ease) forwards; }
.demo-mxn:not([data-step="0"]) .direct { opacity: .07; }
.demo-mxn:not([data-step="0"]) .via { opacity: 1; stroke-dasharray: 1; stroke-dashoffset: 1; animation: draw .8s var(--ease) .2s forwards; }
.demo-mxn:not([data-step="0"]) .mx-ir { opacity: 1; transform: scale(1); }
.demo-mxn[data-step="2"] .via { animation: none; stroke-dashoffset: 0; }

/* Instrucciones que el DAG evita repetir */
.tac li.redundant { background: rgba(255, 138, 107, .16); border-left-color: var(--coral); }
.tac li.redundant code { text-decoration: line-through; text-decoration-color: var(--coral); text-decoration-thickness: 3px; }
.tac li.redundant::after { content: 'repetida'; margin-left: auto; font: 600 18px var(--font-body); color: var(--coral); }