/* Laboratorios interactivos. Usa los tokens de styles.css. */

.lab { margin: 2.2rem 0; padding: 1.4rem 1.5rem 1.5rem; background: var(--white); border: 1px solid var(--line); border-radius: 12px; box-shadow: 0 10px 35px rgba(25,47,77,.05); color: var(--ink); font-size: .92rem; line-height: 1.65; }
.lab:not(.lab-ready) { color: var(--muted); }
.lab-head { margin-bottom: 1rem; padding-bottom: .9rem; border-bottom: 1px solid var(--line); }
.lab-kicker { margin: 0 0 .35rem; color: var(--blue); font: 800 .64rem var(--sans); letter-spacing: .16em; text-transform: uppercase; }
.lab .lab-title { margin: 0; padding: 0; border: 0; font: 700 1.2rem/1.3 var(--display); letter-spacing: -.03em; }
.lab-intro { margin: .5rem 0 0; color: var(--ink-soft); font-size: .88rem; }
.lab .lab-body > * + * { margin-top: .9rem; }
.lab p { margin: 0; }
.lab-label { color: var(--muted); font: 800 .64rem var(--sans); letter-spacing: .13em; text-transform: uppercase; }
.lab-question { color: var(--ink); font-weight: 600; }
.lab-status, .lab-privacy { color: var(--muted); font-size: .78rem; }
.lab .lab-quote { margin: 0; padding: .8rem 1rem; border-left: 3px solid var(--line); background: #f5f7fa; border-radius: 0 8px 8px 0; color: var(--ink-soft); white-space: pre-wrap; }
.lab .ok { color: #25573f; font-weight: 600; }
.lab .bad { color: #8a2f20; font-weight: 600; }

/* Controles */
.lab-controls { display: flex; flex-wrap: wrap; align-items: center; gap: .55rem; }
.lab-controls.vertical { flex-direction: column; align-items: flex-start; gap: .4rem; }
.lab-btn { min-height: 38px; padding: .45rem .85rem; border: 1px solid #d4dce7; border-radius: 8px; background: var(--white); color: var(--navy); font: 700 .78rem var(--sans); cursor: pointer; transition: background .15s, transform .15s; }
.lab-btn:hover:not(:disabled) { background: var(--blue-soft); }
.lab-btn:disabled { opacity: .45; cursor: not-allowed; }
.lab-btn.primary { background: var(--navy); border-color: var(--navy); color: #fff; }
.lab-btn.primary:hover:not(:disabled) { background: #214e7e; }
.lab-btn.small { min-height: 32px; padding: .25rem .6rem; font-size: .72rem; }
.lab-input, .lab-select, .lab-text, .lab-code { border: 1px solid #cfd8e4; border-radius: 8px; background: #fff; color: var(--ink); font: inherit; }
.lab-input { flex: 1 1 260px; min-width: 0; min-height: 38px; padding: .4rem .7rem; font-family: "JetBrains Mono", ui-monospace, Consolas, monospace; font-size: .85rem; }
.lab-select { min-height: 34px; padding: .25rem .5rem; font-size: .78rem; }
.lab-text { width: 100%; padding: .7rem .85rem; resize: vertical; line-height: 1.6; }
.lab-code { width: 100%; padding: .8rem .9rem; resize: vertical; font-family: "JetBrains Mono", ui-monospace, Consolas, monospace; font-size: .84rem; line-height: 1.6; background: #f6f8fb; }
.lab-input:focus, .lab-text:focus, .lab-code:focus, .lab-select:focus { outline: 3px solid #b7d1ec; outline-offset: 0; border-color: var(--blue); }
.lab-range { flex: 1 1 140px; min-width: 100px; accent-color: var(--blue); }
.lab-count, .lab-score { color: var(--ink-soft); font: 700 .75rem var(--sans); }
.lab-check { display: inline-flex; align-items: center; gap: .4rem; font-size: .85rem; cursor: pointer; }
.lab-check.block { display: flex; padding: .3rem 0; }
.lab-presets { display: flex; flex-wrap: wrap; align-items: center; gap: .4rem; }
.lab-feedback p + p, .lab-feedback ul { margin-top: .5rem; }
.lab-hint { color: var(--ink-soft); font-style: italic; }
.lab-details { border: 1px solid var(--line); border-radius: 8px; padding: .5rem .9rem; background: #fafbfd; }
.lab-details summary { cursor: pointer; font-weight: 700; font-size: .82rem; color: var(--navy); }
.lab-details ul { margin: .6rem 0 .2rem; padding-left: 1.2rem; }
.lab-note-box { padding: .8rem 1rem; border-left: 3px solid var(--blue); border-radius: 0 8px 8px 0; background: var(--blue-soft); min-height: 3.2rem; }
.lab-note-box.bad { border-left-color: #c0513d; background: #fbe9e4; }
.lab-predict { padding: .9rem 1rem; border: 1px dashed var(--blue); border-radius: 8px; background: #f6f9fd; }
.lab-predict .chip-row { margin-top: .6rem; }
.lab-stepper { margin-top: 1rem !important; padding-top: .9rem; border-top: 1px solid var(--line); }

/* Fichas de tokens */
.chip-row { display: flex; flex-wrap: wrap; gap: .5rem; }
.chip { display: inline-block; padding: .22rem .6rem; border-radius: 6px; font: 600 .82rem "JetBrains Mono", ui-monospace, Consolas, monospace; white-space: pre; }
.chip-col { display: inline-flex; flex-direction: column; align-items: center; gap: .15rem; }
.chip-col small { color: var(--muted); font-size: .62rem; }
.t-identificador { background: #eaf1f8; color: #183b67; }
.t-reservada { background: #ece6f6; color: #4a3a7a; }
.t-entero { background: #f0e8d9; color: #7a5b1d; }
.t-decimal { background: #f7ecd0; color: #7a5b1d; }
.t-operador { background: #dcebe4; color: #25573f; }
.t-asignacion { background: #d8eef0; color: #1c5a60; }
.t-delimitador { background: #eceff3; color: #4a586b; }
.t-error { background: #f6dcd6; color: #8a2f20; }

/* Segmentación */
.seg-area { display: flex; flex-wrap: wrap; align-items: center; padding: .9rem .6rem; background: #f6f8fb; border: 1px solid var(--line); border-radius: 8px; font-family: "JetBrains Mono", ui-monospace, Consolas, monospace; font-size: 1.15rem; row-gap: .5rem; }
.seg-ch { padding: .2rem .12rem; }
.seg-ch.sp { color: #a0aaba; }
.seg-cut { width: 12px; height: 34px; padding: 0; border: 0; border-radius: 4px; background: transparent; cursor: pointer; position: relative; }
.seg-cut::after { content: ""; position: absolute; left: 5px; top: 5px; bottom: 5px; width: 2px; background: #cfd8e4; border-radius: 2px; transition: background .15s, width .15s, left .15s; }
.seg-cut:hover::after { background: var(--blue); }
.seg-cut.on::after { background: #c0513d; width: 4px; left: 4px; }
.seg-row { display: grid; grid-template-columns: minmax(80px, 160px) minmax(160px, 220px) 1fr; align-items: center; gap: .7rem; padding: .35rem 0; border-bottom: 1px solid #f0f2f6; }
.seg-lex { font: 600 .9rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.seg-res { font-size: .78rem; }
.seg-res.ok { color: #25573f; } .seg-res.bad { color: #8a2f20; }
.seg-stage2 > .lab-label { display: block; margin-bottom: .4rem; }
.seg-stage2 .lab-controls { margin-top: .8rem; }

/* Escáner */
.scan-chars { display: flex; flex-wrap: wrap; gap: 2px; padding: .7rem; background: #f6f8fb; border: 1px solid var(--line); border-radius: 8px; font: 500 1.05rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.sc { min-width: 1.15ch; padding: .15rem .3rem; border-radius: 4px; text-align: center; color: var(--ink-soft); border-bottom: 3px solid transparent; }
.sc.done { color: #a0aaba; }
.sc.cur { background: #fff4cf; border-bottom-color: #d49a1a; color: var(--ink); font-weight: 700; }
.sc.end { color: #a0aaba; }
.auto-wrap { overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; background: #fff; }
.auto-svg { display: block; width: 100%; min-width: 560px; height: auto; }
.auto-node circle { fill: #fff; stroke: #9fb3c8; stroke-width: 1.6; transition: fill .2s, stroke .2s; }
.auto-node circle.acc { fill: none; stroke-width: 1.2; }
.auto-node text { font: 700 11px var(--sans); fill: var(--ink-soft); }
.auto-node.on circle { fill: var(--blue-soft); stroke: var(--navy); stroke-width: 2.6; }
.auto-node.on text { fill: var(--navy); }
.auto-node.err circle { stroke: #d49d92; }
.auto-node.err.on circle { fill: #fbe9e4; stroke: #c0513d; }
.auto-edge { stroke: #9fb3c8; stroke-width: 1.5; transition: stroke .2s; }
.auto-edge.err { stroke: #dcb7af; stroke-dasharray: 4 3; }
.auto-edge.on { stroke: var(--navy); stroke-width: 3; stroke-dasharray: none; }
.auto-arrow { fill: #7e93aa; }
.auto-lab { font: 600 10px var(--sans); fill: var(--muted); }
.scan-info { display: grid; grid-template-columns: repeat(3, 1fr); gap: .7rem; }
.kv { padding: .6rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.kv .k { display: block; color: var(--muted); font: 800 .6rem var(--sans); letter-spacing: .12em; text-transform: uppercase; }
.kv b { font-size: 1rem; }
.mono { font-family: "JetBrains Mono", ui-monospace, Consolas, monospace; }

/* Gramática */
.lab-tabs { display: flex; flex-wrap: wrap; gap: .4rem; }
.lab-tab { padding: .35rem .7rem; border: 1px solid #d4dce7; border-radius: 8px; background: #fff; color: var(--ink-soft); font: 700 .74rem var(--sans); cursor: pointer; }
.lab-tab.on { background: var(--navy); border-color: var(--navy); color: #fff; }
.lab-tab.ok:not(.on) { background: #e8f1ec; border-color: #b9d3c5; color: #25573f; }
.gram-table { font-size: .8rem; }
.gram-table tbody tr.ok td.res { color: #25573f; font-weight: 800; }
.gram-table tbody tr.bad td.res { color: #8a2f20; font-weight: 800; }
.gram-table tbody tr[tabindex] { cursor: pointer; }
.gram-table tbody tr[tabindex]:hover td { background: #f5f9fd; }
.gram-tree { margin-top: .6rem; }
.lab .lab-grammar { margin: 0; padding: .8rem 1rem; background: #f3f6fa; border-radius: 8px; overflow-x: auto; font: 500 .82rem/1.6 "JetBrains Mono", ui-monospace, Consolas, monospace; }

/* Derivación */
.deriv-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.2fr); gap: 1rem; align-items: start; }
.lab .deriv-list { margin: 0; padding: .6rem .8rem .6rem 2.2rem; max-height: 320px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; font: 500 .84rem/1.9 "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .deriv-list li { padding: 0 .2rem; }
.lab .deriv-list li.cur { background: #fff4cf; border-radius: 4px; }
.lab .deriv-list .nt { color: #2f659b; font-weight: 700; }
.lab .deriv-list .t { color: var(--ink); font-weight: 700; }
.lab .deriv-list .tgt { background: #ffe08a; border-radius: 3px; padding: 0 2px; }
.lab .deriv-list .rule { display: block; margin-left: .3rem; color: var(--muted); font: 500 .68rem var(--sans); line-height: 1.3; }
.deriv-tree { overflow: auto; max-height: 360px; }

/* Árboles */
.tv-wrap { overflow-x: auto; padding: .4rem 0; }
.tv { display: block; max-width: none; margin: 0 auto; }
.tv-edge { stroke: #9fb3c8; stroke-width: 1.4; transition: opacity .25s; }
.tv-node rect { fill: #eaf1f8; stroke: #9fb3c8; stroke-width: 1.2; transition: fill .25s, opacity .25s; }
.tv-node.leaf rect { fill: #f0e8d9; stroke: #d4c19a; }
.tv-node text { font: 600 12px "JetBrains Mono", ui-monospace, Consolas, monospace; fill: var(--navy); }
.tv-node.mark rect { fill: #ffe08a; stroke: #d49a1a; stroke-width: 2; }
.tv-node, .tv-edge { opacity: 1; }
.tv-node.hidden, .tv-edge.hidden { opacity: 0; }

/* Ambigüedad */
.amb-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
.amb-card { padding: .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.amb-val { margin-top: .5rem !important; text-align: center; font: 700 .9rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }

/* Parser */
.p-grid { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr); gap: 1rem; align-items: start; }
.p-grid > div { min-width: 0; }
.lab .pcode { margin: .3rem 0 0; padding: .5rem 0; list-style: none; counter-reset: pl; max-height: 420px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; background: #f6f8fb; }
.lab .pcode li { counter-increment: pl; display: flex; padding: 0 .8rem 0 0; }
.lab .pcode li::before { content: counter(pl); flex: 0 0 2.4rem; padding-right: .7rem; text-align: right; color: #a0aaba; font: 500 .72rem/1.75 "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .pcode code { white-space: pre; background: transparent; padding: 0; font: 500 .8rem/1.75 "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--ink); }
.lab .pcode li.cur { background: #fff4cf; box-shadow: inset 3px 0 0 #d49a1a; }
.p-tokens { display: flex; flex-wrap: wrap; gap: .35rem; margin: .3rem 0 .9rem; }
.p-tok { padding: 2px; border-radius: 8px; border: 2px solid transparent; opacity: .95; }
.p-tok.used { opacity: .4; }
.p-tok.cur { border-color: #d49a1a; background: #fff4cf; opacity: 1; }
.p-tok.end { font: 700 .9rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: #a0aaba; padding: .25rem .5rem; }
.p-stack { display: flex; flex-direction: column; gap: .35rem; margin-top: .3rem; min-height: 5rem; }
.frame { padding: .45rem .7rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.frame.top { border-color: var(--blue); background: var(--blue-soft); }
.frame b { font: 700 .82rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.frame small { display: block; margin-top: .15rem; color: var(--ink-soft); font: 500 .72rem "JetBrains Mono", ui-monospace, Consolas, monospace; overflow-wrap: anywhere; }
.p-result { margin-top: .6rem; }

.quiz-q { padding: .8rem 0; border-top: 1px solid var(--line); }
.quiz-q:first-of-type { border-top: 0; }
.quiz-q .lab-btn { margin-top: .5rem; }
.lab-notes { display: grid; gap: .7rem; }
.lab-note { padding: .7rem .9rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.lab-note .lab-label { display: block; margin-bottom: .3rem; text-transform: none; letter-spacing: 0; font-size: .74rem; }

@media (max-width: 760px) {
  .lab { padding: 1.1rem 1rem 1.2rem; margin-inline: -4px; }
  .deriv-grid, .p-grid, .amb-grid, .scan-info { grid-template-columns: minmax(0, 1fr); }
  .auto-svg { min-width: 470px; }
  .auto-wrap { touch-action: pan-x pan-y; }
  .seg-row { grid-template-columns: 1fr; gap: .3rem; }
  .lab-range { flex-basis: 100%; order: 9; }
}
@media (prefers-reduced-motion: reduce) {
  .tv-node, .tv-edge, .auto-node circle, .auto-edge { transition: none; }
}

/* ---- Tema 1.2.2: semántica ---- */
.pipe { display: flex; flex-wrap: wrap; gap: .5rem; }
.pipe-stage { display: inline-flex; align-items: center; gap: .45rem; padding: .35rem .75rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; font: 700 .78rem var(--sans); color: var(--muted); }
.pipe-stage.ok { background: #e8f1ec; border-color: #b9d3c5; color: #25573f; }
.pipe-stage.bad { background: #fbe9e4; border-color: #e3b5ab; color: #8a2f20; }
.pipe-mark { font-weight: 800; }
.expr-line { display: block; padding: .9rem 1rem; background: #f6f8fb; border: 1px solid var(--line); border-radius: 8px; font: 600 1.15rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); overflow-x: auto; white-space: pre; }
.prose .expr-line { background: #f6f8fb; padding: .9rem 1rem; }
.expr-line mark.hl { padding: .1rem .3rem; border-radius: 5px; background: #ffe08a; color: var(--ink); box-shadow: 0 0 0 2px #e6b83c; }
.env-table { font-size: .82rem; }
.env-table code { background: transparent; padding: 0; }
.env-table tbody tr.chg td { background: #fff4cf; font-weight: 700; }
.exe-grid { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 1rem; align-items: start; }
.exe-grid > div { min-width: 0; }
.lab .code-list { margin: .3rem 0 .9rem; padding: .5rem 0; list-style: none; counter-reset: cl; border: 1px solid var(--line); border-radius: 8px; background: #f6f8fb; max-width: 100%; min-width: 0; box-sizing: border-box; overflow-x: auto; -webkit-overflow-scrolling: touch; }
.lab .code-list li { counter-increment: cl; display: flex; padding: .1rem .8rem .1rem 0; width: max-content; min-width: 100%; box-sizing: border-box; }
.lab .code-list li::before { content: counter(cl); flex: 0 0 2.4rem; padding-right: .7rem; text-align: right; color: #a0aaba; font: 500 .72rem/1.9 "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .code-list code { background: transparent; padding: 0; white-space: pre; font: 500 .84rem/1.9 "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .code-list li.done code { color: #a0aaba; }
.lab .code-list li.cur { background: #fff4cf; box-shadow: inset 3px 0 0 #d49a1a; }
.out-box { margin: .3rem 0 0 !important; min-height: 3rem; padding: .7rem .9rem; border-radius: 8px; background: #10243b; color: #d9e4f0; font: 500 .85rem/1.6 "JetBrains Mono", ui-monospace, Consolas, monospace; white-space: pre-wrap; border: 0; }
.prose .out-box { background: #10243b; color: #d9e4f0; border: 0; }
.type-tree { overflow-x: auto; }
.hoare { padding: 1rem 1.2rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; font-family: "JetBrains Mono", ui-monospace, Consolas, monospace; }
.hoare .h-pre, .hoare .h-post { color: var(--navy); font-weight: 700; font-size: .95rem; }
.lab .hoare pre.h-prog { margin: .4rem 0 .4rem 1.2rem; padding: 0; background: transparent; border: 0; font: 600 .95rem/1.7 "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--ink); }
.den-table td, .den-table th { text-align: center; }
@media (max-width: 760px) { .exe-grid { grid-template-columns: minmax(0, 1fr); } }

/* ---- Tema 1.2.4: compiladores e intérpretes ---- */
.walk-grid { display: grid; grid-template-columns: minmax(0, 1.4fr) minmax(0, 1fr); gap: 1rem; align-items: start; }
.walk-grid > div { min-width: 0; }
.vm-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 1rem; align-items: start; }
.vm-grid > div { min-width: 0; }
.call-stack { display: flex; flex-direction: column; gap: .35rem; margin-top: .3rem; min-height: 5rem; }
.lab .code-list.vm-code { max-height: 360px; overflow: auto; }
.lab .code-list code.muted { color: #a0aaba; font-style: italic; white-space: normal; }
.vm-stack { display: flex; flex-direction: column; gap: .3rem; min-height: 4.5rem; margin: .3rem 0 .9rem; padding: .6rem; border: 2px solid #9fb3c8; border-top-style: dashed; border-radius: 0 0 10px 10px; background: #fafbfd; }
.vm-cell { display: flex; justify-content: space-between; align-items: center; padding: .35rem .7rem; border: 1px solid var(--line); border-radius: 6px; background: #fff; }
.vm-cell code { background: transparent; padding: 0; font: 700 .9rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.vm-cell small { color: var(--muted); font: 800 .6rem var(--sans); letter-spacing: .1em; text-transform: uppercase; }
.vm-cell.top { background: #eaf1f8; border-color: var(--blue); }
.cmp-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; align-items: start; }
.cmp-col { padding: .9rem 1rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.lab .cmp-col h4 { margin: 0 0 .5rem; font: 700 .95rem var(--display); }
.cmp-list { margin: 0; padding: 0; list-style: none; display: grid; gap: .4rem; font-size: .85rem; }
.cmp-list li { padding-left: .8rem; border-left: 3px solid var(--line); }
.cmp-list li.ok { border-left-color: #6b9a86; color: #25573f; }
.cmp-list li.bad { border-left-color: #c0513d; color: #8a2f20; font-weight: 600; }
.cmp-list.log { margin-top: .4rem; }
.lab-input.short { flex: 0 1 100px; }
@media (max-width: 760px) { .walk-grid, .vm-grid, .cmp-grid { grid-template-columns: minmax(0, 1fr); } }

/* ---- Tema 1.2.3: pragmática ---- */
.code-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.code-card { min-width: 0; padding: .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.lab .code-card pre.lab-grammar { margin: .4rem 0 .6rem; max-height: 330px; overflow: auto; }
.leg-results { display: grid; gap: .7rem; margin-top: .8rem; }
.crit-list { display: grid; gap: .6rem; }
.crit-row { display: grid; grid-template-columns: minmax(180px, 1.2fr) minmax(140px, 1fr) 1.6rem; gap: .9rem; align-items: center; padding: .55rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.crit-name { display: grid; gap: .1rem; }
.crit-name b { font-size: .88rem; }
.crit-name small { color: var(--muted); font-size: .72rem; line-height: 1.4; }
.crit-val { text-align: right; font: 800 1rem var(--display); color: var(--navy); }
.crit-out > * + * { margin-top: .7rem; }
.bars { display: grid; gap: .45rem; }
.bar-row { display: grid; grid-template-columns: 90px 1fr 80px; gap: .7rem; align-items: center; font-size: .84rem; }
.bar-row.win .bar-name { font-weight: 800; color: var(--navy); }
.bar-track { display: block; height: 14px; border-radius: 99px; background: #e8edf3; overflow: hidden; }
.bar-track i { display: block; height: 100%; border-radius: inherit; background: #9fb3c8; transition: width .25s; }
.bar-row.win .bar-track i { background: var(--blue); }
.bar-val { text-align: right; color: var(--ink-soft); font: 700 .75rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.sens-list { margin: 0; padding-left: 1.2rem; font-size: .84rem; }
.lab-btn.on { background: var(--navy); border-color: var(--navy); color: #fff; }
.lab-input.rate { flex: none; width: 3.6rem; min-height: 32px; padding: .2rem .4rem; text-align: center; }
@media (max-width: 760px) {
  .code-grid { grid-template-columns: minmax(0, 1fr); }
  .crit-row { grid-template-columns: minmax(0, 1fr) 1.6rem; }
  .crit-row .crit-name { grid-column: 1 / -1; }
  .bar-row { grid-template-columns: 70px 1fr 64px; }
}
@media (prefers-reduced-motion: reduce) { .bar-track i { transition: none; } }

/* Desbordes: bloques de código y celdas de cuadrícula no empujan el ancho de la página */
.lab pre, .lab .code-card pre { max-width: 100%; overflow-x: auto; box-sizing: border-box; }
.lab [class*="-grid"] > * { min-width: 0; }
/* Código sin ligaduras: «==», «===», «++» y «->» deben verse como los símbolos que son. */
.lab code, .lab pre, .lab .lab-grammar, .lab .lab-input, .lab .lab-code, .lab .expr-line, .lab .chip, .lab .scan-chars, .prose code, .prose pre, .out-box { font-variant-ligatures: none !important; font-feature-settings: "liga" 0, "calt" 0 !important; }
/* Espaciado interno del resultado de la matriz (la regla `.lab p` elimina márgenes) */
.lab .crit-out > * + * { margin-top: .7rem; }
.lab .leg-results > * + * { margin-top: .2rem; }

/* El control deslizante de la matriz no debe heredar el orden del reproductor en móvil */
.crit-row .lab-range { order: 0; min-width: 0; flex-basis: auto; width: 100%; }

/* ---- Temas 1.0 y 1.1: antes de empezar e historia ---- */
.rb-grid { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 1.2rem; align-items: start; }
.rb-board { display: grid; gap: 3px; padding: 6px; background: #dfe6ee; border-radius: 10px; width: max-content; max-width: 100%; }
.rb-cell { width: 38px; height: 38px; display: grid; place-items: center; border-radius: 6px; background: #fff; color: #9fb3c8; font: 800 1.15rem var(--display); }
.rb-cell.goal { background: #e8f1ec; color: #25573f; }
.rb-cell.wall { background: #3a4a5f; }
.rb-cell.here { background: #eaf1f8; color: var(--navy); box-shadow: inset 0 0 0 2px var(--blue); }
.rb-cell.goal.here { background: #d6ead9; box-shadow: inset 0 0 0 2px #25573f; }
.rb-cell.crash { background: #fbe9e4; color: #8a2f20; box-shadow: inset 0 0 0 2px #c0513d; }
.lab .rb-prog { margin: .3rem 0 .6rem; padding: .5rem .8rem .5rem 2.2rem; min-height: 4rem; max-height: 260px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; background: #f6f8fb; font: 500 .84rem/1.9 "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .rb-prog li.muted { color: #a0aaba; font-style: italic; list-style: none; margin-left: -1.4rem; }
.lab .rb-prog li.cur { background: #fff4cf; border-radius: 4px; }
.ord-list { margin: 0; padding: 0; list-style: none; display: grid; gap: .4rem; }
.ord-item { display: flex; justify-content: space-between; align-items: center; gap: .8rem; padding: .5rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.ord-btns { display: inline-flex; gap: .3rem; flex: none; }
.esc-row { grid-template-columns: minmax(150px, 1fr) minmax(220px, 1.3fr) 1.6fr; }
.lab-input.rate.wide { width: 5rem; }
.mem-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .4rem; }
.mem-cell { display: grid; gap: .1rem; padding: .35rem .5rem; border: 1px solid var(--line); border-radius: 6px; background: #fff; text-align: center; }
.mem-cell small { color: var(--muted); font-size: .62rem; }
.mem-cell code { background: transparent; padding: 0; font: 700 .8rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.mem-cell.ins { background: #f3f6fa; }
.mem-cell.pc { box-shadow: inset 0 0 0 2px #d49a1a; background: #fff4cf; }
.mem-cell.chg { box-shadow: inset 0 0 0 2px #25573f; background: #e8f1ec; }
.tl { display: grid; gap: .4rem; }
.lab .tl-decade { margin: 1rem 0 .1rem; padding: 0; border: 0; color: var(--blue); font: 800 .66rem var(--sans); letter-spacing: .16em; text-transform: uppercase; }
.tl-item { border: 1px solid var(--line); border-left: 3px solid #9fb3c8; border-radius: 8px; background: #fafbfd; }
.tl-item.k-lenguaje { border-left-color: var(--blue); }
.tl-item.k-hardware { border-left-color: #d49a1a; }
.tl-item summary { display: flex; flex-wrap: wrap; align-items: center; gap: .7rem; padding: .55rem .8rem; cursor: pointer; }
.tl-year { min-width: 3.4rem; color: var(--blue); font: 800 .8rem var(--display); }
.tl-body { padding: 0 .9rem .7rem; font-size: .86rem; }
.tl-body p { margin: .25rem 0 0; }
.rel-row { display: grid; grid-template-columns: minmax(120px, 190px) minmax(0, 1fr) minmax(0, .9fr); gap: .7rem; align-items: center; padding: .4rem 0; border-bottom: 1px solid #f0f2f6; }
.lab-select.wide { width: 100%; min-width: 0; }
@media (max-width: 760px) {
  .rb-grid { grid-template-columns: minmax(0, 1fr); }
  .esc-row, .rel-row { grid-template-columns: minmax(0, 1fr); gap: .3rem; }
  .rel-row .seg-res { grid-column: 1; }
  .mem-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}

/* Nombres de variables: nunca en mayúsculas (el estilo de rótulos las alteraría) */
.lab-var { color: var(--ink-soft); font: 700 .85rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .lab-note-box:empty { display: none; }
.rel-row { grid-template-columns: minmax(120px, 190px) minmax(0, 1fr); }
.rel-row .seg-res { grid-column: 2; }
.lab-select.wide { text-overflow: ellipsis; }

/* ---- Proyecto «Extiende Mini» ---- */
.tt-table td, .tt-table th { vertical-align: middle; }
.tt-res { font-size: .78rem; line-height: 1.5; }
.tt-res.ok { color: #25573f; } .tt-res.bad { color: #8a2f20; }
.inf-sec > * + * { margin-top: .3rem; }
.lab .inf-sec { padding-top: .6rem; }
.pila-out > * + * { margin-top: .6rem; }
.pila-trace { margin-top: .8rem; }

/* ---- Unidad II: elementos fundamentales ---- */
.py-col { min-width: 0; display: grid; gap: .55rem; margin: .3rem 0 .9rem; }
.py-frame { padding: .5rem .7rem .6rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.py-frame.top { border-color: var(--blue); box-shadow: inset 3px 0 0 var(--blue); }
.py-frame.global { background: #f4f7fb; }
.py-frame-h { margin: 0 0 .3rem; font-size: .8rem; }
.py-frame-h small { color: var(--muted); font-weight: 600; }
.py-vars { width: 100%; border-collapse: collapse; font-size: .82rem; }
.py-vars th, .py-vars td { padding: .2rem .4rem; border-top: 1px solid #eef1f6; text-align: left; font-weight: 500; vertical-align: top; }
.py-vars th { width: 38%; text-transform: none; letter-spacing: 0; font-size: .82rem; color: var(--ink); }
.py-vars th small { color: var(--muted); font-size: .66rem; }
.py-vars tr:first-child th, .py-vars tr:first-child td { border-top: 0; }
.py-vars tr.chg td, .py-vars tr.chg th { background: #fff4cf; }
.py-vars code, .py-obj code, .py-s code { background: transparent; padding: 0; overflow-wrap: anywhere; }
.oid { display: inline-block; padding: .02rem .4rem; border-radius: 5px; font: 700 .7rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: #fff; vertical-align: baseline; }
.oid.c0 { background: #3b78b8; } .oid.c1 { background: #2f8f6b; } .oid.c2 { background: #b7791f; }
.oid.c3 { background: #8a4fb0; } .oid.c4 { background: #c0513d; } .oid.c5 { background: #4b6b8a; }
.py-ptr { color: var(--ink-soft); }
.py-obj { padding: .5rem .7rem .6rem; border: 1px solid var(--line); border-radius: 8px; background: #fff; }
.py-obj.new { border-color: #b9d3c5; background: #f3faf6; }
.py-obj.mod { border-color: #e6b83c; background: #fffaf0; }
.py-obj.leak { border-color: #e3b5ab; background: #fdf3f0; }
.py-obj-h { display: flex; flex-wrap: wrap; align-items: center; gap: .5rem; margin: 0 0 .35rem; font-size: .76rem; }
.py-type { color: var(--muted); font-weight: 700; }
.py-rc { margin-left: auto; padding: .02rem .45rem; border-radius: 99px; background: var(--blue-soft); color: var(--navy); font-weight: 700; }
.py-items { display: flex; flex-wrap: wrap; gap: .35rem; }
.py-item { display: inline-flex; flex-direction: column; min-width: 2.2rem; padding: .1rem .5rem .25rem; border: 1px solid #cfd8e4; border-radius: 6px; background: #f6f8fb; font-size: .82rem; }
.py-item small { color: #a0aaba; font-size: .6rem; }
.py-warn { margin: .4rem 0 0; color: #8a2f20; font-size: .74rem; }
.py-freed { margin: 0; color: var(--muted); font-size: .76rem; }
.py-simple .chip-row { gap: .4rem .9rem; }
.py-s small { color: var(--muted); }
.py-look { font-size: .8rem; }
.py-look:empty { display: none; }
.py-path { margin: .2rem 0 0; }
.py-hop.hit { color: #25573f; font-weight: 700; } .py-hop.miss { color: var(--muted); }
.lab .code-list li.errln { background: #fbe9e4; box-shadow: inset 3px 0 0 #c0513d; }
.env-table td.cellchg { background: #fff4cf; font-weight: 700; }
.py-grid { margin-top: .4rem; }
.pm-rows { display: grid; gap: .5rem; }
.pm-row { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 15rem); gap: .7rem; align-items: center; padding: .5rem 0; border-top: 1px solid var(--line); }
.pm-row small { display: block; }
.dual-res > * + *, .pm-res > * + *, .rec-res > * + *, .ov-res > * + * { margin-top: .5rem; }
.kv-row { display: grid; grid-template-columns: repeat(auto-fit, minmax(10rem, 1fr)); gap: .6rem; }
.depth-bar { height: 12px; border-radius: 99px; background: #e8edf4; overflow: hidden; }
.depth-bar span { display: block; height: 100%; background: var(--blue); }
.tp-title { margin: .2rem 0; font: 700 1rem var(--display); }
.tp-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .8rem; }
.tp-col { min-width: 0; padding: .7rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.tp-col pre.lab-grammar { margin: .4rem 0 .6rem; padding: .5rem .6rem; font-size: .76rem; min-height: 3.4rem; }
.tp-detail { margin: .5rem 0 0; font-size: .76rem; }
.tp-detail.ok { color: #25573f; } .tp-detail.bad { color: #8a2f20; }
.ov-form > * + * { margin-top: .5rem; }
.inf-verdict:empty { display: none; }
.lab-tabs { display: flex; flex-wrap: wrap; gap: .4rem; }
@media (max-width: 900px) { .tp-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 760px) { .tp-grid { grid-template-columns: minmax(0, 1fr); } .pm-row { grid-template-columns: minmax(0, 1fr); } }
.lab .py-vars th, .lab .py-vars td { background: transparent; vertical-align: middle; }
.lab .py-vars th code { color: var(--ink); font: 700 .84rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.lab .py-vars tr.chg th, .lab .py-vars tr.chg td { background: #fff4cf; }
.env-table th code { text-transform: none; letter-spacing: 0; font: 700 .82rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--ink); }
.cmp-row { padding: .8rem 0; border-top: 1px solid var(--line); }
.cmp-row:first-of-type { border-top: 0; }
.cmp-cells { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .7rem; margin-top: .5rem; }
.cmp-cell { min-width: 0; }
.cmp-note { margin: .3rem 0 0; font-size: .76rem; }
.cmp-note.ok { color: #25573f; } .cmp-note.bad { color: #8a2f20; }
.act-res > * + * { margin-top: .6rem; }
@media (max-width: 760px) { .cmp-cells { grid-template-columns: minmax(0, 1fr); } }
/* ---- Unidad III: objetos, clases y talleres de diseño ---- */
.py-frame.cls { border-style: dashed; background: #f4f0fa; border-color: #9f87c9; }
.py-obj.iobj { border-left: 4px solid var(--blue); }
.py-obj.cobj { border-left: 4px solid #7a5aa8; background: #f8f5fc; }
.py-clsref, .py-mro { margin: .2rem 0 .4rem; color: var(--muted); font-size: .76rem; }
.py-mro code { font: 600 .76rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.lab .py-attrs th small { display: block; color: var(--muted); font: 500 .66rem var(--sans); letter-spacing: 0; text-transform: none; }
.abs-list { display: grid; gap: .35rem; }
.abs-item { padding: .45rem .7rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.abs-item.ok { border-color: #b9d3c5; background: #eef6f1; }
.abs-item.bad { border-color: #e2b5aa; background: #fbeeea; }
.abs-note { color: var(--ink-soft); font-size: .78rem; font-weight: 400; }
.crc-card { margin-top: .9rem; padding: .8rem 1rem; border: 2px solid var(--navy); border-radius: 10px; background: #fff; }
.crc-ref { margin-top: .6rem; padding: .6rem .8rem; border-left: 3px solid var(--blue); background: var(--blue-soft); border-radius: 0 8px 8px 0; font-size: .84rem; }
.crc-ref p { margin: .2rem 0; }
.lab .lec-list { position: relative; max-height: 26rem; overflow: auto; }
/* ---- Unidad IV: programación funcional ---- */
.py-obj.itobj { border-left: 4px solid #2f8f6b; background: #f3faf6; }
.hs-grid { display: grid; grid-template-columns: minmax(0, 1.5fr) minmax(0, 1fr); gap: 1rem; margin-top: .6rem; }
.hs-term { padding: .8rem 1rem; border: 1px solid var(--line); border-radius: 8px; background: #fbfcfe; font: 600 .95rem/1.7 "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--ink); overflow-wrap: anywhere; min-height: 3rem; }
.lab mark.hs-redex { background: #ffe9a8; color: #5c3b00; padding: .05rem .25rem; border-radius: 4px; box-shadow: 0 0 0 2px #f2c14e; font-weight: 800; }
.hs-why { margin: .4rem 0 0; color: var(--ink-soft); font-size: .8rem; font-style: italic; }
.hs-heap table { width: 100%; }
.hs-heap td code, .hs-deriv code { font: 500 .8rem "JetBrains Mono", ui-monospace, Consolas, monospace; background: transparent; padding: 0; overflow-wrap: anywhere; }
.hs-ev { color: #25573f; font-weight: 700; } .hs-pend { color: #8a5a0a; font-weight: 700; }
.hs-deriv { margin: .3rem 0 0; padding: .6rem .8rem .6rem 2.2rem; max-height: 280px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; list-style: none; counter-reset: dv; }
.hs-deriv li { padding: .12rem .3rem; border-radius: 4px; }
.hs-deriv li::before { content: '= '; color: var(--muted); font-weight: 700; }
.hs-deriv li:first-child::before { content: '  '; }
.hs-deriv li.cur { background: #fff4cf; }
.modos-t td, .modos-t th { vertical-align: middle; }
.modos-t tr.ok td:nth-child(2) { color: #25573f; font-weight: 700; } .modos-t tr.bad td:nth-child(2) { color: #8a2f20; font-weight: 700; }
.bar-wrap { display: block; width: 100%; min-width: 80px; height: 12px; border-radius: 99px; background: #e8edf4; overflow: hidden; } .bar { display: block; height: 100%; background: var(--blue); }
.pipe-stage { display: grid; gap: .3rem; }
.pipe-row { padding: .5rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.pipe-row.cur { border-color: var(--blue); background: var(--blue-soft); }
.pipe-items { display: flex; flex-wrap: wrap; gap: .4rem; margin-top: .3rem; }
.pipe-box { min-width: 2.4rem; padding: .3rem .6rem; border: 2px solid var(--navy); border-radius: 8px; background: #fff; font: 700 .9rem "JetBrains Mono", ui-monospace, Consolas, monospace; text-align: center; }
.pipe-box.out { border-color: #c9ced8; color: #9aa3b2; text-decoration: line-through; background: #f1f3f7; }
.pipe-box.final { background: #e8f1ec; border-color: #2f8f6b; font-size: 1.1rem; }
.pipe-arrow { text-align: center; color: var(--muted); font-size: 1.1rem; } .pipe-arrow.inline { display: inline-block; margin: 0 .3rem; }
.var-boxes { display: flex; gap: .8rem; flex-wrap: wrap; }
.var-box { min-width: 6rem; padding: .6rem .9rem; border: 2px solid var(--navy); border-radius: 8px; background: #fff; text-align: center; }
.var-box b { display: block; font: 800 1.2rem "JetBrains Mono", ui-monospace, Consolas, monospace; }
.var-box.chg { background: #fff4cf; border-color: #d49a1a; }
.tp-grid3 { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .8rem; margin-top: 1rem; }
.lang-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(17rem, 1fr)); gap: .8rem; }
.fold-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.fold-svg { width: 100%; height: auto; max-height: 360px; background: #fafbfd; border: 1px solid var(--line); border-radius: 8px; }
.fold-edge { stroke: #9aa8bd; stroke-width: 1.6; }
.fold-node { fill: #fff; stroke: var(--navy); stroke-width: 2; } .fold-node.done { fill: #e8f1ec; stroke: #2f8f6b; } .fold-node.cur { fill: #fff4cf; stroke: #d49a1a; stroke-width: 3; }
.fold-op { font: 800 12px "JetBrains Mono", monospace; fill: var(--navy); } .fold-t { font: 700 12px "JetBrains Mono", monospace; fill: var(--ink); } .fold-val { font: 800 12px "JetBrains Mono", monospace; fill: #25573f; }
.fold-leaf { fill: #fff; stroke: #9aa8bd; } .fold-leaf.z { stroke: #b7791f; fill: #fff8e6; }
.curry-stage { display: grid; gap: .6rem; }
.curry-box { display: flex; align-items: center; gap: .8rem; flex-wrap: wrap; padding: .8rem 1rem; border: 2px solid var(--navy); border-radius: 12px; background: #fff; }
.curry-box.value { background: #e8f1ec; border-color: #2f8f6b; }
.curry-name { font: 800 .95rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.curry-slots { display: flex; gap: .4rem; flex-wrap: wrap; }
.curry-slot { min-width: 3rem; padding: .25rem .6rem; border: 2px dashed #9aa8bd; border-radius: 8px; color: #7b8799; font: 700 .85rem "JetBrains Mono", monospace; text-align: center; }
.curry-slot.full { border-style: solid; border-color: #2f8f6b; background: #f3faf6; color: #25573f; }
.curry-result { font: 800 1.4rem "JetBrains Mono", monospace; color: #25573f; }
.machines { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; margin-top: .8rem; }
.machine { padding: .8rem; border: 1px solid var(--line); border-radius: 10px; background: #fafbfd; }
.machine-state { font: 800 1rem "JetBrains Mono", monospace; color: #8a2f20; }
.env-table tr.bad td { background: #fbeeea; }
.comp-chain { display: flex; flex-wrap: wrap; align-items: center; gap: .2rem; padding: .8rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; margin-top: .6rem; }
.comp-node { min-width: 2.6rem; padding: .3rem .6rem; border: 2px solid var(--navy); border-radius: 99px; text-align: center; font: 800 .9rem "JetBrains Mono", monospace; background: #fff; } .comp-node.in { background: #fff4cf; }
.comp-fn { padding: .3rem .7rem; border-radius: 8px; background: var(--navy); color: #fff; font: 700 .8rem var(--sans); }
.pers-area { overflow-x: auto; }
.pers-svg { width: 100%; max-width: 640px; height: auto; background: #fafbfd; border: 1px solid var(--line); border-radius: 8px; }
.pers-cell rect { fill: #fff; stroke: var(--navy); stroke-width: 2; } .pers-cell line { stroke: var(--navy); stroke-width: 2; } .pers-cell text { font: 800 13px "JetBrains Mono", monospace; fill: var(--ink); }
.pers-cell.hl rect { fill: #fff4cf; stroke: #d49a1a; stroke-width: 3; }
.pers-link { stroke: #55657d; stroke-width: 2; fill: none; } .pers-link.nil { stroke-dasharray: 4 3; } .pers-link.thin { stroke-width: 1.4; stroke: #8a4fb0; }
.pers-head { fill: #55657d; } .pers-name text { font: 800 13px "JetBrains Mono", monospace; fill: #8a4fb0; }
.pers-svg .hid { opacity: .08; }
@media (max-width: 860px) { .hs-grid, .fold-grid, .machines, .tp-grid3 { grid-template-columns: minmax(0, 1fr); } }
.lab .lab-input.wide { width: 100%; box-sizing: border-box; }
.tp-col pre.lab-grammar { white-space: pre-wrap; overflow-wrap: anywhere; }

/* ---- Unidad V: programación lógica ---- */
.pl-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.2fr); gap: 1rem; margin-top: .6rem; align-items: start; }
.pl-grid.even { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.pl-grid .lab-label { margin-top: .7rem; }
.pl-grid .lab-label:first-child { margin-top: 0; }
.pl-prompt { font: 800 1rem "JetBrains Mono", ui-monospace, Consolas, monospace; color: var(--navy); }
.pl-goals, .pl-eqs { margin: .3rem 0 .6rem; padding: .5rem .8rem .5rem 2rem; list-style: decimal; border: 1px solid var(--line); border-radius: 8px; background: #fbfcfe; min-height: 2.6rem; }
.pl-eqs { list-style: none; padding-left: .8rem; }
.pl-goals li, .pl-eqs li { padding: .15rem .35rem; border-radius: 4px; }
.pl-goals li.sel, .pl-eqs li.sel { background: #fff4cf; box-shadow: 0 0 0 2px #f2c14e; font-weight: 800; }
.pl-goals li.empty { list-style: none; margin-left: -1.3rem; color: #25573f; font-weight: 700; }
.pl-goals code, .pl-eqs code, .pl-cps code, .pl-chip code, .pl-qvars code, .pl-answers code, .pl-prog code, .pl-derived code { font: 600 .82rem "JetBrains Mono", ui-monospace, Consolas, monospace; background: transparent; padding: 0; overflow-wrap: anywhere; }
.pl-chip { display: inline-block; padding: .15rem .55rem; border: 1px solid #b9c6dc; border-radius: 99px; background: #eef3fb; }
.pl-cps { margin: .3rem 0 .6rem; padding: .5rem .8rem; list-style: none; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.pl-cps li { padding: .15rem 0; border-bottom: 1px dashed #e1e7f0; } .pl-cps li:last-child { border-bottom: 0; }
.pl-cps li.top { font-weight: 700; }
.pl-qvars table { width: 100%; }
.pl-tree { overflow: auto; max-height: 440px; padding: .4rem; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.plt { display: block; max-width: none; }
.plt-edge { stroke: #8fa0ba; stroke-width: 1.5; } .plt-edge.dead { stroke: #d7a79d; stroke-dasharray: 4 3; }
.plt-lab { font: 600 10px "JetBrains Mono", ui-monospace, Consolas, monospace; fill: #55657d; paint-order: stroke; stroke: #fafbfd; stroke-width: 3px; }
.plt-node rect { fill: #fff; stroke: var(--navy); stroke-width: 1.8; }
.plt-node text { font: 700 11px "JetBrains Mono", ui-monospace, Consolas, monospace; fill: var(--ink); }
.plt-node.exito rect { fill: #e8f1ec; stroke: #2f8f6b; stroke-width: 2.4; } .plt-node.exito text { fill: #25573f; }
.plt-node.fallo rect { fill: #fbeeea; stroke: #c1573f; } .plt-node.fallo text { fill: #8a2f20; }
.plt-node.podado rect { fill: #eef0f4; stroke: #9aa3b2; stroke-dasharray: 4 3; } .plt-node.podado text { fill: #6b7587; }
.plt-node.cur rect { stroke: #d49a1a; stroke-width: 3.4; filter: drop-shadow(0 0 4px #f2c14e); }
.pl-prog { max-height: 280px; overflow: auto; }
.pl-pred ol { margin: .2rem 0 .6rem; padding-left: 1.8rem; }
.pl-pred li { padding: .1rem .3rem; border-radius: 4px; }
.pl-pred li.act { background: #e8f1ec; box-shadow: 0 0 0 2px #2f8f6b; } .pl-pred li.act.bad { background: #fbeeea; box-shadow: 0 0 0 2px #c1573f; }
.pl-answers ol { margin: .2rem 0; padding-left: 1.8rem; }
.pl-uni-in { display: flex; align-items: center; gap: .6rem; } .pl-uni-in .lab-input { flex: 1 1 0; }
.pl-eq { font: 800 1.2rem "JetBrains Mono", monospace; color: var(--navy); }
.pl-derived { margin: .3rem 0; padding: .5rem .8rem .5rem 1.6rem; max-height: 260px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; background: #fafbfd; }
.lab-note-box.good { border-left-color: #2f8f6b; background: #f3faf6; }
@media (max-width: 860px) { .pl-grid, .pl-grid.even { grid-template-columns: minmax(0, 1fr); } .pl-uni-in { flex-direction: column; align-items: stretch; } }

/* ---- Móvil pequeño: números de línea más estrechos ---- */
@media (max-width: 480px) { .lab .code-list li::before { flex-basis: 2rem; padding-right: .5rem; } }

/* ---- Tablas de laboratorio: siempre dentro de un contenedor con desplazamiento horizontal ---- */
.lab, .lab .lab-body, .lab .cmp-res { min-width: 0; max-width: 100%; }
.lab .table-wrap { max-width: 100%; min-width: 0; overflow-x: auto; -webkit-overflow-scrolling: touch; }