/* ═══════════════════════════════════════════
   CSS VARIABLES
═══════════════════════════════════════════ */
:root {
  --bg:       #0b1420;
  --bg2:      #111d2e;
  --bg3:      #162032;
  --surface:  #1a2840;
  --surface2: #1f3050;
  --border:   #2a4060;
  --text:     #e8f0fc;
  --text2:    #9bb0cc;
  --text3:    #6080a0;
  --amber:    #f5a623;
  --amber2:   #ffc86b;
  --teal:     #4ecdc4;
  --teal2:    #7ee8e2;
  --rose:     #ff6b8a;
  --rose2:    #ff9aad;
  --lime:     #a8e063;
  --purple:   #b48aff;
  --blue:     #5b9cf6;
}

/* ═══════════════════════════════════════════
   RESET & BASE
═══════════════════════════════════════════ */
* { margin: 0; padding: 0; box-sizing: border-box; }

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

/* ═══════════════════════════════════════════
   HEADER
═══════════════════════════════════════════ */
header {
  position: relative;
  padding: 80px 60px 60px;
  border-bottom: 1px solid var(--border);
  overflow: hidden;
}

header::before {
  content: '';
  position: absolute;
  top: -100px; right: -100px;
  width: 600px; height: 600px;
  background: radial-gradient(circle, rgba(94,156,246,0.08) 0%, transparent 70%);
  pointer-events: none;
}

.header-tag {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  letter-spacing: 3px;
  color: var(--amber);
  text-transform: uppercase;
  margin-bottom: 20px;
}

header h1 {
  font-family: 'Playfair Display', serif;
  font-size: clamp(36px, 5vw, 64px);
  font-weight: 700;
  line-height: 1.1;
  margin-bottom: 16px;
  background: linear-gradient(135deg, var(--text) 0%, var(--blue) 100%);
  -webkit-background-clip: text;
  -webkit-text-fill-color: transparent;
  background-clip: text;
}

header p {
  font-size: 17px;
  color: var(--text2);
  max-width: 560px;
  line-height: 1.7;
}

/* Floating symbols */
.math-bg {
  position: absolute;
  top: 0; right: 0; bottom: 0;
  width: 50%;
  pointer-events: none;
  overflow: hidden;
}

.math-symbol {
  position: absolute;
  font-family: 'Playfair Display', serif;
  color: var(--border);
  animation: floatMath 6s ease-in-out infinite;
  user-select: none;
}

@keyframes floatMath {
  0%, 100% { transform: translateY(0px); }
  50%       { transform: translateY(-15px); }
}

/* ═══════════════════════════════════════════
   NAV
═══════════════════════════════════════════ */
nav {
  display: flex;
  border-bottom: 1px solid var(--border);
  background: var(--bg2);
  position: sticky;
  top: 0;
  z-index: 100;
  overflow-x: auto;
}

.nav-btn {
  padding: 18px 32px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  letter-spacing: 1.5px;
  color: var(--text3);
  background: none;
  border: none;
  border-bottom: 2px solid transparent;
  cursor: pointer;
  transition: all 0.2s;
  display: flex;
  align-items: center;
  gap: 10px;
  white-space: nowrap;
}

.nav-btn.active {
  color: var(--amber);
  border-bottom-color: var(--amber);
  background: rgba(245,166,35,0.05);
}

.nav-btn:hover:not(.active) {
  color: var(--text2);
  background: rgba(255,255,255,0.03);
}

.nav-dot {
  width: 6px; height: 6px;
  border-radius: 50%;
  background: currentColor;
  opacity: 0.5;
}

/* ═══════════════════════════════════════════
   SECTIONS
═══════════════════════════════════════════ */
.section {
  display: none;
  padding: 60px;
  max-width: 1200px;
  margin: 0 auto;
}

.section.active { display: block; }

.section-intro { margin-bottom: 60px; }

.section-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  letter-spacing: 3px;
  color: var(--teal);
  text-transform: uppercase;
  margin-bottom: 12px;
}

.section-intro h2 {
  font-family: 'Playfair Display', serif;
  font-size: 36px;
  margin-bottom: 16px;
}

.section-intro p {
  font-size: 16px;
  color: var(--text2);
  line-height: 1.7;
  max-width: 640px;
}

/* ═══════════════════════════════════════════
   TOPIC CARDS
═══════════════════════════════════════════ */
.topics-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(520px, 1fr));
  gap: 28px;
}

.topic-card {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 16px;
  overflow: hidden;
  transition: border-color 0.2s, transform 0.2s;
}

.topic-card:hover {
  border-color: var(--amber);
  transform: translateY(-2px);
}

.card-header {
  padding: 24px 28px 20px;
  border-bottom: 1px solid var(--border);
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 16px;
}

.card-header-left h3 {
  font-family: 'Playfair Display', serif;
  font-size: 20px;
  margin-bottom: 4px;
}

.card-header-left .subtitle {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text3);
  letter-spacing: 1px;
}

.card-icon {
  font-size: 28px;
  opacity: 0.8;
  font-family: 'Playfair Display', serif;
}

.card-body { padding: 24px 28px; }

.card-body > p {
  font-size: 14px;
  color: var(--text2);
  line-height: 1.7;
  margin-bottom: 20px;
}

/* ═══════════════════════════════════════════
   FORMULA BOX
═══════════════════════════════════════════ */
.formula-box {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px 20px;
  font-family: 'Playfair Display', serif;
  font-size: 18px;
  text-align: center;
  color: var(--amber2);
  margin-bottom: 20px;
  letter-spacing: 0.5px;
}

.formula-box .formula-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  letter-spacing: 2px;
  color: var(--text3);
  text-align: left;
  margin-bottom: 8px;
  text-transform: uppercase;
}

/* ═══════════════════════════════════════════
   DEMO AREA
═══════════════════════════════════════════ */
.demo-area {
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 20px;
  margin-top: 16px;
}

.demo-title {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  letter-spacing: 2px;
  color: var(--teal);
  margin-bottom: 16px;
  text-transform: uppercase;
}

/* ═══════════════════════════════════════════
   TRUTH TABLE
═══════════════════════════════════════════ */
.truth-table {
  width: 100%;
  border-collapse: collapse;
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
}

.truth-table th {
  background: var(--surface2);
  padding: 8px 16px;
  text-align: center;
  color: var(--text2);
  border: 1px solid var(--border);
  font-size: 12px;
  letter-spacing: 1px;
}

.truth-table td {
  padding: 8px 16px;
  text-align: center;
  border: 1px solid var(--border);
  transition: background 0.3s;
}

.truth-table td.true  { color: var(--lime); }
.truth-table td.false { color: var(--rose); }
.truth-table tr.highlight td { background: rgba(245,166,35,0.1); }

.truth-inputs {
  display: flex;
  gap: 20px;
  margin-bottom: 16px;
}

.toggle-var {
  display: flex;
  align-items: center;
  gap: 10px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
  cursor: pointer;
}

.toggle-switch {
  width: 44px; height: 24px;
  border-radius: 12px;
  background: var(--surface2);
  border: 1px solid var(--border);
  position: relative;
  transition: background 0.2s;
  cursor: pointer;
}

.toggle-switch.on { background: var(--teal); }

.toggle-knob {
  position: absolute;
  top: 3px; left: 3px;
  width: 16px; height: 16px;
  border-radius: 50%;
  background: var(--text);
  transition: transform 0.2s;
}

.toggle-switch.on .toggle-knob { transform: translateX(20px); }

/* ═══════════════════════════════════════════
   VENN
═══════════════════════════════════════════ */
.venn-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-bottom: 12px;
}

.venn-btn {
  padding: 6px 14px;
  border-radius: 6px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  cursor: pointer;
  border: 1px solid var(--border);
  color: var(--text2);
  background: var(--surface);
  transition: all 0.2s;
  letter-spacing: 0.5px;
}

.venn-btn.active,
.venn-btn:hover {
  border-color: var(--amber);
  color: var(--amber);
  background: rgba(245,166,35,0.1);
}

.venn-result {
  margin-top: 10px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  color: var(--text2);
}

/* ═══════════════════════════════════════════
   CONTROLS / SLIDERS
═══════════════════════════════════════════ */
.control-row {
  display: flex;
  align-items: center;
  gap: 16px;
  margin-bottom: 12px;
}

.control-row label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  color: var(--text2);
  min-width: 120px;
}

input[type=range] {
  flex: 1;
  -webkit-appearance: none;
  height: 4px;
  border-radius: 2px;
  background: var(--border);
  outline: none;
  cursor: pointer;
}

input[type=range]::-webkit-slider-thumb {
  -webkit-appearance: none;
  width: 16px; height: 16px;
  border-radius: 50%;
  background: var(--amber);
  cursor: pointer;
}

.val-display {
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
  color: var(--amber);
  min-width: 50px;
  text-align: right;
}

/* ═══════════════════════════════════════════
   BUTTONS
═══════════════════════════════════════════ */
.btn {
  padding: 9px 20px;
  border-radius: 8px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  letter-spacing: 1px;
  cursor: pointer;
  border: 1px solid;
  transition: all 0.2s;
}

.btn-amber { background: rgba(245,166,35,0.1); border-color: var(--amber); color: var(--amber); }
.btn-amber:hover { background: rgba(245,166,35,0.2); }
.btn-teal  { background: rgba(78,205,196,0.1);  border-color: var(--teal);  color: var(--teal);  }
.btn-teal:hover  { background: rgba(78,205,196,0.2);  }
.btn-ghost { border-color: var(--border); color: var(--text3); background: transparent; }
.btn-ghost:hover { color: var(--text2); }

.btn-row {
  display: flex;
  gap: 10px;
  margin-top: 14px;
}

/* ═══════════════════════════════════════════
   CODE BLOCK
═══════════════════════════════════════════ */
.code-block {
  background: #0a0f1a;
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px 20px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  line-height: 1.6;
  color: var(--text2);
  margin-top: 16px;
  overflow-x: auto;
  white-space: pre;
}

.code-block .kw   { color: var(--purple); }
.code-block .fn   { color: var(--blue); }
.code-block .str  { color: var(--lime); }
.code-block .cm   { color: var(--text3); font-style: italic; }
.code-block .num  { color: var(--amber); }
.code-block .type { color: var(--teal); }

/* ═══════════════════════════════════════════
   INDUCTION
═══════════════════════════════════════════ */
.induction-step {
  padding: 10px 14px;
  border-left: 2px solid var(--border);
  margin-bottom: 8px;
  transition: border-color 0.3s, background 0.3s;
  border-radius: 0 8px 8px 0;
}

.induction-step.active {
  border-left-color: var(--amber);
  background: rgba(245,166,35,0.05);
}

.induction-step .step-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  letter-spacing: 2px;
  color: var(--amber);
  text-transform: uppercase;
  margin-bottom: 4px;
}

.induction-step .step-content {
  font-family: 'JetBrains Mono', monospace;
  color: var(--text);
  font-size: 13px;
}

/* ═══════════════════════════════════════════
   GRAPH
═══════════════════════════════════════════ */
.graph-area {
  display: flex;
  gap: 16px;
  align-items: flex-start;
}

.graph-canvas-wrap { flex: 1; }

.graph-legend {
  min-width: 120px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text2);
}

.legend-item {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-bottom: 8px;
}

.legend-dot {
  width: 10px; height: 10px;
  border-radius: 50%;
  flex-shrink: 0;
}

.traversal-order {
  margin-top: 16px;
  font-size: 10px;
  color: var(--text3);
  line-height: 1.6;
}

/* ═══════════════════════════════════════════
   CANVAS
═══════════════════════════════════════════ */
canvas {
  display: block;
  width: 100%;
  border-radius: 8px;
}

/* ═══════════════════════════════════════════
   VECTORS
═══════════════════════════════════════════ */
.dot-stats {
  display: flex;
  gap: 24px;
  margin-top: 12px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
}

.dot-stat { color: var(--text3); }

/* ═══════════════════════════════════════════
   MATRIX
═══════════════════════════════════════════ */
.matrix-wrap {
  display: flex;
  align-items: center;
  gap: 16px;
  font-family: 'Playfair Display', serif;
  font-size: 16px;
  justify-content: center;
  margin: 12px 0;
}

.matrix {
  gap: 4px;
  border-left: 2px solid var(--amber2);
  border-right: 2px solid var(--amber2);
  padding: 8px 16px;
}

.matrix-row {
  display: flex;
  gap: 20px;
}

.matrix-cell {
  font-family: 'JetBrains Mono', monospace;
  font-size: 14px;
  color: var(--amber2);
  min-width: 50px;
  text-align: center;
  transition: color 0.3s;
}

.matrix-cell.highlight { color: var(--teal2); }
.matrix-op { font-size: 24px; color: var(--text3); }

.matmul-explain {
  margin-top: 12px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  color: var(--text2);
}

/* ═══════════════════════════════════════════
   DETERMINANT
═══════════════════════════════════════════ */
.det-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 8px;
  margin-bottom: 12px;
}

.det-result {
  margin-top: 12px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
  color: var(--text2);
}

/* ═══════════════════════════════════════════
   BAYESIAN
═══════════════════════════════════════════ */
.bayes-result {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px;
  margin-top: 16px;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
}

.bayes-stat { text-align: center; }

.bayes-stat .val {
  font-family: 'JetBrains Mono', monospace;
  font-size: 28px;
  font-weight: 600;
  color: var(--teal);
  display: block;
}

.bayes-stat .lbl {
  font-size: 12px;
  color: var(--text3);
  margin-top: 4px;
}

.progress-bar {
  height: 6px;
  border-radius: 3px;
  background: var(--border);
  overflow: hidden;
  margin: 8px 0;
}

.progress-fill {
  height: 100%;
  border-radius: 3px;
  background: linear-gradient(to right, var(--rose), var(--amber));
  transition: width 0.4s ease;
}

.bayes-verdict {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text3);
  margin-top: 4px;
}

/* ═══════════════════════════════════════════
   A/B TEST
═══════════════════════════════════════════ */
.ab-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
  margin-bottom: 16px;
}

.ab-group {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px;
  text-align: center;
}

.ab-group h4 {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  letter-spacing: 2px;
  margin-bottom: 12px;
}

.ab-group.group-a h4 { color: var(--blue); }
.ab-group.group-b h4 { color: var(--rose); }

.ab-input {
  width: 100%;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 8px 12px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 13px;
  color: var(--text);
  margin-bottom: 8px;
  outline: none;
  text-align: center;
}

.ab-input:focus { border-color: var(--amber); }

.conversion-rate {
  font-family: 'JetBrains Mono', monospace;
  font-size: 22px;
  font-weight: 600;
  margin-top: 8px;
}

.conversion-rate.group-a { color: var(--blue); }
.conversion-rate.group-b { color: var(--rose); }

.significance-box {
  background: var(--bg);
  border-radius: 10px;
  padding: 20px;
  text-align: center;
  border: 2px solid var(--border);
  transition: border-color 0.3s;
  margin-top: 4px;
}

.significance-box.significant     { border-color: var(--lime); }
.significance-box.not-significant { border-color: var(--rose); }

.z-score {
  font-family: 'JetBrains Mono', monospace;
  font-size: 36px;
  font-weight: 600;
  color: var(--amber);
  display: block;
  margin-bottom: 4px;
}

.sig-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  color: var(--text2);
}

.ab-explain {
  margin-top: 12px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text3);
  line-height: 1.8;
}

.result-badge {
  display: inline-block;
  padding: 4px 12px;
  border-radius: 20px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  font-weight: 600;
}

.badge-green { background: rgba(168,224,99,0.15); color: var(--lime); border: 1px solid rgba(168,224,99,0.3); }
.badge-red   { background: rgba(255,107,138,0.15); color: var(--rose); border: 1px solid rgba(255,107,138,0.3); }

/* ═══════════════════════════════════════════
   EXPECTED VALUE
═══════════════════════════════════════════ */
.ev-result-box {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px;
  margin-top: 14px;
  text-align: center;
}

.ev-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text3);
  margin-bottom: 6px;
}

.ev-value {
  font-family: 'JetBrains Mono', monospace;
  font-size: 42px;
  font-weight: 600;
  color: var(--amber);
}

.ev-breakdown {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  color: var(--text3);
  margin-top: 4px;
}

/* ═══════════════════════════════════════════
   NORMAL DISTRIBUTION
═══════════════════════════════════════════ */
.normal-stats {
  display: grid;
  grid-template-columns: 1fr 1fr 1fr;
  gap: 8px;
  margin-top: 12px;
}

.normal-stat-card {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 10px;
  text-align: center;
}

.normal-stat-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  color: var(--text3);
  margin-bottom: 4px;
}

.normal-stat-value {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
}

/* ═══════════════════════════════════════════
   SCROLL REVEAL
═══════════════════════════════════════════ */
.reveal {
  opacity: 0;
  transform: translateY(20px);
  transition: opacity 0.5s ease, transform 0.5s ease;
}

.reveal.visible {
  opacity: 1;
  transform: translateY(0);
}

/* ═══════════════════════════════════════════
   RESPONSIVE
═══════════════════════════════════════════ */
@media (max-width: 768px) {
  header         { padding: 50px 24px 40px; }
  .section       { padding: 40px 24px; }
  .topics-grid   { grid-template-columns: 1fr; }
  .math-bg       { display: none; }
  .ab-grid       { grid-template-columns: 1fr; }
  .dot-stats     { flex-wrap: wrap; gap: 12px; }
  .normal-stats  { grid-template-columns: 1fr; }
}