@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@300;400;600;700&family=Inter:wght@300;400;500;600&display=swap');

:root {
  --bg:     #020c04;
  --bg2:    #050f07;
  --card:   #080f0a;
  --border: #0d2010;
  --green:  #22c55e;
  --lime:   #84cc16;
  --teal:   #14b8a6;
  --amber:  #f59e0b;
  --red:    #ef4444;
  --text:   #d4ffe0;
  --text2:  #4a7a58;
  --muted:  #1a3a20;
}

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

body {
  font-family: 'Inter', sans-serif;
  background: var(--bg);
  color: var(--text);
  overflow-x: hidden;
}

/* ── SCAN LINE ───────────────────── */
.lq-scan-line {
  position: fixed; top: 0; left: 0; right: 0;
  height: 2px; background: rgba(34,197,94,.4);
  animation: scan 8s linear infinite; z-index: 200;
  pointer-events: none;
}
@keyframes scan { from { top: 0; } to { top: 100vh; } }

/* ── HEADER ──────────────────────── */
.lq-header {
  position: relative;
  background: linear-gradient(180deg, #000 0%, var(--bg) 100%);
  border-bottom: 1px solid var(--border);
  padding: 60px 24px 40px;
  overflow: hidden;
}

.lq-header::before {
  content: '';
  position: absolute; inset: 0;
  background-image:
    linear-gradient(rgba(34,197,94,.04) 1px, transparent 1px),
    linear-gradient(90deg, rgba(34,197,94,.04) 1px, transparent 1px);
  background-size: 40px 40px;
}

.lq-header-inner { position: relative; max-width: 900px; margin: 0 auto; }

.lq-prompt {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem; color: var(--green); margin-bottom: 16px;
}
.lq-cursor { margin-right: 6px; }

.lq-title {
  font-family: 'JetBrains Mono', monospace;
  font-size: clamp(2.5rem, 8vw, 5rem);
  font-weight: 700; line-height: 0.9;
  color: var(--text);
  text-shadow: 0 0 30px rgba(34,197,94,.3);
}

.lq-sub { color: var(--green); font-size: 0.55em; display: block; margin-top: 6px; }

.lq-tagline { margin-top: 16px; color: var(--text2); font-size: 0.93rem; }

.lq-status-bar {
  display: flex; align-items: center; gap: 10px; margin-top: 20px;
  font-family: 'JetBrains Mono', monospace; font-size: 1rem; color: var(--green);
  background: rgba(34,197,94,.05); border: 1px solid var(--border);
  border-radius: 4px; padding: 8px 14px; width: fit-content;
}
.lq-pipe { color: var(--text2); }
@keyframes blink { 0%,50% { opacity: 1; } 51%,100% { opacity: 0; } }
.lq-blink { animation: blink 1.2s infinite; }

/* ── NAV ─────────────────────────── */
.lq-nav {
  position: sticky; top: 0; z-index: 100;
  background: rgba(2,12,4,.95); backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--border);
  display: flex; flex-wrap: wrap; justify-content: center;
}
.lq-nav-a {
  padding: 11px 15px; font-family: 'JetBrains Mono', monospace; font-size: 0.74rem;
  text-decoration: none; color: var(--text2);
  border-bottom: 2px solid transparent; transition: all 0.2s; white-space: nowrap;
}
.lq-nav-a:hover { color: var(--green); border-color: var(--green); }
.lq-nav-a.active { color: var(--green); border-color: var(--green); }

/* ── MAIN ────────────────────────── */
.lq-main { max-width: 960px; margin: 0 auto; padding: 48px 24px 80px; display: flex; flex-direction: column; gap: 52px; }

/* ── SECTION ─────────────────────── */
.lq-section { opacity: 0; transform: translateY(24px); transition: opacity .5s, transform .5s; }
.lq-section.visible { opacity: 1; transform: translateY(0); }

.lq-sec-head {
  display: flex; align-items: center; gap: 12px;
  padding: 12px 20px; border-radius: 6px 6px 0 0; border-left: 4px solid transparent;
}
.lq-sec-head.green { background: rgba(34,197,94,.08); border-color: var(--green); }
.lq-sec-head.lime  { background: rgba(132,204,22,.07); border-color: var(--lime); }

.lq-tag {
  font-family: 'JetBrains Mono', monospace; font-size: 0.72rem;
  color: var(--text2); font-weight: 600;
}
.lq-sec-head h2 { font-family: 'JetBrains Mono', monospace; font-size: 1.1rem; font-weight: 700; color: var(--text); }

.lq-sec-body {
  background: var(--card); border: 1px solid var(--border);
  border-top: none; border-radius: 0 0 6px 6px; padding: 26px;
}
.lq-sec-body p { color: var(--text2); line-height: 1.85; font-size: 0.93rem; margin-bottom: 16px; }
.lq-sec-body p:last-child { margin-bottom: 0; }
.lq-sec-body strong { color: var(--text); }

/* ── BRANCHES GRID ───────────────── */
.lq-branches-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 10px; margin-top: 18px; }
.lq-branch { background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 14px; }
.lq-branch-icon { font-family: 'JetBrains Mono', monospace; font-size: 1.3rem; color: var(--green); margin-bottom: 8px; }
.lq-branch h4 { font-size: 0.83rem; font-weight: 700; color: var(--text); margin-bottom: 6px; }
.lq-branch p  { font-size: 0.8rem; color: var(--text2); margin: 0; line-height: 1.65; }

/* ── CONNECTORS ──────────────────── */
.lq-connectors { display: grid; grid-template-columns: repeat(3,1fr); gap: 10px; margin-bottom: 18px; }
.lq-conn { background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 14px; }
.lq-conn-sym { font-family: 'JetBrains Mono', monospace; font-size: 1.6rem; color: var(--green); margin-bottom: 4px; }
.lq-conn-name { font-size: 0.8rem; font-weight: 700; color: var(--text); margin-bottom: 4px; }
.lq-conn-ex { font-family: 'JetBrains Mono', monospace; font-size: 0.75rem; color: var(--text2); }

/* ── LAWS ────────────────────────── */
.lq-laws h4 { font-size: 0.85rem; font-weight: 700; color: var(--lime); margin-bottom: 12px; }
.lq-law-grid { display: grid; grid-template-columns: repeat(2,1fr); gap: 8px; }
.lq-law { display: flex; align-items: center; gap: 10px; background: var(--bg2); border: 1px solid var(--border); border-radius: 4px; padding: 8px 12px; }
.lq-law code { font-family: 'JetBrains Mono', monospace; font-size: 0.8rem; color: var(--green); flex: 1; }
.lq-law span { font-size: 0.75rem; color: var(--text2); white-space: nowrap; }

/* ── QUANT DEMO ──────────────────── */
.lq-quant-demo { display: flex; flex-direction: column; gap: 12px; margin-bottom: 18px; }
.lq-qd-item { display: flex; gap: 16px; align-items: flex-start; background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 14px 18px; }
.lq-qd-sym { font-family: 'JetBrains Mono', monospace; font-size: 1.6rem; color: var(--green); flex-shrink: 0; width: 30px; }
.lq-qd-name { font-size: 0.75rem; font-weight: 700; color: var(--lime); text-transform: uppercase; letter-spacing: 0.08em; margin-bottom: 4px; }
.lq-qd-item code { font-family: 'JetBrains Mono', monospace; font-size: 0.88rem; color: var(--text); display: block; margin-bottom: 4px; }
.lq-qd-item p { font-size: 0.82rem; color: var(--text2); margin: 0; }

.lq-negation-quant { background: rgba(34,197,94,.05); border: 1px solid rgba(34,197,94,.15); border-radius: 6px; padding: 16px 20px; }
.lq-negation-quant h4 { font-size: 0.83rem; color: var(--lime); margin-bottom: 12px; font-weight: 700; }
.lq-neg-row { display: flex; align-items: center; gap: 14px; margin-bottom: 8px; }
.lq-neg-row code { font-family: 'JetBrains Mono', monospace; font-size: 0.88rem; color: var(--green); }
.lq-neg-row span { color: var(--text2); font-size: 1.1rem; }

/* ── TRUTH TABLES ────────────────── */
.lq-tables-row { display: flex; gap: 16px; margin-bottom: 18px; flex-wrap: wrap; }
.lq-truth-table { flex: 1; min-width: 180px; background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; overflow: hidden; }
.lq-tt-title { background: rgba(34,197,94,.08); padding: 8px 12px; font-family: 'JetBrains Mono', monospace; font-size: 0.75rem; color: var(--lime); border-bottom: 1px solid var(--border); }
.lq-tt-head { display: grid; grid-template-columns: 1fr 1fr 1fr; padding: 6px 12px; font-size: 0.75rem; font-weight: 700; color: var(--text2); font-family: 'JetBrains Mono', monospace; border-bottom: 1px solid var(--border); }
.lq-tt-row { display: grid; grid-template-columns: 1fr 1fr 1fr; padding: 6px 12px; border-top: 1px solid var(--border); font-family: 'JetBrains Mono', monospace; font-size: 0.85rem; }
.v1 { color: var(--green); font-weight: 700; }
.v0 { color: var(--red); }

.lq-sat-note { background: rgba(132,204,22,.06); border: 1px solid rgba(132,204,22,.15); border-radius: 6px; padding: 16px 20px; }
.lq-sat-note h4 { font-size: 0.85rem; color: var(--lime); margin-bottom: 8px; font-weight: 700; }
.lq-sat-note p  { font-size: 0.85rem; color: var(--text2); margin: 0; line-height: 1.75; }

/* ── INFERENCE RULES ─────────────── */
.lq-rules-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 10px; margin-bottom: 18px; }
.lq-rule { background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 16px; }
.lq-rule-name { font-family: 'JetBrains Mono', monospace; font-size: 0.72rem; font-weight: 700; color: var(--lime); margin-bottom: 10px; text-transform: uppercase; }
.lq-rule-form { font-family: 'JetBrains Mono', monospace; font-size: 0.88rem; color: var(--green); text-align: center; margin-bottom: 10px; line-height: 1.8; }
.lq-rule-bar { height: 1px; background: var(--green); margin: 4px auto; width: 80%; }
.lq-rule p  { font-size: 0.8rem; color: var(--text2); margin: 0; line-height: 1.65; }

.lq-completeness-box { background: rgba(132,204,22,.06); border: 1px solid rgba(132,204,22,.2); border-radius: 6px; padding: 16px 20px; }
.lq-completeness-box h4 { font-size: 0.85rem; color: var(--lime); margin-bottom: 8px; font-weight: 700; }
.lq-completeness-box p  { font-size: 0.85rem; color: var(--text2); margin: 0; line-height: 1.75; }

/* ── GODEL ───────────────────────── */
.lq-godel-theorems { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin: 18px 0; }
.lq-godel-thm { background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 20px; }
.lq-godel-thm.first  { border-top: 3px solid var(--amber); }
.lq-godel-thm.second { border-top: 3px solid var(--teal); }
.lq-godel-n { font-family: 'JetBrains Mono', monospace; font-size: 0.7rem; font-weight: 700; color: var(--amber); margin-bottom: 6px; }
.lq-godel-thm.second .lq-godel-n { color: var(--teal); }
.lq-godel-thm h4 { font-size: 0.92rem; font-weight: 700; color: var(--text); margin-bottom: 10px; }
.lq-godel-thm p  { font-size: 0.84rem; color: var(--text2); margin-bottom: 10px; line-height: 1.75; }
.lq-godel-quote { font-size: 0.8rem; color: var(--text2); font-style: italic; border-left: 2px solid var(--border); padding-left: 10px; }

/* ── ZFC AXIOMS ──────────────────── */
.lq-axioms { display: flex; flex-direction: column; gap: 8px; margin-bottom: 16px; }
.lq-ax { display: flex; gap: 12px; align-items: flex-start; padding: 10px 14px; background: var(--bg2); border: 1px solid var(--border); border-radius: 4px; font-size: 0.85rem; }
.lq-ax-n { font-family: 'JetBrains Mono', monospace; font-size: 0.72rem; font-weight: 700; color: var(--green); background: rgba(34,197,94,.1); border: 1px solid rgba(34,197,94,.2); border-radius: 3px; padding: 1px 6px; flex-shrink: 0; margin-top: 1px; }
.lq-ax div { color: var(--text2); line-height: 1.65; }
.lq-ax strong { color: var(--text); }

/* ── CALCULABILITY ───────────────── */
.lq-calc-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-bottom: 16px; }
.lq-calc-card { background: var(--bg2); border: 1px solid var(--border); border-radius: 6px; padding: 18px; }
.lq-calc-card.decidable   { border-top: 3px solid var(--green); }
.lq-calc-card.undecidable { border-top: 3px solid var(--red); }
.lq-calc-card h4 { font-size: 0.87rem; font-weight: 700; color: var(--text); margin-bottom: 12px; }
.lq-calc-card ul { list-style: none; display: flex; flex-direction: column; gap: 6px; }
.lq-calc-card li { font-size: 0.83rem; color: var(--text2); padding-left: 16px; position: relative; }
.lq-calc-card.decidable li::before   { content: '+'; position: absolute; left: 0; color: var(--green); font-weight: 700; }
.lq-calc-card.undecidable li::before { content: '-'; position: absolute; left: 0; color: var(--red); font-weight: 700; }

.lq-halting-box { background: rgba(245,158,11,.06); border: 1px solid rgba(245,158,11,.2); border-radius: 6px; padding: 18px 20px; }
.lq-halting-box h4 { font-size: 0.87rem; color: var(--amber); margin-bottom: 10px; font-weight: 700; }
.lq-halting-box p  { font-size: 0.85rem; color: var(--text2); margin: 0; line-height: 1.78; }

/* ── FOOTER ──────────────────────── */
.lq-footer { border-top: 1px solid var(--border); background: var(--bg2); padding: 18px 32px; }
.lq-footer-inner { max-width: 960px; margin: 0 auto; display: flex; align-items: center; gap: 14px; font-size: 0.8rem; color: var(--text2); }
.lq-footer-prompt { font-family: 'JetBrains Mono', monospace; color: var(--green); font-weight: 700; }

/* ── RESPONSIVE ──────────────────── */
@media (max-width: 768px) {
  .lq-branches-grid, .lq-connectors, .lq-rules-grid, .lq-godel-theorems, .lq-calc-grid { grid-template-columns: 1fr; }
  .lq-law-grid { grid-template-columns: 1fr; }
  .lq-tables-row { flex-direction: column; }
}