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

:root {
  --bg: #0e0e0f;
  --border: #2a2a2d;
  --text: #d4d4d8;
  --muted: #71717a;
  --accent: #a78bfa;
  --accent-dim: rgba(167, 139, 250, 0.1);
  --mono: 'IBM Plex Mono', monospace;
  --sans: 'IBM Plex Sans', sans-serif;
}

body {
  max-width: 850px;
  margin: 0 auto;
  padding: 20px;
  font-family: var(--sans);
  font-weight: 300;
  line-height: 1.6;
  background: var(--bg);
  color: var(--text);
}

header { margin-bottom: 30px; }

h1 {
  margin-bottom: 10px;
  font-family: var(--mono);
  font-weight: 600;
  font-size: 1.4rem;
  color: var(--text);
  letter-spacing: -0.01em;
}

h1 span { color: var(--accent); }

h2 {
  font-family: var(--mono);
  font-size: 0.95rem;
  font-weight: 600;
  color: var(--accent);
  margin-bottom: 1rem;
  margin-top: 2rem;
  padding-bottom: 0.6rem;
  border-bottom: 1px solid var(--border);
}

main h2:first-child { margin-top: 0; }

nav {
  margin-bottom: 30px;
  border-top: 1px solid var(--border);
  border-bottom: 1px solid var(--border);
  padding: 0;
  display: flex;
  flex-wrap: wrap;
}

nav a {
  display: block;
  padding: 8px 14px;
  font-family: var(--mono);
  font-size: 0.8rem;
  text-decoration: none;
  color: var(--muted);
  border-right: 1px solid var(--border);
  transition: color 0.15s, background 0.15s;
  letter-spacing: 0.02em;
}

nav a:first-child { border-left: 1px solid var(--border); }

nav a:hover {
  color: var(--text);
  background: var(--accent-dim);
  text-decoration: none;
}

main { margin-bottom: 40px; }

main p { margin-bottom: 0.9rem; font-size: 1rem; }
main p:last-child { margin-bottom: 0; }

main ul { margin: 0 0 0.9rem 1.4rem; }
main li { margin-bottom: 0.35rem; }

.downloads {
  list-style: none;
  margin: 0 0 1rem 0;
  padding: 0;
}

.downloads li { margin-bottom: 0.8rem; }

.downloads a {
  display: inline-block;
  font-family: var(--mono);
  font-size: 0.9rem;
  color: var(--accent);
  text-decoration: none;
  padding: 10px 16px;
  border: 1px solid var(--border);
  transition: color 0.15s, background 0.15s, border-color 0.15s;
}

.downloads a:hover {
  background: var(--accent-dim);
  border-color: var(--accent);
}

.downloads .note {
  display: block;
  font-family: var(--sans);
  font-size: 0.85rem;
  color: var(--muted);
  margin-top: 0.3rem;
}

footer {
  border-top: 1px solid var(--border);
  padding-top: 15px;
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--muted);
}

footer ul {
  list-style: none;
  padding: 0;
  margin-bottom: 15px;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1.25rem;
}

footer li { display: inline; }

footer a {
  color: var(--muted);
  text-decoration: none;
  transition: color 0.15s;
}

footer a:hover { color: var(--accent); text-decoration: none; }

footer p { margin-bottom: 0.5rem; }