/* forma lógica — hoja de estilos.
   Estética compartida con maurosantelli.com.ar: void oscuro, neón
   polvoriento, Geist para la prosa y Geist Mono para todo lo que sea
   máquina (fórmulas, etiquetas, teclado). El color queda reservado
   para el significado: una tinta por conectiva. Esquinas rectas. */

@font-face {
  font-family: 'Geist';
  src: url('../assets/fonts/Geist-Variable.woff2') format('woff2');
  font-weight: 100 900;
  font-style: normal;
}

@font-face {
  font-family: 'Geist Mono';
  src: url('../assets/fonts/GeistMono-Variable.woff2') format('woff2');
  font-weight: 100 900;
  font-style: normal;
}

:root {
  --sans: 'Geist', system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
  --mono: 'Geist Mono', ui-monospace, 'Cascadia Code', 'Courier New', monospace;

  --fondo: #0a0a0f;
  --superficie: #12121a;
  --realce: #1a1a24;
  --borde: #22222e;
  --tinta: #e8e6e3;
  --tinta-2: #9a9aaa;
  --apagado: #8585a0;
  --sombra: none;

  /* neón polvoriento */
  --cyan: #5fb3b3;
  --magenta: #c594c5;

  --neg: #d27b7b;   --neg-fondo: rgba(210, 123, 123, 0.13);
  --conj: #d4a959;  --conj-fondo: rgba(212, 169, 89, 0.13);
  --disy: #5fb3b3;  --disy-fondo: rgba(95, 179, 179, 0.13);
  --xor: #96c487;   --xor-fondo: rgba(150, 196, 135, 0.13);
  --cond: #7b9cd0;  --cond-fondo: rgba(123, 156, 208, 0.13);
  --bic: #c594c5;   --bic-fondo: rgba(197, 148, 197, 0.13);

  --prem: #5fb3b3;  --prem-fondo: rgba(95, 179, 179, 0.13);
  --concl: #7b9cd0; --concl-fondo: rgba(123, 156, 208, 0.13);

  --exito: #5fb3b3; --exito-fondo: rgba(95, 179, 179, 0.10);

  --ruido: 0.10;
}

/* tema claro: el mismo neón polvoriento, en versión papel (los tonos
   son los «dim» de la paleta). Se activa por preferencia del sistema,
   por el toggle de la cabecera o por el visor (data-theme). */

@media (prefers-color-scheme: light) {
  :root {
    --fondo: #f5f4ef;
    --superficie: #ffffff;
    --realce: #e6e5dd;
    --borde: #dbdad2;
    --tinta: #1e2028;
    --tinta-2: #62656f;
    --apagado: #6d6d84;

    --cyan: #397070;
    --magenta: #7f5f7f;

    --neg: #a85050;   --neg-fondo: rgba(168, 80, 80, 0.12);
    --conj: #856628;  --conj-fondo: rgba(133, 102, 40, 0.13);
    --disy: #397070;  --disy-fondo: rgba(57, 112, 112, 0.13);
    --xor: #4e7239;   --xor-fondo: rgba(78, 114, 57, 0.13);
    --cond: #4a6fa8;  --cond-fondo: rgba(74, 111, 168, 0.12);
    --bic: #7f5f7f;   --bic-fondo: rgba(127, 95, 127, 0.13);

    --prem: #397070;  --prem-fondo: rgba(57, 112, 112, 0.13);
    --concl: #4a6fa8; --concl-fondo: rgba(74, 111, 168, 0.12);

    --exito: #397070; --exito-fondo: rgba(57, 112, 112, 0.09);

    --ruido: 0.05;
  }
}

:root[data-theme="light"] {
  --fondo: #f5f4ef;
  --superficie: #ffffff;
  --realce: #e6e5dd;
  --borde: #dbdad2;
  --tinta: #1e2028;
  --tinta-2: #62656f;
  --apagado: #6d6d84;

  --cyan: #397070;
  --magenta: #7f5f7f;

  --neg: #a85050;   --neg-fondo: rgba(168, 80, 80, 0.12);
  --conj: #856628;  --conj-fondo: rgba(133, 102, 40, 0.13);
  --disy: #397070;  --disy-fondo: rgba(57, 112, 112, 0.13);
  --xor: #4e7239;   --xor-fondo: rgba(78, 114, 57, 0.13);
  --cond: #4a6fa8;  --cond-fondo: rgba(74, 111, 168, 0.12);
  --bic: #7f5f7f;   --bic-fondo: rgba(127, 95, 127, 0.13);

  --prem: #397070;  --prem-fondo: rgba(57, 112, 112, 0.13);
  --concl: #4a6fa8; --concl-fondo: rgba(74, 111, 168, 0.12);

  --exito: #397070; --exito-fondo: rgba(57, 112, 112, 0.09);

  --ruido: 0.05;
}

:root[data-theme="dark"] {
  --fondo: #0a0a0f;
  --superficie: #12121a;
  --realce: #1a1a24;
  --borde: #22222e;
  --tinta: #e8e6e3;
  --tinta-2: #9a9aaa;
  --apagado: #8585a0;

  --cyan: #5fb3b3;
  --magenta: #c594c5;

  --neg: #d27b7b;   --neg-fondo: rgba(210, 123, 123, 0.13);
  --conj: #d4a959;  --conj-fondo: rgba(212, 169, 89, 0.13);
  --disy: #5fb3b3;  --disy-fondo: rgba(95, 179, 179, 0.13);
  --xor: #96c487;   --xor-fondo: rgba(150, 196, 135, 0.13);
  --cond: #7b9cd0;  --cond-fondo: rgba(123, 156, 208, 0.13);
  --bic: #c594c5;   --bic-fondo: rgba(197, 148, 197, 0.13);

  --prem: #5fb3b3;  --prem-fondo: rgba(95, 179, 179, 0.13);
  --concl: #7b9cd0; --concl-fondo: rgba(123, 156, 208, 0.13);

  --exito: #5fb3b3; --exito-fondo: rgba(95, 179, 179, 0.10);

  --ruido: 0.10;
}

* { box-sizing: border-box; }

/* que display:flex/grid no pise el atributo hidden */
[hidden] { display: none !important; }

html { background: var(--fondo); transition: background 0.2s ease; }

/* ruido de canal muerto, quieto, debajo de todo */
html::before {
  content: '';
  position: fixed;
  inset: 0;
  z-index: -1;
  pointer-events: none;
  background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='140' height='140'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='2' stitchTiles='stitch'/%3E%3CfeColorMatrix type='saturate' values='0'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");
  background-size: 140px 140px;
  opacity: var(--ruido);
}

body {
  margin: 0 auto;
  padding: 0 24px 48px;
  max-width: 1180px;
  background: transparent;
  color: var(--tinta);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.5;
}

/* scanlines, apenas */
body::before {
  content: '';
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 1000;
  background: repeating-linear-gradient(0deg,
      transparent,
      transparent 2px,
      rgba(0, 0, 0, 0.03) 2px,
      rgba(0, 0, 0, 0.03) 4px);
}

::selection { background: var(--cyan); color: var(--fondo); }

button { font-family: inherit; cursor: pointer; }
button:focus-visible, input:focus-visible, a:focus-visible, .seg:focus-visible {
  outline: 2px solid var(--cyan);
  outline-offset: 2px;
}

a { color: var(--cyan); text-decoration: none; }

@keyframes aparecer {
  from { opacity: 0; transform: translateY(8px); }
  to { opacity: 1; transform: translateY(0); }
}

/* ------------------------------------------------------------- cabecera */

.topbar {
  padding: 32px 0 4px;
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
}

.wordmark {
  margin: 0;
  font-family: var(--mono);
  font-weight: 500;
  font-size: 1.55rem;
  letter-spacing: -0.01em;
}

.wordmark::after {
  content: '_';
  color: var(--cyan);
  animation: parpadeo 1s step-end infinite;
}

@keyframes parpadeo { 50% { opacity: 0; } }

.wordmark-simbolo {
  margin-right: 2px;
  color: var(--cyan);
}

.subtitulo {
  margin: 2px 0 0;
  color: var(--apagado);
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.14em;
  text-transform: lowercase;
}

.link-autor {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--tinta-2);
  transition: color 0.2s ease;
}

.link-autor::before { content: '['; opacity: 0; transition: opacity 0.2s ease; }
.link-autor::after { content: ']'; opacity: 0; transition: opacity 0.2s ease; }
.link-autor:hover { color: var(--cyan); }
.link-autor:hover::before, .link-autor:hover::after { opacity: 0.5; }

.topbar-derecha {
  display: flex;
  align-items: baseline;
  gap: 18px;
}

.boton-tema {
  background: none;
  border: none;
  padding: 0;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--tinta-2);
  transition: color 0.2s ease;
}

.boton-tema::before { content: '['; opacity: 0.5; }
.boton-tema::after { content: ']'; opacity: 0.5; }
.boton-tema:hover { color: var(--cyan); }

/* ------------------------------------------------------- aviso pantalla */

.aviso-movil {
  margin: 16px 0 0;
  border: 1px solid var(--realce);
  border-left: 2px solid var(--conj);
  background: var(--superficie);
  padding: 12px 14px;
  font-size: 0.88rem;
}

.aviso-movil p { margin: 0 0 10px; }
.aviso-resultado { border-left-color: var(--cyan); }

/* ------------------------------------------------------------------ nav */

.nav-ejercicios {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 36px;
  padding: 20px 0 24px;
  border-bottom: 1px solid var(--realce);
  margin-bottom: 28px;
}

.nav-nivel-nombre {
  display: block;
  font-family: var(--mono);
  font-size: 0.65rem;
  letter-spacing: 0.18em;
  text-transform: uppercase;
  color: var(--apagado);
  margin-bottom: 7px;
  background: none;
  border: none;
  padding: 0;
  text-align: left;
  transition: color 0.2s ease;
}

.nav-nivel-nombre:hover { color: var(--tinta); }
.nav-nivel-nombre[aria-expanded="true"] { color: var(--tinta-2); }
.nav-nivel-nombre::before { content: '// '; color: var(--magenta); }
.nav-nivel-conteo { margin-left: 10px; color: var(--apagado); letter-spacing: 0.06em; }

.nav-pills { display: flex; flex-wrap: wrap; gap: 6px; }

.pill {
  border: 1px solid var(--borde);
  background: var(--superficie);
  color: var(--tinta-2);
  font-family: var(--mono);
  font-size: 0.78rem;
  text-transform: lowercase;
  padding: 4px 10px;
  transition: color 0.2s ease, border-color 0.2s ease;
}

.pill:hover { border-color: var(--cyan); color: var(--tinta); }
.pill-activa { border-color: var(--cyan); color: var(--cyan); box-shadow: inset 0 0 0 1px var(--cyan); }
.pill-hecha::after { content: ' ✓'; color: var(--exito); }

/* -------------------------------------------------------------- tablero */

.tablero {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 340px;
  gap: 40px;
  align-items: start;
}

@media (max-width: 960px) {
  .tablero { grid-template-columns: minmax(0, 1fr); }
}

.trabajo-encabezado {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 16px;
}

.trabajo-encabezado h2 {
  margin: 0;
  font-family: var(--sans);
  font-size: 1.5rem;
  font-weight: 650;
  letter-spacing: -0.02em;
}

.consigna {
  color: var(--tinta-2);
  font-size: 0.9rem;
  max-width: 62ch;
  margin: 6px 0 18px;
}

/* --------------------------------------------- pregunta «¿es argumento?» */

.pregunta-arg {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px 16px;
  margin: 2px 0 14px;
}

.pregunta-texto {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--tinta);
}

.pregunta-botones { display: flex; gap: 8px; }

.preg-boton {
  border: 1px solid var(--borde);
  background: var(--superficie);
  color: var(--tinta-2);
  font-family: var(--mono);
  font-size: 0.8rem;
  text-transform: lowercase;
  padding: 6px 14px;
  transition: color 0.2s ease, border-color 0.2s ease;
}

.preg-boton:hover:not(:disabled) { border-color: var(--cyan); color: var(--tinta); }
.preg-boton.preg-activa {
  border-color: var(--cyan);
  box-shadow: inset 0 0 0 1px var(--cyan);
  color: var(--cyan);
  background: var(--concl-fondo);
}

/* --------------------------------------------------------------- paleta */

.paleta {
  position: sticky;
  top: 0;
  z-index: 2;
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  padding: 10px 0;
  background: var(--fondo);
}

.herr {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  border: 1px solid var(--borde);
  background: var(--superficie);
  color: var(--tinta-2);
  font-family: var(--mono);
  font-size: 0.8rem;
  text-transform: lowercase;
  padding: 5px 10px;
  transition: color 0.2s ease, border-color 0.2s ease;
}

.herr:hover { color: var(--tinta); }

.herr-sim {
  font-family: var(--mono);
  font-size: 1rem;
  line-height: 1;
}

.herr-atajo {
  font-size: 0.6rem;
  color: var(--apagado);
  opacity: 0.75;
}

.herr.c-neg .herr-sim { color: var(--neg); }
.herr.c-conj .herr-sim { color: var(--conj); }
.herr.c-disy .herr-sim { color: var(--disy); }
.herr.c-xor .herr-sim { color: var(--xor); }
.herr.c-cond .herr-sim { color: var(--cond); }
.herr.c-bic .herr-sim { color: var(--bic); }
.herr.h-prop .herr-sim { font-style: italic; }
.herr.h-prem .herr-sim { color: var(--prem); }
.herr.h-concl .herr-sim { color: var(--concl); }
.herr.h-indp .herr-sim { color: var(--prem); }
.herr.h-indc .herr-sim { color: var(--concl); }
.herr.h-borrar .herr-sim { color: var(--apagado); }

.herr-activa { border-color: var(--cyan); box-shadow: inset 0 0 0 1px var(--cyan); color: var(--tinta); }
.herr.c-neg.herr-activa { background: var(--neg-fondo); border-color: var(--neg); box-shadow: inset 0 0 0 1px var(--neg); }
.herr.c-conj.herr-activa { background: var(--conj-fondo); border-color: var(--conj); box-shadow: inset 0 0 0 1px var(--conj); }
.herr.c-disy.herr-activa { background: var(--disy-fondo); border-color: var(--disy); box-shadow: inset 0 0 0 1px var(--disy); }
.herr.c-xor.herr-activa { background: var(--xor-fondo); border-color: var(--xor); box-shadow: inset 0 0 0 1px var(--xor); }
.herr.c-cond.herr-activa { background: var(--cond-fondo); border-color: var(--cond); box-shadow: inset 0 0 0 1px var(--cond); }
.herr.c-bic.herr-activa { background: var(--bic-fondo); border-color: var(--bic); box-shadow: inset 0 0 0 1px var(--bic); }
.herr.h-prem.herr-activa { background: var(--prem-fondo); border-color: var(--prem); box-shadow: inset 0 0 0 1px var(--prem); }
.herr.h-concl.herr-activa { background: var(--concl-fondo); border-color: var(--concl); box-shadow: inset 0 0 0 1px var(--concl); }
.herr.h-indp.herr-activa { background: var(--prem-fondo); border-color: var(--prem); box-shadow: inset 0 0 0 1px var(--prem); }
.herr.h-indc.herr-activa { background: var(--concl-fondo); border-color: var(--concl); box-shadow: inset 0 0 0 1px var(--concl); }

/* ------------------------------------------------------------ argumento */

.argumento {
  list-style: none;
  margin: 8px 0 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 18px;
}

.enunciado {
  display: flex;
  gap: 14px;
  background: var(--superficie);
  border: 1px solid var(--realce);
  padding: 16px 18px;
  animation: aparecer 0.4s ease-out backwards;
}

.enunciado:nth-child(2) { animation-delay: 0.06s; }
.enunciado:nth-child(3) { animation-delay: 0.12s; }
.enunciado:nth-child(4) { animation-delay: 0.18s; }

.badge {
  flex: none;
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--apagado);
  border: 1px solid var(--borde);
  width: 34px;
  height: 28px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  margin-top: 3px;
}

.badge-conclusion { color: var(--concl); border-color: var(--concl); font-size: 1rem; }

.enunciado-cuerpo { flex: 1; min-width: 0; }

.texto {
  margin: 0 0 12px;
  font-family: var(--sans);
  font-size: 1.22rem;
  font-weight: 350;
  line-height: 1.85;
}

.enunciado-rec .texto { margin-bottom: 0; }

/* atribución del fragmento */
.fuente {
  margin: 6px 0 0;
  text-align: right;
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.06em;
  color: var(--apagado);
}

.fuente::before { content: '// '; color: var(--magenta); }

/* segmentos marcables */

.seg {
  padding: 1px 2px;
  border-bottom: 2px solid transparent;
  cursor: pointer;
  /* al cortarse entre líneas, cada fragmento conserva fondo y subrayado */
  -webkit-box-decoration-break: clone;
  box-decoration-break: clone;
}

.seg-inactivo { cursor: default; }

.seg:not(.seg-inactivo):hover { background: var(--borde); }

.seg.tag-conn { font-weight: 550; transition: background 0.25s; }
.seg.tag-conn.c-neg { background: var(--neg-fondo); color: var(--neg); }
.seg.tag-conn.c-conj { background: var(--conj-fondo); color: var(--conj); }
.seg.tag-conn.c-disy { background: var(--disy-fondo); color: var(--disy); }
.seg.tag-conn.c-xor { background: var(--xor-fondo); color: var(--xor); }
.seg.tag-conn.c-cond { background: var(--cond-fondo); color: var(--cond); }
.seg.tag-conn.c-bic { background: var(--bic-fondo); color: var(--bic); }

.seg.tag-prop { border-bottom-color: var(--tinta); }

.seg.tag-rol { font-weight: 550; transition: background 0.25s; }
.seg.tag-rol.rol-prem { background: var(--prem-fondo); color: var(--prem); }
.seg.tag-rol.rol-concl { background: var(--concl-fondo); color: var(--concl); }

/* indicadores marcados: señal, no parte — subrayado punteado, sin fondo */
.seg.tag-rol.rol-indP,
.seg.tag-rol.rol-indC { background: transparent; font-weight: 500; }
.seg.tag-rol.rol-indP { color: var(--prem); border-bottom: 2px dotted var(--prem); }
.seg.tag-rol.rol-indC { color: var(--concl); border-bottom: 2px dotted var(--concl); }

.chip {
  font-family: var(--mono);
  font-style: italic;
  font-size: 0.68em;
  background: var(--tinta);
  color: var(--fondo);
  padding: 0 4px 1px;
  margin-left: 3px;
}

.chip-rol { font-style: normal; }
.seg.tag-rol.rol-prem .chip-rol { background: var(--prem); }
.seg.tag-rol.rol-concl .chip-rol { background: var(--concl); }
.seg.tag-rol.rol-indP .chip-rol { background: var(--prem); }
.seg.tag-rol.rol-indC .chip-rol { background: var(--concl); }

/* chip con el símbolo en toda marca de conectiva: el color no es el
   único canal (daltonismo) y refuerza la asociación palabra→símbolo */
.chip-conn {
  font-style: normal;
  background: var(--fondo);
  border: 1px solid var(--borde);
  padding: 0 3px 1px;
}
.chip-conn span + span { margin-left: 2px; }

.seg.tag-conn2 { color: var(--tinta); }

/* segmento señalado por el chequeo; se apaga al tocarlo */
.seg-problema {
  outline: 1px dashed var(--conj);
  outline-offset: 2px;
}

.input-problema { border-color: var(--conj); }

/* fórmula por enunciado */

.fila-formula { display: flex; align-items: center; gap: 8px; }

.input-formula {
  flex: 1;
  min-width: 0;
  border: 1px solid var(--borde);
  background: var(--fondo);
  color: var(--tinta);
  font-family: var(--mono);
  font-size: 1rem;
  padding: 7px 10px;
  letter-spacing: 0.05em;
}

.input-formula:hover { border-color: var(--apagado); }

.estado-formula {
  min-height: 1.2em;
  font-family: var(--mono);
  font-size: 0.72rem;
  margin-top: 6px;
}
.ef-ok { color: var(--exito); }
.ef-ok::before { content: '> '; opacity: 0.6; }
.ef-error { color: var(--neg); }
.ef-error::before { content: '! '; opacity: 0.8; }

/* -------------------------------------------------------------- teclado */

.teclado-marco {
  position: sticky;
  bottom: 12px;
  margin-top: 18px;
  background: var(--superficie);
  border: 1px solid var(--realce);
  padding: 8px 12px 10px;
}

.teclado-titulo {
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.18em;
  text-transform: uppercase;
  color: var(--apagado);
}

.teclado-titulo::before { content: '// '; color: var(--magenta); }

.teclado-alias {
  float: right;
  font-family: var(--mono);
  font-size: 0.62rem;
  letter-spacing: 0.06em;
  color: var(--apagado);
}

.teclado { display: flex; flex-wrap: wrap; gap: 5px; margin-top: 6px; }

.tecla {
  min-width: 40px;
  height: 38px;
  border: 1px solid var(--borde);
  background: var(--fondo);
  color: var(--tinta);
  font-family: var(--mono);
  font-size: 1.05rem;
  transition: border-color 0.2s ease;
}

.tecla:hover { border-color: var(--cyan); }
.tecla-letra { font-style: italic; border-bottom-width: 2px; border-bottom-color: var(--tinta); }
.tecla-borrar { margin-left: auto; color: var(--tinta-2); }

/* en pantallas chicas, los elementos pegajosos flotan sobre el contenido
   (peor todavía con zoom táctil, que los deja clavados en el medio):
   mejor que acompañen el flujo del documento */
@media (max-width: 620px) {
  .paleta { position: static; }
  .teclado-marco { position: static; }
  .teclado-alias { float: none; display: block; margin-top: 2px; }
}

/* ------------------------------------------------------- tabla de verdad */

.contexto-val {
  color: var(--tinta-2);
  font-style: italic;
  max-width: 62ch;
  margin: 0 0 16px;
}

.tabla-verdad {
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 0.9rem;
}

.tabla-verdad th, .tabla-verdad td {
  border: 1px solid var(--borde);
  padding: 6px 14px;
  text-align: center;
}

.tabla-verdad th {
  color: var(--tinta-2);
  font-weight: 500;
  font-size: 0.78rem;
  background: var(--superficie);
}

.tabla-verdad .tv-letra { font-style: italic; }
.tabla-verdad .tv-num { color: var(--apagado); font-size: 0.7rem; min-width: 34px; padding: 0; }
.tv-marcar {
  background: none;
  border: none;
  color: var(--apagado);
  font-family: var(--mono);
  font-size: 0.7rem;
  padding: 6px 12px;
  width: 100%;
  height: 100%;
}
.tabla-verdad tbody tr.fila-contra .tv-marcar { color: var(--neg); }
.tv-celda {
  background: none;
  border: none;
  font-family: var(--mono);
  font-size: 0.9rem;
  color: var(--tinta);
  padding: 6px 14px;
  width: 100%;
  height: 100%;
}
.tv-celda:hover { color: var(--cyan); }
.tabla-verdad td.celda-mal { outline: 1px dashed var(--conj); outline-offset: -2px; }
.tabla-verdad td:has(.tv-celda) { padding: 0; }
.tabla-verdad .tv-conclusion { border-left: 2px solid var(--apagado); }

.tabla-verdad tbody tr { cursor: pointer; transition: background 0.15s ease; }
.tabla-verdad tbody tr:hover { background: var(--realce); }
.tabla-verdad tbody tr:focus-visible { outline: 2px solid var(--cyan); outline-offset: -2px; }
.tabla-verdad tbody tr.fila-contra { background: var(--neg-fondo); }
.tabla-verdad tbody tr.fila-contra td { border-top: 1px dashed var(--neg); border-bottom: 1px dashed var(--neg); }
.tabla-verdad tbody tr.fila-contra td:first-child { border-left: 1px dashed var(--neg); }
.tabla-verdad tbody tr.fila-contra td:last-child { border-right: 1px dashed var(--neg); }
.tabla-verdad tbody tr.fila-contra .tv-num { color: var(--neg); }
.tabla-verdad.tabla-inerte tbody tr { cursor: default; }
.tabla-verdad.tabla-inerte tbody tr:hover { background: transparent; }
.tabla-verdad.tabla-inerte tbody tr.fila-contra:hover { background: var(--neg-fondo); }

.estr-formula { font-family: var(--mono); }

.tabla-forma { margin: 12px 0 4px; overflow-x: auto; }

/* ------------------------------------------------------------ paráfrasis */

.texto-par { max-width: 68ch; }

.partes { display: flex; flex-direction: column; gap: 20px; margin-top: 20px; }

.parte { border-left: 2px solid var(--realce); padding-left: 14px; }
.parte-problema { border-left-color: var(--conj); }

.parte-titulo {
  margin: 0 0 8px;
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--tinta-2);
}

.opciones { display: flex; flex-direction: column; gap: 6px; max-width: 62ch; }

.opcion {
  text-align: left;
  border: 1px solid var(--borde);
  background: var(--superficie);
  color: var(--tinta-2);
  font-family: var(--sans);
  font-size: 0.9rem;
  line-height: 1.4;
  padding: 8px 12px;
  transition: color 0.2s ease, border-color 0.2s ease;
}

.opcion:hover:not(:disabled) { border-color: var(--cyan); color: var(--tinta); }
.opcion-activa { border-color: var(--cyan); box-shadow: inset 0 0 0 1px var(--cyan); color: var(--tinta); }
.opcion-correcta { border-color: var(--exito); background: var(--exito-fondo); color: var(--tinta); }
.opcion:disabled { cursor: default; }

/* ---------------------------------------------------------------- panel */

.panel {
  position: sticky;
  top: 16px;
  display: flex;
  flex-direction: column;
  gap: 22px;
}

@media (max-width: 960px) { .panel { position: static; } }

.panel-titulo {
  font-family: var(--mono);
  font-size: 0.65rem;
  letter-spacing: 0.18em;
  text-transform: uppercase;
  color: var(--magenta);
  margin: 0 0 8px;
  font-weight: 500;
}

.panel-titulo::before { content: '// '; color: var(--apagado); }

.forma-argumento {
  background: var(--superficie);
  border: 1px solid var(--realce);
  padding: 12px 14px;
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.forma-fila { display: flex; gap: 10px; align-items: baseline; }

.forma-badge {
  flex: none;
  width: 26px;
  font-family: var(--mono);
  color: var(--apagado);
  font-size: 0.78rem;
}

.forma-cuerpo { font-family: var(--mono); font-size: 1.05rem; letter-spacing: 0.05em; }
.forma-pendiente { color: var(--apagado); }

/* estructura premisas / raya / conclusión (reconocimiento) */

.estr-fila { display: flex; gap: 10px; align-items: baseline; }

.estr-texto { font-size: 0.9rem; }
.estr-pendiente { color: var(--apagado); font-style: italic; }

.forma-badge-concl { color: var(--concl); }

.estr-conclusion {
  border-top: 1px solid var(--cyan);
  margin-top: 8px;
  padding-top: 8px;
}

.diccionario {
  margin: 0;
  background: var(--superficie);
  border: 1px solid var(--realce);
  padding: 12px 14px;
  display: flex;
  flex-direction: column;
  gap: 7px;
}

.dicc-vacio { margin: 0; color: var(--tinta-2); font-size: 0.85rem; }

.dicc-fila { display: flex; gap: 10px; align-items: baseline; }

.dicc-letra {
  flex: none;
  font-family: var(--mono);
  font-style: italic;
  background: var(--tinta);
  color: var(--fondo);
  min-width: 22px;
  text-align: center;
  font-size: 0.85rem;
  padding: 0 4px 1px;
}

.dicc-texto { margin: 0; font-size: 0.92rem; }

/* -------------------------------------------------------------- botones */

.boton {
  font-family: var(--mono);
  font-size: 0.85rem;
  text-transform: lowercase;
  padding: 10px 14px;
  border: 1px solid var(--cyan);
  transition: opacity 0.2s ease, color 0.2s ease, border-color 0.2s ease;
}

.boton:disabled { opacity: 0.35; cursor: not-allowed; }
.boton-primario { background: var(--cyan); color: var(--fondo); font-weight: 600; }
.boton-primario:hover:not(:disabled) { opacity: 0.88; }
.boton-secundario { background: transparent; color: var(--cyan); }
.boton-secundario:hover { background: var(--exito-fondo); }
.boton-terciario {
  background: transparent;
  color: var(--tinta-2);
  border-color: var(--borde);
  font-size: 0.72rem;
  padding: 4px 10px;
}
.boton-terciario:hover { color: var(--tinta); border-color: var(--apagado); }

/* ------------------------------------------------------------- feedback */

.feedback { display: flex; flex-direction: column; gap: 12px; }

.carta {
  border: 1px solid var(--realce);
  border-left: 2px solid var(--realce);
  background: var(--superficie);
  padding: 12px 14px;
  font-size: 0.9rem;
  animation: aparecer 0.3s ease-out backwards;
}

.carta h3 {
  margin: 0 0 8px;
  font-family: var(--mono);
  font-size: 0.82rem;
  font-weight: 600;
  letter-spacing: 0.04em;
}
.carta ul { margin: 0; padding-left: 18px; display: flex; flex-direction: column; gap: 6px; }

.carta-cons { border-left-color: var(--bic); }
.carta-cons h3 { color: var(--bic); }
.carta-corr { border-left-color: var(--conj); }
.carta-corr h3 { color: var(--conj); }
.carta-exito { border-left-color: var(--exito); background: var(--exito-fondo); }
.carta-exito h3 { color: var(--exito); }
.carta-solucion { border-left-color: var(--cond); }
.carta-solucion h3 { color: var(--cond); }

.exito-forma {
  font-family: var(--mono);
  font-size: 1.05rem;
  letter-spacing: 0.05em;
  margin: 4px 0 8px;
}

.nota { color: var(--tinta-2); margin: 8px 0 0; }

.solucion-dicc { display: flex; flex-direction: column; gap: 5px; margin: 8px 0; }

.carta-solucion .boton, .carta-exito .boton { margin-top: 10px; }

/* ----------------------------------------------------------------- toast */

.toast {
  position: fixed;
  bottom: 18px;
  left: 50%;
  transform: translateX(-50%);
  z-index: 1001;
  max-width: min(520px, calc(100vw - 40px));
  background: var(--superficie);
  border: 1px solid var(--cyan);
  padding: 10px 14px;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--tinta);
  animation: aparecer 0.3s ease-out backwards;
  transition: opacity 0.4s ease;
}

.toast-fuera { opacity: 0; }

/* ------------------------------------------------------------------ pie */

.pie {
  margin-top: 48px;
  border-top: 1px solid var(--realce);
  padding-top: 14px;
  color: var(--apagado);
  font-family: var(--mono);
  font-size: 0.72rem;
  letter-spacing: 0.04em;
}

.pie p { margin: 0; }

.pie a { color: var(--tinta-2); transition: color 0.2s ease; }
.pie a:hover { color: var(--cyan); }

@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; }
}