/* ───────────────────────────────────────────────────────────
   Ultrametric AI PoC — GitHub Pages Static Web App
   Academic + accessible styling. Zero tracking.
   ─────────────────────────────────────────────────────────── */

:root {
  --bg: #fdfcfa; --text: #1a1a1a; --muted: #5e5e5e;
  --accent: #b0562a; --accent2: #2a6e4f; --border: #e0ddd5;
  --warm: #faf6f0; --code-bg: #f5f2ec; --highlight: #fff3e0;
  --sans: "Segoe UI", "Helvetica Neue", Arial, sans-serif;
  --serif: Georgia, "Times New Roman", Times, serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { font-size: 16px; scroll-behavior: smooth; }
body { font-family: var(--serif); color: var(--text); background: var(--bg); line-height: 1.7; }
.container { max-width: 860px; margin: 0 auto; padding: 1.5rem 1.2rem 3rem; }

/* ── Header ── */
.site-header { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; margin-bottom: 1.5rem; padding-bottom: 1rem; border-bottom: 1px solid var(--border); }
.site-title { font-family: var(--sans); font-size: 0.8rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); }
.site-title a { color: var(--muted); text-decoration: none; }

/* ── Hero ── */
.hero { text-align: center; padding: 2rem 0 1.5rem; }
.hero h1 { font-family: var(--sans); font-size: 1.8rem; margin-bottom: 0.5rem; }
.hero .tagline { font-family: var(--sans); font-size: 0.9rem; color: var(--muted); max-width: 550px; margin: 0 auto 1rem; }
.hero .badge { display: inline-block; font-family: var(--mono); font-size: 0.7rem; color: var(--accent2); border: 1px solid var(--accent2); padding: 0.2rem 0.6rem; }

h1 { font-family: var(--sans); font-size: 1.5rem; margin: 1.5rem 0 0.5rem; }
h2 { font-family: var(--sans); font-size: 1.1rem; margin: 1.5rem 0 0.5rem; }
h3 { font-family: var(--sans); font-size: 0.95rem; margin: 1rem 0 0.5rem; }
p { margin-bottom: 0.8rem; }
a { color: var(--accent); }
code { font-family: var(--mono); font-size: 0.85rem; background: var(--code-bg); padding: 0.1rem 0.3rem; border-radius: 2px; }
pre { background: var(--code-bg); border: 1px solid var(--border); padding: 0.8rem 1rem; overflow-x: auto; font-size: 0.8rem; line-height: 1.5; margin: 0.8rem 0 1.2rem; border-radius: 4px; }

/* ── Tab navigation ── */
.tabs { display: flex; gap: 0; margin: 1.5rem 0 0; border-bottom: 1px solid var(--border); font-family: var(--sans); }
.tab-btn { flex: 1; padding: 0.6rem 0.5rem; border: 1px solid var(--border); border-bottom: none; background: var(--warm); cursor: pointer; font-size: 0.8rem; color: var(--muted); transition: background 0.15s; text-align: center; border-radius: 4px 4px 0 0; }
.tab-btn:hover { background: #f0ece4; }
.tab-btn.active { background: var(--bg); color: var(--text); font-weight: 600; border-bottom: 2px solid var(--accent); }
.tab-content { display: none; padding: 1.5rem 0; }
.tab-content.active { display: block; }

/* ── Controls ── */
.controls { display: flex; gap: 0.8rem; flex-wrap: wrap; align-items: end; margin-bottom: 1rem; }
.controls input { flex: 2; min-width: 200px; padding: 0.5rem 0.8rem; border: 1px solid var(--border); font-family: var(--sans); font-size: 0.9rem; border-radius: 4px; }
.controls input:focus { outline: none; border-color: var(--accent); }
.btn { padding: 0.5rem 1.2rem; border: none; background: var(--accent); color: #fff; font-family: var(--sans); font-size: 0.85rem; cursor: pointer; border-radius: 4px; white-space: nowrap; }
.btn:hover { background: #933f19; }
.slider-row { display: flex; align-items: center; gap: 1rem; margin: 1rem 0; font-family: var(--sans); font-size: 0.85rem; }
.slider-row input[type=range] { flex: 1; }

/* ── Cards / Grids ── */
.card-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(200px, 1fr)); gap: 0.8rem; margin: 1rem 0; }
.card { background: var(--warm); border: 1px solid var(--border); padding: 1rem; border-radius: 4px; }
.card .icon { font-size: 1.3rem; margin-bottom: 0.3rem; }
.card h3 { font-size: 0.85rem; margin: 0 0 0.3rem; }
.card p { font-size: 0.8rem; color: var(--muted); margin: 0; }
.metric { display: inline-block; text-align: center; padding: 0.8rem 1.2rem; background: var(--warm); border: 1px solid var(--border); border-radius: 4px; margin: 0.3rem; }
.metric .val { font-size: 1.4rem; font-weight: 600; font-family: var(--mono); color: var(--accent); }
.metric .lbl { font-size: 0.75rem; color: var(--muted); text-transform: uppercase; letter-spacing: 0.05em; }

/* ── Particle / Token display ── */
.token-row { display: flex; flex-wrap: wrap; gap: 0.5rem; margin: 0.8rem 0; }
.token-chip { display: inline-flex; flex-direction: column; align-items: center; padding: 0.4rem 0.8rem; background: var(--warm); border: 1px solid var(--border); border-radius: 4px; font-family: var(--mono); font-size: 0.8rem; }
.token-chip .code { font-size: 0.95rem; color: var(--accent); }
.token-chip .label { font-size: 0.7rem; color: var(--muted); }

/* ── Result boxes ── */
.result-box { background: var(--warm); border: 1px solid var(--border); padding: 1rem 1.2rem; margin: 1rem 0; border-radius: 4px; font-size: 0.9rem; }
.result-box.success { border-left: 3px solid var(--accent2); }
.result-box.warn { border-left: 3px solid var(--accent); }

/* ── Attention matrix ── */
.attn-table { width: 100%; border-collapse: collapse; font-family: var(--mono); font-size: 0.8rem; margin: 1rem 0; }
.attn-table th, .attn-table td { padding: 0.4rem 0.6rem; border: 1px solid var(--border); text-align: center; }
.attn-table th { background: var(--warm); }
.attn-table td { transition: background 0.2s; }
.attn-table .hi { font-weight: 600; }

/* ── Tree viz ── */
.tree-viz { background: var(--code-bg); border: 1px solid var(--border); padding: 1.5rem; text-align: center; font-family: var(--mono); font-size: 1rem; white-space: pre; line-height: 1.4; overflow-x: auto; }
.tree-viz .mark { color: var(--accent); }
.tree-viz .enclose { color: var(--accent2); font-weight: 600; }

/* ── Reduction trace ── */
.trace-line { padding: 0.3rem 0; font-family: var(--mono); font-size: 0.85rem; }
.trace-line .arrow { color: var(--muted); margin: 0 0.5rem; }

/* ── Footer ── */
.site-footer { margin-top: 2rem; padding-top: 1.5rem; border-top: 1px solid var(--border); font-family: var(--sans); font-size: 0.75rem; color: var(--muted); text-align: center; line-height: 1.7; }
.site-footer a { color: var(--muted); }
hr { border: none; border-top: 1px solid var(--border); margin: 1.5rem 0; }

/* ── Responsive ── */
@media (max-width: 600px) {
  .tabs { flex-direction: column; }
  .tab-btn { border-radius: 0; }
  .controls { flex-direction: column; }
  .card-grid { grid-template-columns: 1fr; }
  .token-row { justify-content: center; }
}