:root {
  --bg: #0e1117;
  --panel: #161b22;
  --text: #e6edf3;
  --muted: #8b949e;
  --line: #30363d;
  --accent: #58a6ff;
  --ok: #3fb950;
  --warn: #d29922;
  --bad: #f85149;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  background: var(--bg);
  color: var(--text);
  line-height: 1.55;
}
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
header {
  padding: 48px 24px 28px;
  border-bottom: 1px solid var(--line);
  background: radial-gradient(circle at top left, #1f6feb44, transparent 35%), var(--bg);
}
main { max-width: 1120px; margin: 0 auto; padding: 28px 20px 64px; }
.hero { max-width: 1120px; margin: 0 auto; }
.badge {
  display: inline-block;
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 6px 12px;
  color: var(--muted);
  font-size: 0.9rem;
  margin: 4px 6px 4px 0;
}
h1 { font-size: 2.7rem; margin: 0 0 8px; letter-spacing: -0.04em; }
h2 { margin-top: 36px; border-bottom: 1px solid var(--line); padding-bottom: 8px; }
.grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 16px; margin: 22px 0; }
.card {
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 16px;
  padding: 18px;
}
.card h3 { margin-top: 0; }
code, pre {
  background: #0b0f14;
  border: 1px solid var(--line);
  border-radius: 8px;
}
code { padding: 2px 6px; }
pre { padding: 14px; overflow-x: auto; }
table { width: 100%; border-collapse: collapse; margin: 18px 0; }
th, td { border: 1px solid var(--line); padding: 10px; vertical-align: top; }
th { background: #111827; }
.status-proved { color: var(--ok); font-weight: 700; }
.status-candidate { color: var(--warn); font-weight: 700; }
.status-blocked { color: var(--bad); font-weight: 700; }
footer { border-top: 1px solid var(--line); color: var(--muted); padding: 28px 20px; text-align: center; }
nav a { margin-right: 14px; white-space: nowrap; }