:root {
  --bg: #080c14;
  --surface: #0e1520;
  --surface2: #141d2e;
  --border: #1e2d45;
  --accent: #00d4ff;
  --accent2: #7c3aed;
  --green: #00e5a0;
  --red: #ff4d6d;
  --yellow: #fbbf24;
  --text: #e2eaf4;
  --text-muted: #5a7a9a;
  --font-mono: 'Space Mono', monospace;
  --font-display: 'Syne', sans-serif;
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-display);
  min-height: 100vh;
  overflow-x: hidden;
}

/* Grid de fondo */
.bg-grid {
  position: fixed;
  inset: 0;
  background-image:
    linear-gradient(rgba(0,212,255,0.03) 1px, transparent 1px),
    linear-gradient(90deg, rgba(0,212,255,0.03) 1px, transparent 1px);
  background-size: 40px 40px;
  pointer-events: none;
  z-index: 0;
}

main {
  position: relative;
  z-index: 1;
  max-width: 860px;
  margin: 0 auto;
  padding: 60px 24px 80px;
}

/* HEADER */
header {
  margin-bottom: 48px;
}

.label-top {
  font-family: var(--font-mono);
  font-size: 11px;
  letter-spacing: 0.25em;
  color: var(--accent);
  text-transform: uppercase;
  display: block;
  margin-bottom: 12px;
}

h1 {
  font-size: clamp(48px, 8vw, 80px);
  font-weight: 800;
  line-height: 1;
  letter-spacing: -2px;
  color: var(--text);
  margin-bottom: 20px;
}

h1 em {
  font-style: normal;
  color: transparent;
  -webkit-text-stroke: 2px var(--accent);
  display: block;
}

.subtitulo {
  font-size: 15px;
  color: var(--text-muted);
  font-family: var(--font-mono);
  line-height: 1.6;
}

.subtitulo code {
  color: var(--accent);
  background: rgba(0,212,255,0.1);
  padding: 1px 6px;
  border-radius: 4px;
}

/* INPUT SECTION */
.input-section {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 16px;
  padding: 28px;
  margin-bottom: 28px;
}

.input-wrap {
  display: flex;
  gap: 12px;
  margin-bottom: 24px;
}

#expresion {
  flex: 1;
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 14px 18px;
  font-family: var(--font-mono);
  font-size: 18px;
  color: var(--text);
  outline: none;
  transition: border-color 0.2s, box-shadow 0.2s;
  caret-color: var(--accent);
}

#expresion:focus {
  border-color: var(--accent);
  box-shadow: 0 0 0 3px rgba(0,212,255,0.12);
}

#expresion::placeholder { color: var(--text-muted); }

.btn-calcular {
  display: flex;
  align-items: center;
  gap: 8px;
  background: var(--accent);
  color: var(--bg);
  border: none;
  border-radius: 10px;
  padding: 14px 22px;
  font-family: var(--font-display);
  font-size: 15px;
  font-weight: 700;
  cursor: pointer;
  white-space: nowrap;
  transition: transform 0.15s, box-shadow 0.15s;
}

.btn-calcular:hover {
  transform: translateY(-2px);
  box-shadow: 0 6px 24px rgba(0,212,255,0.3);
}

.btn-calcular:active { transform: translateY(0); }

/* OPERADORES */
.operadores {
  display: flex;
  gap: 20px;
  flex-wrap: wrap;
}

.op-grupo {
  display: flex;
  align-items: center;
  gap: 6px;
  flex-wrap: wrap;
}

.op-label {
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 0.15em;
  color: var(--text-muted);
  text-transform: uppercase;
  margin-right: 4px;
}

.op-btn {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 2px;
  background: var(--surface2);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 8px 12px;
  cursor: pointer;
  transition: border-color 0.15s, background 0.15s, transform 0.1s;
  color: var(--text);
}

.op-btn:hover {
  border-color: var(--accent);
  background: rgba(0,212,255,0.07);
  transform: translateY(-2px);
}

.op-btn:active { transform: translateY(0); }

.op-sym {
  font-family: var(--font-mono);
  font-size: 16px;
  font-weight: 700;
  color: var(--accent);
  line-height: 1;
}

.op-name {
  font-family: var(--font-mono);
  font-size: 8px;
  color: var(--text-muted);
  letter-spacing: 0.05em;
}

.op-btn.paren .op-sym { color: var(--text-muted); }
.op-btn.borrar .op-sym { color: var(--red); }
.op-btn.borrar:hover { border-color: var(--red); background: rgba(255,77,109,0.07); }

/* ERROR */
.error-msg {
  background: rgba(255,77,109,0.1);
  border: 1px solid rgba(255,77,109,0.3);
  border-radius: 10px;
  padding: 14px 18px;
  font-family: var(--font-mono);
  font-size: 13px;
  color: var(--red);
  margin-bottom: 20px;
  animation: fadeIn 0.3s ease;
}

/* CLASIFICACIÓN */
.clasificacion {
  border-radius: 12px;
  padding: 16px 20px;
  font-family: var(--font-mono);
  font-size: 13px;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  margin-bottom: 24px;
  display: flex;
  align-items: center;
  gap: 10px;
  animation: fadeIn 0.3s ease;
}

.clasificacion.tautologia {
  background: rgba(0,229,160,0.1);
  border: 1px solid rgba(0,229,160,0.3);
  color: var(--green);
}

.clasificacion.contradiccion {
  background: rgba(255,77,109,0.1);
  border: 1px solid rgba(255,77,109,0.3);
  color: var(--red);
}

.clasificacion.contingente {
  background: rgba(251,191,36,0.08);
  border: 1px solid rgba(251,191,36,0.25);
  color: var(--yellow);
}

/* TABLA */
#tabla-wrap {
  overflow-x: auto;
}

table {
  width: 100%;
  border-collapse: separate;
  border-spacing: 0;
  border: 1px solid var(--border);
  border-radius: 14px;
  overflow: hidden;
  animation: fadeIn 0.4s ease;
}

thead {
  background: var(--surface2);
}

thead th {
  font-family: var(--font-mono);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: 0.15em;
  text-transform: uppercase;
  color: var(--accent);
  padding: 14px 20px;
  text-align: center;
  border-bottom: 1px solid var(--border);
}

thead th:last-child {
  color: var(--text-muted);
  border-left: 1px solid var(--border);
}

tbody tr {
  transition: background 0.15s;
  opacity: 0;
  animation: slideUp 0.3s forwards;
}

tbody tr:hover { background: rgba(0,212,255,0.04); }

tbody td {
  font-family: var(--font-mono);
  font-size: 14px;
  text-align: center;
  padding: 12px 20px;
  border-top: 1px solid var(--border);
  color: var(--text-muted);
}

tbody td.val-v {
  color: var(--green);
  font-weight: 700;
}

tbody td.val-f {
  color: var(--red);
}

tbody td:last-child {
  border-left: 1px solid var(--border);
  font-size: 15px;
  font-weight: 700;
}

tbody td:last-child.val-v { color: var(--green); }
tbody td:last-child.val-f { color: var(--red); }

/* ANIMACIONES */
@keyframes fadeIn {
  from { opacity: 0; transform: translateY(8px); }
  to { opacity: 1; transform: translateY(0); }
}

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

/* RESPONSIVE */
@media (max-width: 600px) {
  .input-wrap { flex-direction: column; }
  .operadores { gap: 12px; }
  h1 { font-size: 44px; }
}