/* ── Theme: System-aware ── */
:root {
  --font: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
  --mono: 'SF Mono', 'Cascadia Code', 'JetBrains Mono', 'Fira Code', Menlo, Consolas, monospace;
  --content-width: 52rem;

  /* Light theme (default) */
  --bg: #ffffff;
  --bg-subtle: #f6f8fa;
  --bg-code: #f0f2f5;
  --text: #1f2328;
  --text-secondary: #59636e;
  --text-tertiary: #8b949e;
  --border: #d1d9e0;
  --border-subtle: #e8ecf0;
  --link: #0969da;
  --kw: #cf222e;
  --ty: #8250df;
  --fn: #0550ae;
  --str: #0a3069;
  --num: #0550ae;
  --cm: #6e7781;
  --scanner-color: #bf8700;
  --parser-color: #0550ae;
  --binder-color: #1a7f37;
  --checker-color: #8250df;
  --solver-color: #cf222e;
  --emitter-color: #0969da;
  --table-stripe: #f6f8fa;
  --highlight-bg: #fff8c5;
  --nav-bg: #f6f8fa;
  --success: #1a7f37;
  --bar-tsz: #cf222e;
  --bar-tsgo: #0550ae;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0d1117;
    --bg-subtle: #161b22;
    --bg-code: #1c2128;
    --text: #e6edf3;
    --text-secondary: #8b949e;
    --text-tertiary: #6e7681;
    --border: #30363d;
    --border-subtle: #21262d;
    --link: #58a6ff;
    --kw: #ff7b72;
    --ty: #d2a8ff;
    --fn: #79c0ff;
    --str: #a5d6ff;
    --num: #79c0ff;
    --cm: #8b949e;
    --scanner-color: #e3b341;
    --parser-color: #58a6ff;
    --binder-color: #3fb950;
    --checker-color: #d2a8ff;
    --solver-color: #ff7b72;
    --emitter-color: #79c0ff;
    --table-stripe: #161b22;
    --highlight-bg: #2d1d00;
    --nav-bg: #161b22;
    --success: #3fb950;
    --bar-tsz: #ff7b72;
    --bar-tsgo: #58a6ff;
  }
}

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

body {
  font-family: var(--font);
  font-size: 16px;
  line-height: 1.8;
  color: var(--text);
  background: var(--bg);
  -webkit-font-smoothing: antialiased;
}

/* ── Navigation ── */
.site-nav {
  position: sticky;
  top: 0;
  z-index: 100;
  background: var(--nav-bg);
  border-bottom: 1px solid var(--border);
  padding: 0 2rem;
  display: flex;
  align-items: center;
  height: 3rem;
  gap: 0;
}

.nav-logo {
  font-weight: 800;
  font-size: 1.1rem;
  color: var(--text) !important;
  text-decoration: none !important;
  font-family: var(--mono);
  letter-spacing: -0.03em;
  margin-right: 2rem;
}

.nav-links {
  display: contents;
}

.nav-links-inner {
  display: flex;
  gap: 0;
  height: 100%;
}

.nav-links-inner a {
  display: flex;
  align-items: center;
  padding: 0 1rem;
  color: var(--text-secondary);
  text-decoration: none;
  font-size: 0.875rem;
  height: 100%;
  border-bottom: 2px solid transparent;
  transition: color 0.15s, border-color 0.15s;
}

.nav-links-inner a:hover {
  color: var(--text);
}

.nav-links-inner a.active {
  color: var(--text);
  font-weight: 600;
  border-bottom-color: var(--link);
}

.nav-github {
  margin-left: auto;
  color: var(--text-secondary);
  display: flex;
  align-items: center;
  text-decoration: none;
}

.nav-github:hover { color: var(--text); }

/* ── Page Content ── */
.page-content {
  max-width: var(--content-width);
  margin: 0 auto;
  padding: 2.5rem 2rem 6rem;
}

/* ── Typography ── */
h1 {
  font-size: 2rem;
  font-weight: 700;
  letter-spacing: -0.02em;
  margin-bottom: 0.5rem;
}

h2 {
  font-size: 1.5rem;
  font-weight: 700;
  margin: 2.5rem 0 1rem;
  padding-top: 1rem;
  letter-spacing: -0.01em;
}

h3 {
  font-size: 1.15rem;
  font-weight: 600;
  margin: 2rem 0 0.75rem;
}

h4 {
  font-size: 1rem;
  font-weight: 600;
  margin: 1.5rem 0 0.5rem;
}

p {
  margin-bottom: 1rem;
  max-width: 65ch;
}

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }

.subtitle {
  font-size: 1.1rem;
  color: var(--text-secondary);
  margin-bottom: 2rem;
}

/* ── Code ── */
code {
  font-family: var(--mono);
  font-size: 0.88em;
  background: var(--bg-code);
  padding: 0.15em 0.4em;
  border-radius: 4px;
}

pre {
  background: var(--bg-code);
  border: 1px solid var(--border-subtle);
  border-radius: 8px;
  padding: 1.25rem 1.5rem;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 0.85rem;
  line-height: 1.7;
  margin: 1.25rem 0;
}

pre code {
  background: none;
  padding: 0;
  font-size: inherit;
}

/* ── Tables ── */
table {
  width: 100%;
  border-collapse: collapse;
  margin: 1.25rem 0;
  font-size: 0.9rem;
}

th {
  text-align: left;
  padding: 0.6rem 1rem;
  border-bottom: 2px solid var(--border);
  font-weight: 600;
  font-size: 0.8rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--text-secondary);
}

td {
  padding: 0.6rem 1rem;
  border-bottom: 1px solid var(--border-subtle);
  vertical-align: top;
}

tr:nth-child(even) { background: var(--table-stripe); }

/* ── Progress bars ── */
.progress-row {
  display: flex;
  align-items: center;
  gap: 1rem;
  margin: 0.75rem 0;
}

.progress-label {
  min-width: 8rem;
  font-weight: 500;
  font-size: 0.9rem;
}

.progress-bar {
  flex: 1;
  height: 1.25rem;
  background: var(--bg-code);
  border-radius: 4px;
  overflow: hidden;
  border: 1px solid var(--border-subtle);
}

.progress-fill {
  height: 100%;
  border-radius: 3px;
  transition: width 0.3s;
}

.progress-fill.conformance,
.progress-fill.emit-js,
.progress-fill.emit-dts,
.progress-fill.fourslash { background: var(--text-secondary); }

.progress-stat {
  min-width: 12rem;
  text-align: right;
  font-size: 0.85rem;
  color: var(--text-secondary);
  font-family: var(--mono);
}

/* ── Alert ── */
.alert {
  border-radius: 8px;
  padding: 1rem 1.25rem;
  margin: 1.5rem 0;
  font-size: 0.95rem;
  line-height: 1.6;
}

.alert-warning {
  background: var(--highlight-bg, #fff8c5);
  border: 1px solid #d4a72c44;
}

.alert-warning strong::before {
  content: "\26A0\FE0F  ";
}

/* ── Monaco code blocks ── */
.monaco-code-block {
  border: 1px solid var(--border-subtle);
  border-radius: 6px;
  overflow: hidden;
  margin: 1rem 0;
}

/* ── Install block ── */
.install-block {
  background: var(--bg-code);
  border: 1px solid var(--border-subtle);
  border-radius: 8px;
  padding: 1.25rem 1.5rem;
  font-family: var(--mono);
  font-size: 0.9rem;
  margin: 1.5rem 0;
  display: flex;
  align-items: center;
  gap: 0.75rem;
}

.install-block .prompt {
  color: var(--text-tertiary);
  user-select: none;
}

.install-block .cmd {
  color: var(--text);
}

/* ── Pipeline diagram ── */
.pipeline {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  flex-wrap: wrap;
  margin: 1.5rem 0;
  font-family: var(--mono);
  font-size: 0.85rem;
}

.pipeline-stage {
  padding: 0.4rem 0.8rem;
  border-radius: 6px;
  font-weight: 600;
  border: 2px solid;
}

.pipeline-stage.scanner  { color: var(--scanner-color); border-color: var(--scanner-color); }
.pipeline-stage.parser   { color: var(--parser-color);  border-color: var(--parser-color); }
.pipeline-stage.binder   { color: var(--binder-color);  border-color: var(--binder-color); }
.pipeline-stage.checker  { color: var(--checker-color); border-color: var(--checker-color); }
.pipeline-stage.solver   { color: var(--solver-color);  border-color: var(--solver-color); }
.pipeline-stage.emitter  { color: var(--emitter-color); border-color: var(--emitter-color); }

.pipeline-arrow {
  color: var(--text-tertiary);
  font-size: 1.1rem;
}

/* ── Benchmark charts ── */
.bench-chart {
  margin: 1.5rem 0;
}

.bench-row {
  margin-bottom: 1.25rem;
}

.bench-name {
  font-weight: 600;
  font-size: 0.9rem;
  margin-bottom: 0.25rem;
}

.bench-meta {
  font-size: 0.8rem;
  color: var(--text-tertiary);
  margin-bottom: 0.5rem;
}

.bench-bars {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.bench-bar-row {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  height: 1.5rem;
}

.bench-bar-label {
  min-width: 3rem;
  font-family: var(--mono);
  font-size: 0.8rem;
  font-weight: 600;
  color: var(--text-secondary);
}

.bench-bar {
  height: 100%;
  border-radius: 3px;
  min-width: 2px;
  transition: width 0.3s;
}

.bench-bar.tsz  { background: var(--bar-tsz); }
.bench-bar.tsgo { background: var(--bar-tsgo); }

.bench-bar-time {
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--text-secondary);
}

.bench-winner {
  font-weight: 600;
  font-size: 0.8rem;
  color: var(--success);
  margin-left: 0.5rem;
}

.bench-legend {
  display: flex;
  gap: 1.5rem;
  margin-bottom: 1.5rem;
  font-size: 0.85rem;
}

.bench-legend-item {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.bench-legend-swatch {
  width: 1rem;
  height: 0.75rem;
  border-radius: 2px;
}

.bench-legend-swatch.tsz  { background: var(--bar-tsz); }
.bench-legend-swatch.tsgo { background: var(--bar-tsgo); }

.bench-placeholder {
  padding: 2rem;
  background: var(--bg-subtle);
  border: 1px dashed var(--border);
  border-radius: 8px;
  text-align: center;
  color: var(--text-secondary);
  font-size: 0.9rem;
}

/* ── Footer ── */
.site-footer {
  border-top: 1px solid var(--border-subtle);
  padding: 2rem;
  text-align: center;
  color: var(--text-tertiary);
  font-size: 0.8rem;
}

/* ── Misc ── */
.loc-stat {
  font-family: var(--mono);
  font-size: 0.9rem;
  color: var(--text-secondary);
  margin: 0.5rem 0 2rem;
}

.section-divider {
  border: none;
  border-top: 1px solid var(--border-subtle);
  margin: 2.5rem 0;
}

/* ── Hamburger (hidden on desktop) ── */
.nav-hamburger {
  display: none;
  background: none;
  border: none;
  color: var(--text-secondary);
  cursor: pointer;
  padding: 0.25rem;
}

/* ── Mobile ── */
@media (max-width: 768px) {
  .site-nav {
    display: grid;
    grid-template-columns: auto 1fr auto auto;
    grid-template-rows: 3rem;
    align-items: center;
    height: auto;
    padding: 0 1rem;
  }
  .nav-logo { grid-column: 1; }
  .nav-hamburger { grid-column: 3; display: flex; }
  .nav-github { grid-column: 4; margin-left: 0.5rem; }
  .nav-links {
    display: grid;
    grid-column: 1 / -1;
    grid-row: 2;
    grid-template-rows: 0fr;
    transition: grid-template-rows 0.2s ease;
  }
  .nav-links-inner {
    display: flex;
    flex-direction: column;
    overflow: hidden;
    height: auto;
  }
  .nav-links.open {
    grid-template-rows: 1fr;
  }
  .nav-links.open .nav-links-inner {
    border-top: 1px solid var(--border-subtle);
    padding: 0.25rem 0;
  }
  .nav-links-inner a {
    padding: 0.6rem 0;
    font-size: 0.9rem;
    height: auto;
    border-bottom: none;
  }
  .page-content { padding: 2rem 1.25rem 4rem; }
  .progress-row {
    display: grid;
    grid-template-columns: 1fr 11rem;
    gap: 0.25rem 0.5rem;
  }
  .progress-label { grid-column: 1 / -1; min-width: auto; }
  .progress-bar { min-width: 0; }
  .progress-stat { min-width: auto; text-align: right; font-size: 0.8rem; }
  .pipeline { font-size: 0.75rem; }
  .pipeline-stage { padding: 0.3rem 0.5rem; }
  .monaco-code-block { margin-left: -1.25rem; margin-right: -1.25rem; border-radius: 0; }
}