:root {
  --text: #1b1b1b;
  --muted: #6b6b6b;
  --rule: #e4e2dd;
  --link: #1b1b1b;
  --accent: #2b4c7e;
  --paper: #fdfcf9;
  --measure: 38rem;
}

* { box-sizing: border-box; }

html { font-size: 19px; }

body {
  margin: 0;
  background: var(--paper);
  color: var(--text);
  font-family: "Computer Modern Serif", "Latin Modern Roman", Georgia, serif;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}

header, main, footer {
  max-width: var(--measure);
  margin: 0 auto;
  padding: 0 1.25rem;
}

header {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: baseline;
  gap: 0.5rem 1.5rem;
  padding-top: 2.2rem;
  padding-bottom: 0.6rem;
  border-bottom: 1px solid var(--rule);
  font-size: 0.9rem;
}

header .home { font-variant: small-caps; letter-spacing: 0.04em; text-decoration: none; }
header nav { display: flex; gap: 1.2rem; }
header a { color: var(--muted); text-decoration: none; }
header a:hover, header a[aria-current] { color: var(--text); }

main { padding-top: 2.4rem; padding-bottom: 3rem; }

h1, h2, h3 { font-weight: normal; line-height: 1.25; }
h1 { font-size: 2rem; margin: 0 0 0.4rem; }
h2 { font-size: 1.15rem; font-variant: small-caps; letter-spacing: 0.05em; margin: 2.6rem 0 0.8rem; }
h3 { font-size: 1rem; font-weight: bold; margin: 2rem 0 0.4rem; }

p { margin: 0 0 1rem; hyphens: auto; }

a { color: var(--link); text-decoration-color: #b9b6ae; text-underline-offset: 0.18em; }
a:hover { color: var(--accent); text-decoration-color: currentColor; }

.subtitle { font-style: italic; color: var(--muted); margin-bottom: 1.6rem; }

.links { font-size: 0.92rem; margin: 0 0 2rem; }
.links a { margin-right: 0.15rem; }
.links .sep { color: var(--rule); margin: 0 0.35rem; }

figure { margin: 2rem 0 2.2rem; text-align: center; }
figure svg { width: 18rem; max-width: 100%; height: auto; }
figcaption { font-size: 0.85rem; color: var(--muted); margin-top: 0.4rem; }

.status { font-size: 0.92rem; color: var(--muted); }

blockquote {
  margin: 0.5rem 0 1rem;
  padding: 0 0 0 1rem;
  border-left: 1px solid var(--text);
  font-style: italic;
}
blockquote p { margin: 0; }

details { margin: 0.2rem 0 1.4rem; }
summary { cursor: pointer; color: var(--muted); font-size: 0.92rem; }

code, pre { font-family: "CMU Typewriter Text", ui-monospace, Menlo, monospace; font-size: 0.82rem; }
pre { padding: 0.8rem 0; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); overflow-x: auto; }

table { width: 100%; border-collapse: collapse; font-size: 0.9rem; margin: 1rem 0 1.4rem; }
th, td { text-align: left; vertical-align: top; padding: 0.35rem 0.6rem 0.35rem 0; border-bottom: 1px solid var(--rule); }
th { font-weight: normal; font-variant: small-caps; letter-spacing: 0.04em; }

ol, ul { padding-left: 1.3rem; }
li { margin-bottom: 0.3rem; }

.katex { font-size: 1.05em; }

footer {
  padding-top: 1rem;
  padding-bottom: 3rem;
  border-top: 1px solid var(--rule);
  font-size: 0.85rem;
  color: var(--muted);
}
footer a { color: var(--muted); }