/* ───────────────────────────────────────────────
   Python Pamati — style.css
─────────────────────────────────────────────── */

:root {
  --white:   #ffffff;
  --off:     #f7f6f3;
  --border:  #e2e0db;
  --muted:   #999490;
  --text:    #1a1917;
  --accent:  #2563eb;
  --green:   #16a34a;
  --amber:   #92400e;
  --red:     #dc2626;
  --mono:    'JetBrains Mono', monospace;
  --serif:   'Lora', Georgia, serif;
  --radius:  6px;
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { font-size: 16px; scroll-behavior: smooth; }
body {
  font-family: var(--serif);
  background: var(--white);
  color: var(--text);
  line-height: 1.6;
}

/* ── HEADER ───────────────────────── */
.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0 32px;
  height: 52px;
  border-bottom: 1px solid var(--border);
  background: var(--white);
  position: sticky;
  top: 0;
  z-index: 10;
}
.site-logo {
  font-family: var(--mono);
  font-size: 0.9rem;
  font-weight: 600;
  color: var(--text);
  text-decoration: none;
}
.site-home-link {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
  text-decoration: none;
  transition: color 0.15s;
}
.site-home-link:hover { color: var(--text); }

/* ── PAGE ─────────────────────────── */
.page {
  max-width: 700px;
  margin: 0 auto;
  padding: 56px 24px 100px;
}

/* ── CHAPTER HEAD ─────────────────── */
.chapter-head { margin-bottom: 56px; }
.chapter-tag {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  letter-spacing: 1px;
  text-transform: uppercase;
  margin-bottom: 8px;
}
.chapter-head h1 {
  font-size: 2.6rem;
  font-weight: 600;
  letter-spacing: -1px;
  line-height: 1.1;
}
.chapter-en {
  font-style: italic;
  font-weight: 400;
  font-size: 0.55em;
  color: var(--muted);
  margin-left: 4px;
}
.chapter-sub {
  font-size: 1rem;
  font-style: italic;
  color: var(--muted);
  margin-top: 8px;
}

/* ── SITEMAP (home page) ──────────── */
.home-page { max-width: 560px; }
.sitemap { display: flex; flex-direction: column; gap: 40px; }
.sm-group-label {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 1.5px;
  margin-bottom: 10px;
}
.sm-item {
  display: flex;
  align-items: center;
  gap: 16px;
  padding: 14px 18px;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  text-decoration: none;
  color: var(--text);
  background: var(--white);
  transition: border-color 0.15s, background 0.15s;
  margin-bottom: 8px;
}
a.sm-item:hover {
  border-color: var(--accent);
  background: #eff6ff;
}
.sm-item.soon {
  opacity: 0.4;
  cursor: default;
  background: var(--off);
}
.sm-num {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  min-width: 24px;
}
.sm-title {
  font-family: var(--serif);
  font-size: 1rem;
  font-weight: 600;
  flex: 1;
}
.sm-title em {
  font-weight: 400;
  font-style: italic;
  color: var(--muted);
  margin-left: 6px;
  font-size: 0.88em;
}
.sm-arrow {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
}
.sm-tag {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  background: var(--off);
  border: 1px solid var(--border);
  border-radius: 3px;
  padding: 2px 7px;
}

/* ── DEMO SECTION ─────────────────── */
.demo-section { margin-bottom: 56px; }
.demo-section h2 {
  font-family: var(--mono);
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 1px;
  margin-bottom: 16px;
  padding-bottom: 8px;
  border-bottom: 1px solid var(--border);
}
.demo-card {
  background: var(--off);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 24px;
}

/* ── CODE CHIP ────────────────────── */
.code-chip {
  margin-top: 12px;
  font-family: var(--mono);
  font-size: 0.83rem;
  color: var(--muted);
}
.code-chip code { color: var(--text); }

/* ── ANATOMY ──────────────────────── */
.anatomy-row {
  display: flex;
  align-items: flex-start;
  gap: 6px;
  flex-wrap: wrap;
}
.paren {
  font-family: var(--mono);
  font-size: 1.5rem;
  color: var(--muted);
  line-height: 1;
  padding-top: 6px;
}
.a-cell {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 3px;
}
.a-val {
  font-family: var(--mono);
  font-size: 0.88rem;
  padding: 8px 12px;
  border-radius: 4px;
  border: 1px solid var(--border);
  background: var(--white);
}
.a-val.str { color: var(--green); }
.a-val.num { color: var(--accent); }
.a-val.boo { color: var(--amber); }
.a-idx {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--accent);
  background: #eff6ff;
  border-radius: 3px;
  padding: 1px 5px;
}
.a-type {
  font-family: var(--mono);
  font-size: 0.65rem;
  color: var(--muted);
}
.a-sep {
  font-family: var(--mono);
  color: var(--muted);
  padding-top: 10px;
  align-self: flex-start;
}
.anatomy-note {
  margin-top: 16px;
  font-size: 0.85rem;
  color: var(--muted);
  font-style: italic;
}

/* ── INDEX DEMO ───────────────────── */
.index-tuple {
  display: flex;
  align-items: center;
  gap: 6px;
  flex-wrap: wrap;
}
.i-sep { font-family: var(--mono); color: var(--muted); }
.i-cell {
  font-family: var(--mono);
  font-size: 0.85rem;
  padding: 8px 12px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  cursor: pointer;
  transition: border-color 0.15s, background 0.15s;
  user-select: none;
}
.i-cell:hover { border-color: var(--accent); background: #eff6ff; }
.i-cell.selected { border-color: var(--accent); background: #dbeafe; }
.index-output {
  margin-top: 16px;
  font-family: var(--mono);
  font-size: 0.85rem;
  min-height: 28px;
}
.io-label { color: var(--muted); font-style: italic; }
.io-code  { color: var(--text); font-weight: 600; }
.io-arrow { color: var(--muted); margin: 0 6px; }
.io-val   { color: var(--green); }
.io-neg   { color: var(--muted); }

/* ── IMMUTABLE DEMO ───────────────── */
.imm-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
  flex-wrap: wrap;
}
.imm-tuple {
  font-family: var(--mono);
  font-size: 0.88rem;
  display: flex;
  align-items: center;
  gap: 5px;
  flex-wrap: wrap;
}
.imm-el {
  padding: 6px 10px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  transition: background 0.2s, border-color 0.2s;
}
.imm-el.shaking {
  animation: shake 0.35s ease;
  border-color: var(--red);
  background: #fef2f2;
}
@keyframes shake {
  0%, 100% { transform: translateX(0); }
  20%       { transform: translateX(-5px); }
  50%       { transform: translateX(5px); }
  75%       { transform: translateX(-3px); }
}
.imm-action {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-shrink: 0;
}
.imm-label {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
}
.imm-error {
  margin-top: 14px;
  display: flex;
  align-items: center;
  gap: 10px;
  font-family: var(--mono);
  font-size: 0.8rem;
  padding: 10px 14px;
  background: #fef2f2;
  border: 1px solid #fca5a5;
  border-radius: 4px;
  flex-wrap: wrap;
}
.err-tag {
  background: var(--red);
  color: white;
  font-size: 0.7rem;
  padding: 2px 7px;
  border-radius: 3px;
  font-weight: 600;
  flex-shrink: 0;
}
.err-msg { color: var(--red); flex: 1; }

/* ── BUILDER ──────────────────────── */
.builder-controls {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  margin-bottom: 16px;
}
.builder-display {
  font-family: var(--mono);
  font-size: 0.88rem;
  background: var(--white);
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 10px 14px;
  min-height: 42px;
  display: flex;
  align-items: center;
  gap: 5px;
  flex-wrap: wrap;
  margin-bottom: 10px;
}
.b-item {
  color: var(--green);
  background: #f0fdf4;
  border: 1px solid #bbf7d0;
  border-radius: 3px;
  padding: 2px 7px;
  animation: popIn 0.15s ease;
}
@keyframes popIn {
  from { transform: scale(0.7); opacity: 0; }
  to   { transform: scale(1);   opacity: 1; }
}
.b-empty {
  color: var(--muted);
  font-style: italic;
  font-size: 0.8rem;
}
.builder-meta {
  display: flex;
  justify-content: space-between;
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
}

/* ── UNPACK DEMO ──────────────────── */
.unpack-wrap {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 0;
  margin-bottom: 14px;
}
.unpack-source {
  font-family: var(--mono);
  font-size: 0.88rem;
  display: flex;
  align-items: center;
  gap: 5px;
}
.up-el {
  padding: 7px 10px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  transition: background 0.3s, border-color 0.3s;
}
.up-el.lit { background: #dbeafe; border-color: var(--accent); }
.unpack-lines {
  display: flex;
  gap: 56px;
  height: 28px;
  align-items: flex-end;
}
.unpack-lines div {
  width: 1px;
  height: 0;
  background: var(--border);
  transition: height 0.35s ease;
}
.unpack-lines.active div { height: 28px; }
.unpack-vars {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
  justify-content: center;
}
.uv-box {
  display: flex;
  flex-direction: column;
  align-items: center;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  padding: 8px 14px;
  min-width: 80px;
  transition: border-color 0.3s;
}
.uv-box.filled { border-color: var(--accent); }
.uv-name {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--accent);
  margin-bottom: 3px;
}
.uv-val {
  font-family: var(--mono);
  font-size: 0.85rem;
  color: var(--muted);
  transition: color 0.3s;
}
.uv-val.filled { color: var(--text); }

/* ── METHODS ──────────────────────── */
.methods-tuple-label {
  font-size: 0.85rem;
  color: var(--muted);
  margin-bottom: 18px;
}
.methods-tuple-label code { font-family: var(--mono); color: var(--text); }
.methods-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
}
@media (max-width: 520px) { .methods-grid { grid-template-columns: 1fr; } }
.method-block { display: flex; flex-direction: column; gap: 10px; }
.method-sig {
  font-family: var(--mono);
  font-size: 0.85rem;
  font-weight: 600;
  color: var(--text);
}
.method-sig em { color: var(--accent); font-style: normal; }
.method-row { display: flex; gap: 8px; }
.method-out {
  font-family: var(--mono);
  font-size: 0.82rem;
  color: var(--green);
  min-height: 22px;
}
.method-out.err { color: var(--red); }

/* ── QUIZ ─────────────────────────── */
.quiz-q {
  background: var(--off);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 20px 24px;
  margin-bottom: 14px;
}
.quiz-q .q-text {
  font-size: 0.95rem;
  margin-bottom: 14px;
  line-height: 1.5;
}
.quiz-q .q-text code {
  font-family: var(--mono);
  font-size: 0.85em;
  background: var(--white);
  border: 1px solid var(--border);
  border-radius: 3px;
  padding: 1px 5px;
}
.options { display: flex; flex-direction: column; gap: 7px; }
.opt {
  font-family: var(--mono);
  font-size: 0.83rem;
  padding: 9px 14px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  cursor: pointer;
  text-align: left;
  transition: border-color 0.15s, background 0.15s;
}
.opt:hover:not(:disabled) { border-color: var(--accent); background: #eff6ff; }
.opt.correct { border-color: var(--green); background: #f0fdf4; color: var(--green); }
.opt.wrong   { border-color: var(--red);   background: #fef2f2; color: var(--red); }
.opt:disabled { cursor: default; }
.q-feedback {
  margin-top: 10px;
  font-size: 0.82rem;
  font-family: var(--mono);
  display: none;
  line-height: 1.5;
}
.q-feedback.show { display: block; }
.q-feedback.ok  { color: var(--green); }
.q-feedback.bad { color: var(--red); }

/* ── INPUTS & BUTTONS ─────────────── */
input[type="text"],
input[type="number"] {
  font-family: var(--mono);
  font-size: 0.85rem;
  padding: 7px 11px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  color: var(--text);
  outline: none;
  transition: border-color 0.15s;
  min-width: 0;
}
input[type="text"]   { flex: 1; }
input[type="number"] { width: 64px; }
input:focus { border-color: var(--accent); }

.btn-primary {
  font-family: var(--mono);
  font-size: 0.82rem;
  font-weight: 600;
  padding: 7px 16px;
  background: var(--text);
  color: var(--white);
  border: 1px solid var(--text);
  border-radius: 4px;
  cursor: pointer;
  transition: opacity 0.15s;
  white-space: nowrap;
  flex-shrink: 0;
}
.btn-primary:hover { opacity: 0.8; }

.btn-ghost {
  font-family: var(--mono);
  font-size: 0.82rem;
  padding: 7px 14px;
  background: transparent;
  color: var(--muted);
  border: 1px solid var(--border);
  border-radius: 4px;
  cursor: pointer;
  transition: border-color 0.15s, color 0.15s;
  white-space: nowrap;
  flex-shrink: 0;
}
.btn-ghost:hover { border-color: var(--muted); color: var(--text); }

.hidden { display: none !important; }

/* ── FOOTER ───────────────────────── */
.site-footer {
  border-top: 1px solid var(--border);
  padding: 18px 32px;
}
.footer-brand {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--muted);
}

/* ── DUPES DEMO ───────────────────── */
.dupes-label {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--muted);
  margin-bottom: 10px;
  text-transform: uppercase;
  letter-spacing: 0.5px;
}
.dupes-input, .dupes-result { display: flex; flex-wrap: wrap; gap: 8px; }
.d-item {
  font-family: var(--mono);
  font-size: 0.85rem;
  padding: 6px 12px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  transition: opacity 0.35s, transform 0.35s;
}
.d-item.dup { color: var(--red); border-color: #fca5a5; background: #fef2f2; }
.d-item.fading { opacity: 0; transform: scale(0.7); }
.result-item { color: var(--green); border-color: #bbf7d0; background: #f0fdf4; }

/* ── SET DISPLAY ──────────────────── */
.set-display-wrap { margin-bottom: 16px; }
.set-display-label {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--muted);
  margin-bottom: 8px;
}
.set-display {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  min-height: 38px;
  align-items: center;
}
.s-bubble {
  font-family: var(--mono);
  font-size: 0.83rem;
  padding: 5px 11px;
  border: 1px solid var(--border);
  border-radius: 20px;
  background: var(--white);
  animation: popIn 0.15s ease;
}
.set-empty {
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--muted);
  font-style: italic;
}
.set-controls { display: flex; flex-direction: column; gap: 10px; }
.set-ctrl-group { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.ctrl-label {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
  min-width: 100px;
}
.ctrl-label em { color: var(--accent); font-style: normal; }
.set-feedback {
  font-family: var(--mono);
  font-size: 0.78rem;
  min-height: 20px;
  margin-top: 10px;
  transition: color 0.2s;
}
.set-feedback.ok   { color: var(--green); }
.set-feedback.warn { color: var(--amber); }
.set-feedback.err  { color: var(--red); }
.set-code { font-family: var(--mono); font-size: 0.78rem; color: var(--muted); margin-top: 6px; }

/* ── SET OPERATIONS ───────────────── */
.ops-sets {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
  margin-bottom: 16px;
}
.ops-set-label {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--muted);
  margin-bottom: 8px;
  text-transform: uppercase;
  letter-spacing: 0.5px;
}
.ops-bubbles { display: flex; flex-wrap: wrap; gap: 6px; }
.op-bubble {
  font-family: var(--mono);
  font-size: 0.83rem;
  padding: 5px 10px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  transition: background 0.25s, border-color 0.25s;
}
.op-bubble.lit { background: #dbeafe; border-color: var(--accent); color: var(--accent); }
.ops-buttons { display: flex; gap: 8px; flex-wrap: wrap; margin-bottom: 14px; }
.btn-op {
  font-family: var(--mono);
  font-size: 0.78rem;
  line-height: 1.4;
  padding: 8px 14px;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--white);
  cursor: pointer;
  text-align: center;
  transition: border-color 0.15s, background 0.15s;
}
.btn-op span { color: var(--muted); font-size: 0.72rem; }
.btn-op:hover { border-color: var(--accent); background: #eff6ff; }
.btn-op.active-op { border-color: var(--accent); background: #dbeafe; }
.ops-result { border-top: 1px solid var(--border); padding-top: 14px; }
.ops-result-label {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--muted);
  margin-bottom: 8px;
}
.ops-result-set { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 10px; }
.ops-result-code { font-family: var(--mono); font-size: 0.8rem; color: var(--muted); }
.ops-result-code code { color: var(--text); }

/* ── MEMBERSHIP TEST ──────────────── */
.in-label { font-size: 0.85rem; color: var(--muted); margin-bottom: 14px; }
.in-label code { font-family: var(--mono); color: var(--text); }
.in-controls { display: flex; gap: 8px; margin-bottom: 12px; flex-wrap: wrap; }
.in-result { font-family: var(--mono); font-size: 0.88rem; min-height: 22px; }
.in-result.ok  { color: var(--green); }
.in-result.bad { color: var(--red); }