/* ─── Boole — tokens ─────────────────────────────────────────────────── */
/* Base azul + blanco. El verde se reserva para "verdadero / OK":
   el 1 booleano, estados en línea, señales y la salida de la compuerta. */
:root {
  --bg: #ffffff;
  --bg-alt: #f4f7fc;         /* gris azulado muy claro para alternar secciones */
  --surface: #ffffff;
  --border: #e2e8f2;
  --ink: #0b1b3a;            /* azul marino casi negro */
  --ink-2: #44526b;
  --muted: #74819a;
  --blue: #1d4ed8;           /* azul Boole */
  --blue-hover: #1e40af;
  --blue-soft: #eaf0ff;
  --navy: #0a1f4d;
  --navy-2: #0f2e6e;
  --green: #16a34a;          /* toques: verdadero / OK */
  --green-bright: #4ade80;   /* verde sobre fondos azul oscuro */
  --green-soft: #e8f7ee;
  --warn: #c2790a;
  --warn-soft: #fdf3e2;
  --radius: 14px;
  --shadow: 0 1px 2px rgba(11, 27, 58, 0.04), 0 8px 24px rgba(11, 27, 58, 0.06);
  --display: 'Space Grotesk', system-ui, sans-serif;
  --sans: 'Inter', system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
  --mono: 'JetBrains Mono', ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

* { box-sizing: border-box; margin: 0; padding: 0; }
html { scroll-behavior: smooth; scroll-padding-top: 76px; }
body {
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  overflow-x: hidden;
}
a { color: inherit; text-decoration: none; }
ul, ol { list-style: none; }
:focus-visible { outline: 2px solid var(--blue); outline-offset: 3px; border-radius: 6px; }

h1, h2, h3 { font-family: var(--display); line-height: 1.12; letter-spacing: -0.02em; color: var(--ink); }
h1 { font-size: clamp(2.3rem, 5.4vw, 3.9rem); font-weight: 700; }
h2 { font-size: clamp(1.75rem, 3.6vw, 2.6rem); font-weight: 600; max-width: 22ch; }
h3 { font-size: 1.25rem; font-weight: 600; }

.mono { font-family: var(--mono); }
.hl { color: var(--blue); }
.hl-true { color: var(--green); }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.skip { position: absolute; left: -999px; top: 8px; background: var(--blue); color: #fff; padding: 8px 14px; border-radius: 8px; z-index: 100; }
.skip:focus { left: 16px; }

.wrap { width: 100%; max-width: 1140px; margin: 0 auto; padding: 0 16px; }
@media (min-width: 720px) { .wrap { padding: 0 32px; } }

.eyebrow {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--blue);
  letter-spacing: 0.02em;
  margin-bottom: 14px;
}
.lead { color: var(--ink-2); font-size: 1.1rem; max-width: 56ch; }

/* ─── logo ───────────────────────────────────────────────────────────── */
.brand { display: inline-flex; align-items: center; gap: 9px; font-family: var(--display); font-weight: 700; font-size: 1.45rem; letter-spacing: -0.03em; color: var(--ink); }
.brand-mark { width: 30px; height: 30px; color: var(--blue); }
.brand-mark .mark-out { stroke: var(--green); }
.brand-sm { font-size: 1.2rem; }
.brand-sm .brand-mark { width: 24px; height: 24px; }

/* ─── botones ────────────────────────────────────────────────────────── */
.btn {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  background: var(--blue);
  color: #fff;
  font-weight: 600;
  font-size: 1rem;
  padding: 0.8rem 1.35rem;
  border-radius: 10px;
  border: 1px solid var(--blue);
  transition: transform 0.15s, background-color 0.15s, color 0.15s, border-color 0.15s, box-shadow 0.15s;
}
.btn:hover { background: var(--blue-hover); border-color: var(--blue-hover); transform: translateY(-1px); box-shadow: 0 6px 18px rgba(29, 78, 216, 0.25); }
.btn-ghost { background: #fff; color: var(--ink); border-color: var(--border); }
.btn-ghost:hover { background: #fff; border-color: var(--blue); color: var(--blue); box-shadow: none; }
.btn-sm { padding: 0.5rem 1rem; font-size: 0.92rem; }
.btn-lg { padding: 1rem 1.8rem; font-size: 1.15rem; font-family: var(--mono); }
/* CTA final: el toque verde */
.btn-true { background: var(--green-bright); border-color: var(--green-bright); color: var(--navy); }
.btn-true:hover { background: #86efac; border-color: #86efac; box-shadow: 0 6px 22px rgba(74, 222, 128, 0.35); }

/* ─── nav ────────────────────────────────────────────────────────────── */
.nav {
  position: sticky;
  top: 0;
  z-index: 50;
  background: rgba(255, 255, 255, 0.86);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  border-bottom: 1px solid var(--border);
}
.nav-inner { display: flex; align-items: center; gap: 24px; height: 64px; }
.nav nav { margin-left: auto; }
.nav-links { display: flex; gap: 28px; font-size: 0.95rem; color: var(--ink-2); font-weight: 500; }
.nav-links a:hover { color: var(--blue); }
@media (max-width: 760px) {
  .nav nav { display: none; }
  .nav .btn-sm { margin-left: auto; }
}

/* ─── hero ───────────────────────────────────────────────────────────── */
.hero {
  position: relative;
  padding: clamp(56px, 9vw, 110px) 0 clamp(64px, 9vw, 110px);
  overflow: hidden;
  background: linear-gradient(180deg, #f7f9ff 0%, #ffffff 100%);
}
.hero-grid {
  position: absolute;
  inset: 0;
  background-image:
    linear-gradient(rgba(29, 78, 216, 0.07) 1px, transparent 1px),
    linear-gradient(90deg, rgba(29, 78, 216, 0.07) 1px, transparent 1px);
  background-size: 44px 44px;
  mask-image: radial-gradient(ellipse 70% 60% at 70% 40%, #000 30%, transparent 75%);
  -webkit-mask-image: radial-gradient(ellipse 70% 60% at 70% 40%, #000 30%, transparent 75%);
}
.hero::after {
  content: "";
  position: absolute;
  width: 640px; height: 640px;
  right: -180px; top: -220px;
  background: radial-gradient(circle, rgba(29, 78, 216, 0.12), transparent 65%);
  pointer-events: none;
}
.hero-inner { position: relative; z-index: 1; display: grid; gap: 48px; align-items: center; }
@media (min-width: 960px) { .hero-inner { grid-template-columns: 1.1fr 0.9fr; gap: 56px; } }
.hero-copy h1 { margin-bottom: 22px; }
.hero .eyebrow { font-size: 1rem; }
.cta { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 32px; }

/* panel ilustrativo */
.panel {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 18px;
  padding: 18px;
  box-shadow: 0 2px 4px rgba(11, 27, 58, 0.04), 0 24px 60px rgba(15, 46, 110, 0.14);
}
.panel-head { display: flex; align-items: center; gap: 10px; font-size: 0.85rem; color: var(--ink-2); margin-bottom: 12px; }
.panel-tag { margin-left: auto; font-size: 0.75rem; font-weight: 600; color: var(--green); background: var(--green-soft); padding: 2px 10px; border-radius: 99px; }
.dot { width: 9px; height: 9px; border-radius: 50%; background: var(--green); }
.dot.live { animation: pulse 2s infinite; }
@keyframes pulse {
  0% { box-shadow: 0 0 0 0 rgba(22, 163, 74, 0.5); }
  70% { box-shadow: 0 0 0 9px rgba(22, 163, 74, 0); }
  100% { box-shadow: 0 0 0 0 rgba(22, 163, 74, 0); }
}
.signal-wrap { position: relative; margin-bottom: 10px; }
.signal {
  width: 100%; height: 96px; display: block;
  background: linear-gradient(rgba(29, 78, 216, 0.06) 1px, transparent 1px) 0 0 / 100% 24px;
  border-radius: 8px;
}
/* La línea se dibuja en dos tramos: verde hasta la alarma (1,5 s) y amarillo desde ahí (0,9 s).
   pathLength="1" en cada tramo, así el dash no depende de su largo real. */
.signal-line { stroke-dasharray: 1; stroke-dashoffset: 1; animation: draw 1.5s ease-in forwards; }
.signal-line.alert { animation: draw 0.9s 1.5s ease-out forwards; }
.signal-fill { opacity: 0; animation: fade 1s 1.2s ease-out forwards; }
.signal-fill.alert { animation-delay: 1.7s; }
@keyframes draw { to { stroke-dashoffset: 0; } }
@keyframes fade { to { opacity: 1; } }

/* Alarma en x=200 de 320 (62,5 %), y=42 de 90 (46,7 %): aparece cuando la línea llega ahí */
.alarm { position: absolute; inset: 0; pointer-events: none; }
.alarm > * { position: absolute; opacity: 0; animation: fade 0.25s 1.5s ease-out forwards; }
.alarm-rule { left: 62.5%; top: 0; bottom: 0; border-left: 1.5px dashed #f59e0b; }
.alarm-dot {
  left: 62.5%; top: 46.7%;
  width: 10px; height: 10px; margin: -5px 0 0 -5px;
  border-radius: 50%;
  background: #f59e0b;
  box-shadow: 0 0 0 2px var(--surface);
  animation: fade 0.25s 1.5s ease-out forwards, alarm 1.6s 1.5s ease-out infinite;
}
@keyframes alarm {
  0% { box-shadow: 0 0 0 2px var(--surface), 0 0 0 2px rgba(245, 158, 11, 0.6); }
  70% { box-shadow: 0 0 0 2px var(--surface), 0 0 0 14px rgba(245, 158, 11, 0); }
  100% { box-shadow: 0 0 0 2px var(--surface), 0 0 0 14px rgba(245, 158, 11, 0); }
}
.alarm-tag {
  left: calc(62.5% + 6px); top: 3px;
  font-size: 0.68rem; font-weight: 600; line-height: 1;
  color: var(--warn); background: var(--warn-soft);
  border: 1px solid rgba(245, 158, 11, 0.45);
  padding: 3px 6px; border-radius: 99px;
}
.readings li {
  display: grid;
  grid-template-columns: 1fr auto 28px;
  align-items: center;
  gap: 12px;
  padding: 10px 2px;
  border-top: 1px solid var(--border);
  font-size: 0.88rem;
}
.readings .mono { color: var(--ink-2); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.readings .val { font-variant-numeric: tabular-nums; font-weight: 500; }
.bit {
  font-family: var(--mono);
  font-weight: 600;
  text-align: center;
  border-radius: 6px;
  padding: 1px 0;
  font-size: 0.85rem;
}
.bit.on { background: var(--green-soft); color: var(--green); }
.bit.off { background: var(--warn-soft); color: var(--warn); }
.expr {
  margin-top: 12px;
  padding: 11px 13px;
  background: var(--navy);
  border-radius: 10px;
  font-size: 0.8rem;
  color: #c7d4ee;
  overflow-wrap: anywhere;
}
.expr .k { color: #93b4ff; }
.expr .zero { color: #fbbf24; font-weight: 600; }

/* ─── secciones ──────────────────────────────────────────────────────── */
.section { padding: clamp(64px, 9vw, 112px) 0; }
.section-alt { background: var(--bg-alt); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); }
.section h2 { margin-bottom: 44px; }

/* pilares */
.pillars { display: grid; gap: 20px; }
@media (min-width: 820px) { .pillars { grid-template-columns: 1fr 1fr; gap: 24px; } }
.pillar {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: clamp(24px, 4vw, 36px);
  box-shadow: var(--shadow);
  transition: border-color 0.2s, transform 0.2s, box-shadow 0.2s;
}
.pillar:hover { border-color: #bfd0f7; transform: translateY(-2px); box-shadow: 0 2px 4px rgba(11, 27, 58, 0.04), 0 16px 36px rgba(15, 46, 110, 0.10); }
.pillar-icon {
  width: 46px; height: 46px;
  display: grid; place-items: center;
  border-radius: 12px;
  background: var(--blue-soft);
  color: var(--blue);
  margin-bottom: 18px;
}
.pillar-icon svg { width: 24px; height: 24px; }
.pillar h3 { font-size: 1.55rem; margin-bottom: 8px; }
.pillar > p { color: var(--ink-2); margin-bottom: 20px; }
.checks li { position: relative; padding: 9px 0 9px 30px; border-top: 1px solid var(--border); color: var(--ink); }
.checks li::before {
  content: "1";
  position: absolute; left: 0; top: 10px;
  width: 19px; height: 19px;
  display: grid; place-items: center;
  font: 600 0.72rem var(--mono);
  color: var(--green);
  background: var(--green-soft);
  border-radius: 5px;
}

/* tabla de verdad */
.truth { display: grid; gap: 40px; align-items: center; }
@media (min-width: 900px) { .truth { grid-template-columns: 1fr 1fr; gap: 64px; } }
.truth h2 { margin-bottom: 20px; }
.truth h2 .hl { color: var(--green); }
.table-wrap {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 18px;
  overflow-x: auto;
  box-shadow: var(--shadow);
}
.tt { width: 100%; border-collapse: collapse; font-family: var(--mono); text-align: center; }
.tt th { font: 500 0.74rem/1.3 var(--mono); color: var(--muted); padding: 8px 6px 12px; text-transform: lowercase; }
.tt td { padding: 11px 6px; border-top: 1px solid var(--border); font-size: 1.05rem; color: var(--ink-2); }
.tt .out { border-left: 1px dashed #cdd6e6; }
.tt tbody .out { font-weight: 600; color: var(--muted); }
.tt tr.win td { color: var(--green); background: var(--green-soft); font-weight: 600; }
.tt tr.win td.out { color: #fff; background: var(--green); }
.tt-expr { margin-top: 14px; font-size: 0.82rem; color: var(--muted); text-align: center; }

/* pasos */
.steps { display: grid; gap: 16px; }
@media (min-width: 680px) { .steps { grid-template-columns: repeat(2, 1fr); } }
@media (min-width: 1000px) { .steps { grid-template-columns: repeat(4, 1fr); } }
.steps li {
  position: relative;
  padding: 26px 22px;
  border: 1px solid var(--border);
  border-top: 3px solid var(--blue);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: var(--shadow);
}
.step-n { display: inline-block; color: var(--blue); font-weight: 600; font-size: 0.9rem; margin-bottom: 18px; }
.steps h3 { margin-bottom: 8px; }
.steps p { color: var(--ink-2); font-size: 0.96rem; }

/* sectores */
.sectors { display: grid; gap: 14px; }
@media (min-width: 720px) { .sectors { grid-template-columns: repeat(2, 1fr); } }
.sectors li {
  display: flex;
  flex-direction: column;
  gap: 4px;
  padding: 22px 24px;
  background: var(--surface);
  border: 1px solid var(--border);
  border-left: 3px solid var(--blue);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
}
.sectors strong { font-family: var(--display); font-size: 1.15rem; font-weight: 600; }
.sectors span { color: var(--ink-2); font-size: 0.96rem; }

/* contacto: bloque azul oscuro */
.contact {
  position: relative;
  overflow: hidden;
  background: linear-gradient(135deg, var(--navy) 0%, var(--navy-2) 100%);
  color: #fff;
}
.contact::before {
  content: "";
  position: absolute;
  inset: auto -20% -60% -20%;
  height: 120%;
  background: radial-gradient(ellipse at center, rgba(74, 222, 128, 0.14), transparent 60%);
  pointer-events: none;
}
.contact h2 { color: #fff; }
.contact .eyebrow { color: var(--green-bright); }
.contact .lead { color: #c7d4ee; }
.contact-inner { position: relative; text-align: center; display: flex; flex-direction: column; align-items: center; }
.contact h2 { margin: 0 auto 16px; max-width: 24ch; }
.contact .lead { margin: 0 auto 32px; }
.contact .btn-lg { overflow-wrap: anywhere; }

/* footer */
.footer { background: #071538; color: #c7d4ee; padding: 28px 0; }
.footer .brand { color: #fff; }
.footer .brand-mark { color: #fff; }
.footer .brand-mark .mark-out { stroke: var(--green-bright); }
.footer-inner { display: flex; flex-wrap: wrap; align-items: center; gap: 12px 24px; }
.slogan { color: var(--green-bright); font-size: 0.9rem; }
.copy { margin-left: auto; color: #8fa0c2; font-size: 0.88rem; }
@media (max-width: 560px) { .copy { margin-left: 0; width: 100%; } }

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation: none !important; transition: none !important; }
  .signal-line { stroke-dashoffset: 0; }
  .signal-fill { opacity: 1; }
  .alarm > * { opacity: 1; }
}