:root {
  --ink: #1a1a1a;
  --muted: #5a5553;
  --red: #b00000;
  --bg: #fffefc;
  --line: #e0dcda;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  color: var(--ink);
  background: var(--bg);
  line-height: 1.55;
  font-size: 1.05rem;
}
header, main, footer { max-width: 42rem; margin: 0 auto; padding: 1.25rem 1.25rem 0; }
header { padding-top: 1.5rem; }
header a.brand {
  color: var(--red);
  text-decoration: none;
  font-weight: 700;
  font-size: 1.15rem;
  font-family: system-ui, sans-serif;
}
nav {
  margin: 0.75rem 0 0;
  font-family: system-ui, sans-serif;
  font-size: 0.92rem;
}
nav a { color: var(--red); margin-right: 0.85rem; }
h1 { font-size: 1.7rem; margin: 1.2rem 0 0.4rem; }
h2 { font-size: 1.2rem; margin: 1.4rem 0 0.4rem; }
p, li { color: var(--ink); }
.muted, footer { color: var(--muted); font-size: 0.95rem; }
footer { padding: 2rem 1.25rem 3rem; border-top: 1px solid var(--line); margin-top: 2rem; }
code { font-size: 0.9em; }
ul, ol { padding-left: 1.25rem; }