:root {
  --ink: #1a1a1a;
  --muted: #555;
  --paper: #f7f4ef;
  --line: #d9d2c5;
  --accent: #0b5f4b;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  background:
    radial-gradient(1200px 500px at 10% -10%, #ebe4d6 0%, transparent 60%),
    linear-gradient(180deg, #faf7f1 0%, var(--paper) 40%, #f3eee5 100%);
  color: var(--ink);
  line-height: 1.55;
  min-height: 100vh;
}
header.site {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  padding: 1.25rem 1.5rem;
  border-bottom: 1px solid var(--line);
  background: rgba(255,255,255,0.45);
}
.brand {
  font-size: 1.35rem;
  font-weight: 700;
  color: var(--ink);
  text-decoration: none;
  letter-spacing: -0.02em;
  display: inline-flex;
  align-items: center;
  gap: 0.6rem;
}
.brand-logo-ia {
  height: 28px;
  width: auto;
  vertical-align: middle;
}
nav { display: flex; flex-wrap: wrap; gap: 0.9rem; }
nav a {
  color: var(--accent);
  text-decoration: none;
  font-size: 0.95rem;
}
nav a:hover { text-decoration: underline; }
main {
  max-width: 42rem;
  margin: 0 auto;
  padding: 2rem 1.5rem 4rem;
}
h1 {
  font-size: 2rem;
  margin: 0 0 1rem;
  letter-spacing: -0.03em;
}
.note { color: var(--muted); font-size: 0.92rem; }
.downloads, .stats { padding-left: 1.2rem; }
.downloads a, main a { color: var(--accent); }
code {
  font-family: ui-monospace, "SF Mono", Menlo, monospace;
  font-size: 0.9em;
  background: rgba(0,0,0,0.05);
  padding: 0.1em 0.35em;
}