@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&family=IBM+Plex+Sans:wght@300;400;500&display=swap");

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

/* ── TOKENS ──
   --fg  nudged from #b8f2b8 → #cdf4cd  (slightly lighter, easier on eyes)
   --fg2 nudged from #7acc7a → #90d990  (secondary text, a touch brighter)
   Everything else preserved exactly.
*/
:root {
  --fg:    #cdf4cd;
  --fg2:   #90d990;
  --fg3:   #3d8c3d;
  --bg:    #0a0f0a;
  --bg2:   #0e150e;
  --bg3:   #121a12;
  --border:#1e2e1e;
  --accent:#33ff33;
  --dim:   #2a4a2a;
  --mono:  'IBM Plex Mono', monospace;
  --sans:  'IBM Plex Sans', sans-serif;
}

/* ── BASE ── */
html, body {
  background: var(--bg);
  color: var(--fg);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.6;
  overflow-x: hidden;
}

/* ── SCANLINE ── */
.scanline {
  position: fixed; top: 0; left: 0; right: 0; bottom: 0;
  pointer-events: none; z-index: 0;
  background: repeating-linear-gradient(
    0deg,
    transparent, transparent 2px,
    rgba(0,20,0,0.03) 2px, rgba(0,20,0,0.03) 4px
  );
}

section, nav.spl-nav, footer.spl-footer, .spl-content-wrap {
  position: relative; z-index: 1;
}

/* ── NAV ── */
nav.spl-nav {
  display: flex; align-items: center; justify-content: space-between;
  padding: 1rem 2.5rem; border-bottom: 1px solid var(--border);
  background: rgba(10,15,10,0.97);
  position: sticky; top: 0; z-index: 100;
}
.spl-logo {
  font-family: var(--mono); font-size: 18px; font-weight: 600;
  color: var(--accent); letter-spacing: 2px; text-decoration: none;
}
.spl-logo span { color: var(--fg3); }
.spl-nav-links { display: flex; gap: 0.5rem; align-items: center; }
.spl-nav-links a {
  font-family: var(--mono); font-size: 12px; color: var(--fg2);
  text-decoration: none; letter-spacing: 1px;
  padding: 0.25rem 0.75rem; border: 1px solid transparent;
  transition: border-color 0.2s, color 0.2s;
}
.spl-nav-links a:hover { border-color: var(--border); color: var(--fg); }
.spl-nav-links a.gh {
  border-color: var(--dim); color: var(--fg);
  background: rgba(255,255,255,0.03);
}
.spl-nav-links a.gh:hover { border-color: var(--fg2); }
.spl-nav-links a.active { border-color: var(--fg3); color: var(--fg); }

/* ── HERO (home only) ── */
.spl-hero { padding: 5rem 2.5rem 4rem; max-width: 1100px; margin: 0 auto; }
.spl-hero-tag { font-family: var(--mono); font-size: 11px; color: var(--fg3); letter-spacing: 3px; margin-bottom: 1.5rem; }
.spl-hero h1 {
  font-family: var(--mono); font-size: clamp(2.2rem, 5vw, 4rem); font-weight: 600;
  line-height: 1.15; color: var(--fg); margin-bottom: 1.5rem;
}
.spl-hero h1 em { color: var(--accent); font-style: normal; }
.spl-hero-sub { font-size: 17px; color: var(--fg2); max-width: 580px; line-height: 1.7; margin-bottom: 2.5rem; font-weight: 300; }
.spl-cta-row { display: flex; gap: 1rem; flex-wrap: wrap; }
.spl-cta-primary {
  font-family: var(--mono); font-size: 13px; padding: 0.75rem 1.75rem;
  background: var(--accent); color: #000; font-weight: 600; border: none;
  cursor: pointer; letter-spacing: 1px; text-decoration: none; display: inline-block;
}
.spl-cta-secondary {
  font-family: var(--mono); font-size: 13px; padding: 0.75rem 1.75rem;
  background: transparent; color: var(--fg); border: 1px solid var(--dim);
  cursor: pointer; letter-spacing: 1px; text-decoration: none; display: inline-block;
  transition: border-color 0.2s;
}
.spl-cta-secondary:hover { border-color: var(--fg2); }

/* ── PROOF ── */
.spl-proof { background: var(--bg2); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); padding: 3rem 2.5rem; }
.spl-proof-inner { max-width: 1100px; margin: 0 auto; display: grid; grid-template-columns: 1fr 1fr; gap: 2rem; align-items: start; }
.spl-proof-text h2 { font-family: var(--mono); font-size: 22px; font-weight: 600; color: var(--fg); margin-bottom: 1rem; }
.spl-proof-text p { color: var(--fg2); font-size: 15px; line-height: 1.7; margin-bottom: 0.75rem; font-weight: 300; }
.spl-proof-text code { font-family: var(--mono); color: var(--accent); font-size: 13px; }
.spl-proof-text .hl { color: var(--accent); font-family: var(--mono); font-size: 13px; }

/* ── TERMINAL ── */
.spl-terminal { background: #050a05; border: 1px solid var(--border); font-family: var(--mono); font-size: 12px; line-height: 1.6; overflow: hidden; }
.spl-term-bar { background: var(--bg3); padding: 0.5rem 1rem; display: flex; align-items: center; gap: 0.5rem; border-bottom: 1px solid var(--border); }
.spl-dot { width: 10px; height: 10px; border-radius: 50%; }
.spl-dot.r { background: #3d1a1a; }
.spl-dot.y { background: #3d3a1a; }
.spl-dot.g { background: #1a3d1a; }
.spl-term-title { font-size: 11px; color: var(--fg3); margin: 0 auto; }
.spl-term-body { padding: 1.25rem; }
.t-prompt { color: var(--fg3); }
.t-cmd { color: var(--fg); }
.t-out { color: var(--fg2); white-space: pre; display: block; }
.t-hi { color: var(--accent); }
.t-sep { color: var(--dim); }
.t-sp { display: block; height: 0.75rem; }

/* ── WHAT ── */
.spl-what { padding: 4rem 2.5rem; max-width: 1100px; margin: 0 auto; }
.spl-what h2 { font-family: var(--mono); font-size: 22px; font-weight: 600; color: var(--fg); margin-bottom: 0.5rem; }
.spl-section-sub { font-family: var(--mono); font-size: 11px; color: var(--fg3); letter-spacing: 2px; margin-bottom: 2.5rem; display: block; }
.spl-what-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1.5rem; }
.spl-what-card { border: 1px solid var(--border); padding: 1.5rem; background: var(--bg2); }
.spl-what-card-num { font-family: var(--mono); font-size: 11px; color: var(--fg3); margin-bottom: 0.75rem; letter-spacing: 2px; }
.spl-what-card h3 { font-family: var(--mono); font-size: 14px; color: var(--accent); margin-bottom: 0.75rem; font-weight: 500; }
.spl-what-card p { font-size: 13px; color: var(--fg2); line-height: 1.65; font-weight: 300; }
.spl-what-card code { font-family: var(--mono); font-size: 11px; color: var(--fg3); }

/* ── POOL ── */
.spl-pool { background: var(--bg2); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); padding: 4rem 2.5rem; }
.spl-pool-inner { max-width: 1100px; margin: 0 auto; }
.spl-pool-inner h2 { font-family: var(--mono); font-size: 22px; color: var(--fg); margin-bottom: 0.5rem; font-weight: 600; }
.spl-pool-diagram { margin-top: 2.5rem; display: grid; grid-template-columns: 1fr 1fr; gap: 2rem; align-items: center; }
.spl-lane-vis { border: 1px solid var(--border); background: #050a05; padding: 1.5rem; }
.spl-lane-label { font-family: var(--mono); font-size: 10px; color: var(--fg3); letter-spacing: 2px; margin-bottom: 1.25rem; display: block; }
.spl-lanes { display: flex; flex-direction: column; gap: 6px; }
.spl-lane {
  height: 28px; border: 1px solid var(--dim); display: flex; align-items: center;
  padding: 0 10px; font-family: var(--mono); font-size: 11px; overflow: hidden;
}
.spl-lane.active { border-color: var(--fg3); background: rgba(51,255,51,0.04); }
.spl-lane.writing { border-color: var(--accent); background: rgba(51,255,51,0.08); }
.spl-lane-key { color: var(--fg2); flex: 1; }
.spl-lane-epoch { color: var(--fg3); }
.spl-lane.writing .spl-lane-key { color: var(--accent); }
.spl-lane.writing .spl-lane-epoch { color: var(--accent); }
.spl-write-dot { width: 6px; height: 6px; border-radius: 50%; background: var(--accent); margin-right: 8px; animation: spl-pulse 1s infinite; flex-shrink: 0; }
@keyframes spl-pulse { 0%,100% { opacity: 1; } 50% { opacity: 0.3; } }
.spl-pool-desc { color: var(--fg2); font-size: 14px; line-height: 1.7; font-weight: 300; }
.spl-pool-desc p { margin-top: 1rem; }
.spl-pool-desc p:first-child { margin-top: 0; }
.spl-pool-desc strong { color: var(--fg); font-weight: 500; }
.spl-pool-stats { font-family: var(--mono); font-size: 11px; color: var(--fg3); margin-top: 1.5rem; display: flex; gap: 2rem; }
.spl-pool-stats span { color: var(--accent); display: block; }

/* ── FFI ── */
.spl-ffi { padding: 4rem 2.5rem; max-width: 1100px; margin: 0 auto; }
.spl-ffi h2 { font-family: var(--mono); font-size: 22px; color: var(--fg); margin-bottom: 0.5rem; font-weight: 600; }
.spl-lang-grid { display: grid; grid-template-columns: repeat(5, 1fr); gap: 1rem; margin-top: 2.5rem; }
.spl-lang-card {
  border: 1px solid var(--border); padding: 1.25rem; background: var(--bg2);
  text-align: center; cursor: pointer; transition: border-color 0.15s, background 0.15s;
}
.spl-lang-card:hover { border-color: var(--fg3); background: rgba(51,255,51,0.04); }
.spl-lang-card.active { border-color: var(--accent); background: rgba(51,255,51,0.04); }
.spl-lang-name { font-family: var(--mono); font-size: 13px; color: var(--fg); font-weight: 500; }
.spl-lang-note { font-size: 11px; color: var(--fg3); margin-top: 4px; }
.spl-code-pane {
  margin-top: 1.5rem; background: #050a05; border: 1px solid var(--border);
  font-family: var(--mono); font-size: 12px; line-height: 1.7; padding: 1.5rem;
  color: var(--fg2); min-height: 120px;
}
.spl-code-pane .kw  { color: #90d990; }
.spl-code-pane .str { color: #5da05d; }
.spl-code-pane .cmt { color: #2a4a2a; }
.spl-code-pane .fn  { color: var(--accent); }
.spl-code-pane .ty  { color: #99cc99; }

/* ── PERF ── */
.spl-perf { background: var(--bg2); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); padding: 4rem 2.5rem; }
.spl-perf-inner { max-width: 1100px; margin: 0 auto; }
.spl-perf-inner h2 { font-family: var(--mono); font-size: 22px; color: var(--fg); margin-bottom: 0.5rem; font-weight: 600; }
.spl-bench { width: 100%; border-collapse: collapse; margin-top: 2rem; font-family: var(--mono); font-size: 12px; }
.spl-bench th { text-align: left; color: var(--fg3); font-weight: 400; letter-spacing: 1px; padding: 0.5rem 1rem; border-bottom: 1px solid var(--border); }
.spl-bench td { padding: 0.75rem 1rem; border-bottom: 1px solid rgba(30,46,30,0.5); color: var(--fg2); }
.spl-bench tr:hover td { background: rgba(51,255,51,0.02); }
.spl-bench .hi { color: var(--accent); font-weight: 500; }
.spl-bench-bar { display: inline-block; height: 8px; background: var(--accent); opacity: 0.5; margin-left: 8px; vertical-align: middle; }
.spl-bench-bar.dim { background: var(--fg3); }
.spl-perf-note { font-family: var(--mono); font-size: 11px; color: var(--fg3); margin-top: 1.5rem; }

/* ── FOOTER ── */
footer.spl-footer {
  padding: 2rem 2.5rem; border-top: 1px solid var(--border);
  display: flex; justify-content: space-between; align-items: center;
  flex-wrap: wrap; gap: 1rem;
}
footer.spl-footer p { font-family: var(--mono); font-size: 11px; color: var(--fg3); }
footer.spl-footer a { color: var(--fg2); text-decoration: none; }
footer.spl-footer a:hover { color: var(--fg); }

/* ── SUB-NAV (FFI / section child pages) ── */
.spl-subnav {
  display: flex; align-items: center; flex-wrap: wrap; gap: 0;
  border: 1px solid var(--border); margin-bottom: 2.5rem;
  background: var(--bg2); overflow: hidden;
}
.spl-subnav-label {
  font-family: var(--mono); font-size: 10px; color: var(--fg3);
  letter-spacing: 2px; padding: 0.5rem 1rem;
  border-right: 1px solid var(--border); white-space: nowrap;
}
.spl-subnav a {
  font-family: var(--mono); font-size: 12px; color: var(--fg3);
  text-decoration: none; letter-spacing: 1px;
  padding: 0.5rem 0.9rem; border-right: 1px solid var(--border);
  transition: color 0.15s, background 0.15s;
  white-space: nowrap;
}
.spl-subnav a:hover { color: var(--fg2); background: rgba(51,255,51,0.03); }
.spl-subnav a.active { color: var(--accent); background: rgba(51,255,51,0.05); }

/* ── INNER PAGE CONTENT ── */
.spl-page {
  max-width: 860px;
  margin: 0 auto;
  padding: 3.5rem 2.5rem 5rem;
}

/* breadcrumb */
.spl-breadcrumb {
  font-family: var(--mono); font-size: 11px; color: var(--fg3);
  letter-spacing: 2px; margin-bottom: 2.5rem;
  display: flex; align-items: center; gap: 0.5rem;
}
.spl-breadcrumb a { color: var(--fg3); text-decoration: none; }
.spl-breadcrumb a:hover { color: var(--fg2); }
.spl-breadcrumb .sep { color: var(--dim); }

/* headings */
.spl-page h1 {
  font-family: var(--mono); font-size: clamp(1.6rem, 3vw, 2.4rem);
  font-weight: 600; color: var(--fg); line-height: 1.2;
  margin-bottom: 0.75rem; padding-bottom: 0.75rem;
  border-bottom: 1px solid var(--border);
}
.spl-page h2 {
  font-family: var(--mono); font-size: 1.15rem; font-weight: 600;
  color: var(--fg); margin-top: 2.5rem; margin-bottom: 0.75rem;
  padding-bottom: 0.4rem; border-bottom: 1px solid var(--border);
}
.spl-page h3 {
  font-family: var(--mono); font-size: 0.95rem; font-weight: 500;
  color: var(--accent); margin-top: 1.75rem; margin-bottom: 0.5rem;
}
.spl-page h4 {
  font-family: var(--mono); font-size: 0.85rem; font-weight: 500;
  color: var(--fg2); margin-top: 1.5rem; margin-bottom: 0.4rem;
  letter-spacing: 1px;
}

/* body text */
.spl-page p {
  color: var(--fg2); font-size: 15px; line-height: 1.75;
  margin-bottom: 1rem; font-weight: 300;
}
.spl-page strong { color: var(--fg); font-weight: 500; }
.spl-page em { color: var(--fg2); font-style: italic; }

/* inline code */
.spl-page code {
  font-family: var(--mono); font-size: 12.5px;
  color: var(--accent); background: rgba(51,255,51,0.06);
  padding: 0.1em 0.35em; border-radius: 0;
}

/* code blocks */
.spl-page pre {
  background: #050a05; border: 1px solid var(--border);
  padding: 1.25rem 1.5rem; overflow-x: auto;
  margin: 1.25rem 0;
}
.spl-page pre code {
  font-family: var(--mono); font-size: 12px; line-height: 1.7;
  color: var(--fg2); background: none; padding: 0;
}

/* blockquote */
.spl-page blockquote {
  border-left: 2px solid var(--fg3);
  margin: 1.25rem 0; padding: 0.75rem 1.25rem;
  background: var(--bg2);
}
.spl-page blockquote p {
  color: var(--fg3); font-size: 13px; margin-bottom: 0;
  font-family: var(--mono); font-style: normal;
}

/* note blockquote variant (lumocs uses {.note}) */
.spl-page blockquote.note {
  border-left-color: var(--accent);
  background: rgba(51,255,51,0.04);
}
.spl-page blockquote.note p { color: var(--fg2); }

/* lists */
.spl-page ul, .spl-page ol {
  margin: 0.75rem 0 1rem 1.5rem; color: var(--fg2);
  font-size: 15px; line-height: 1.75; font-weight: 300;
}
.spl-page li { margin-bottom: 0.3rem; }
.spl-page li code { font-size: 12px; }
.spl-page ul li::marker { color: var(--fg3); }
.spl-page ol li::marker { color: var(--fg3); font-family: var(--mono); font-size: 12px; }

/* tables */
.spl-page table {
  width: 100%; border-collapse: collapse;
  font-family: var(--mono); font-size: 12px;
  margin: 1.5rem 0; overflow-x: auto; display: block;
}
.spl-page th {
  text-align: left; color: var(--fg3); font-weight: 400;
  letter-spacing: 1px; padding: 0.5rem 1rem;
  border-bottom: 1px solid var(--border);
}
.spl-page td {
  padding: 0.65rem 1rem; color: var(--fg2);
  border-bottom: 1px solid rgba(30,46,30,0.4);
}
.spl-page tr:hover td { background: rgba(51,255,51,0.02); }

/* horizontal rule */
.spl-page hr {
  border: none; border-top: 1px solid var(--border); margin: 2rem 0;
}

/* links */
.spl-page a {
  color: var(--fg2); text-decoration: underline;
  text-decoration-color: var(--dim); text-underline-offset: 3px;
  transition: color 0.15s, text-decoration-color 0.15s;
}
.spl-page a:hover { color: var(--accent); text-decoration-color: var(--accent); }

/* page-level nav (parent links) */
.spl-page-nav {
  margin-top: 3rem; padding-top: 1.5rem; border-top: 1px solid var(--border);
  display: flex; justify-content: space-between; align-items: center;
  font-family: var(--mono); font-size: 11px; color: var(--fg3); gap: 1rem;
}
.spl-page-nav a { color: var(--fg2); text-decoration: none; }
.spl-page-nav a:hover { color: var(--fg); }

/* ── RESPONSIVE ── */
@media (max-width: 700px) {
  .spl-proof-inner, .spl-what-grid, .spl-pool-diagram { grid-template-columns: 1fr; }
  .spl-lang-grid { grid-template-columns: repeat(3, 1fr); }
  .spl-hero h1 { font-size: 2rem; }
  nav.spl-nav { padding: 1rem 1.25rem; }
  .spl-page { padding: 2rem 1.25rem 4rem; }
  footer.spl-footer { flex-direction: column; align-items: flex-start; }
}