:root { --fg: #1d1f21; --muted: #5f6368; --bg: #fdfdfc; --link: #1a5fb4; --rule: #e3e3e0; }
@media (prefers-color-scheme: dark) {
  :root { --fg: #e6e6e3; --muted: #a0a4a8; --bg: #1b1c1e; --link: #8ab4f8; --rule: #33353a; }
}
* { box-sizing: border-box; }
html { font-size: 17px; }
body { margin: 0; color: var(--fg); background: var(--bg);
  font-family: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif; line-height: 1.6; }
header.site, main, footer { max-width: 46rem; margin: 0 auto; padding: 0 1.25rem; }
header.site { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline;
  gap: .5rem 1.5rem; padding-top: 1.25rem; padding-bottom: .75rem; border-bottom: 1px solid var(--rule);
  font-family: system-ui, sans-serif; font-size: .9rem; }
header.site .name { font-weight: 600; color: var(--fg); text-decoration: none; }
header.site nav a { margin-left: 1.1rem; }
header.site nav a:first-child { margin-left: 0; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
h1 { font-size: 1.9rem; line-height: 1.2; margin: 1.5rem 0 .3rem; }
h2 { font-size: 1.25rem; margin: 2.5rem 0 .75rem; padding-bottom: .25rem; border-bottom: 1px solid var(--rule); }
h3 { font-size: 1.05rem; margin: 1.75rem 0 .5rem; }
main ul { padding-left: 1.2rem; }
main li { margin: .45rem 0; }
.intro { display: flex; gap: 2rem; align-items: flex-start; margin-top: 1.5rem; }
.intro .photo { width: 200px; height: 200px; border-radius: 50%; object-fit: cover; flex: none; margin-top: 1.5rem; }
.intro h1 { margin-top: 1.2rem; }
.intro h1 + p { color: var(--muted); margin-top: 0; }
.links, .more { font-family: system-ui, sans-serif; font-size: .92rem; }
@media (max-width: 640px) {
  .intro { flex-direction: column; align-items: center; gap: 0; }
  .intro .photo { width: 160px; height: 160px; }
}
ul.posts { list-style: none; padding: 0; }
ul.posts li { margin: 0 0 1rem; }
ul.posts .title { font-weight: 600; font-size: 1.05rem; }
ul.posts p { margin: .15rem 0 0; color: var(--muted); }
.date { color: var(--muted); font-size: .9rem; font-family: system-ui, sans-serif; }
article .date { margin-top: 0; }
.origin { font-size: .92rem; color: var(--muted); font-style: italic; }
.math { overflow-x: auto; overflow-y: hidden; }
div.math { margin: 1rem 0; }
span.math { display: block; margin: .8rem 0; }
.katex { font-size: 1.05em; }
footer { margin-top: 4rem; padding-top: 1rem; padding-bottom: 2rem; border-top: 1px solid var(--rule);
  color: var(--muted); font-family: system-ui, sans-serif; font-size: .85rem; }