:root {
  --ink: #252525;
  --muted: #717171;
  --line: #e5e5e5;
  --link: #285777;
}
* { box-sizing: border-box; }
body {
  margin: 0;
  background: #fff;
  color: var(--ink);
  font-family: Georgia, 'Times New Roman', serif;
  font-size: 18px;
  line-height: 1.65;
}
a { color: var(--link); text-underline-offset: 3px; }
a:hover { text-decoration: underline; }
a:focus-visible { outline: 2px solid var(--link); outline-offset: 4px; }
.site-header, main, footer { width: min(100% - 48px, 740px); margin-inline: auto; }
.site-header { padding: 56px 0 22px; border-bottom: 1px solid var(--line); }
.wordmark { color: var(--ink); font-size: 34px; line-height: 1.2; text-decoration: none; }
.site-header nav { display: flex; gap: 22px; margin-top: 15px; }
.site-header nav, .meta, .back, footer, .post-list time, .post-nav span {
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
  font-size: 13px;
}
.site-header nav a { color: var(--muted); text-decoration: none; }
.site-header nav a:hover { color: var(--ink); text-decoration: underline; }
.archive { padding: 25px 0 52px; }
.year { margin-top: 30px; }
.year h2 { font-size: 22px; font-weight: normal; margin: 0 0 12px; }
.post-list { list-style: none; padding: 0; margin: 0; }
.post-list li { display: grid; grid-template-columns: 62px minmax(0, 1fr); gap: 16px; margin: 0 0 13px; line-height: 1.5; }
.post-list time { color: var(--muted); padding-top: 4px; font-variant-numeric: tabular-nums; }
.post-list a { text-decoration: none; }
.post-list a:hover { text-decoration: underline; }
footer { border-top: 1px solid var(--line); padding: 20px 0 35px; color: var(--muted); font-size: 12px; }
footer div { display: flex; gap: 18px; margin-top: 5px; }
footer a { color: var(--muted); }
.article { padding: 28px 0 50px; }
.back { color: var(--muted); text-decoration: none; }
.article-header { margin-bottom: 32px; }
.article-header h1 { font-size: clamp(28px, 4vw, 36px); font-weight: normal; line-height: 1.25; margin: 24px 0 14px; }
.meta { color: var(--muted); margin: 0; }
.meta span { margin: 0 6px; }
.prose { overflow-wrap: break-word; }
.prose p { margin: 0 0 1.2em; }
.prose h1, .prose h2, .prose h3 { line-height: 1.3; margin: 1.6em 0 .7em; font-weight: normal; }
.prose h1, .prose h2 { font-size: 27px; }
.prose h3 { font-size: 23px; }
.prose li { margin-bottom: .5em; }
.prose ul, .prose ol { padding-left: 1.5em; }
.prose blockquote { margin: 1.5em 0; border-left: 2px solid var(--line); padding-left: 22px; color: #555; }
.prose img { max-width: 100%; height: auto; }
.prose img.latex { vertical-align: middle; }
.prose figure { margin: 1.5em 0; max-width: 100%; }
.prose figcaption { font-size: 14px; color: var(--muted); margin-top: 8px; }
.prose iframe { max-width: 100%; }
.prose table { display: block; max-width: 100%; overflow-x: auto; border-collapse: collapse; }
.prose td, .prose th { border: 1px solid var(--line); padding: 8px; }
.prose pre { overflow-x: auto; background: #f6f6f6; padding: 16px; font-size: 14px; }
.post-nav { display: flex; justify-content: space-between; gap: 30px; border-top: 1px solid var(--line); margin-top: 40px; padding-top: 20px; }
.post-nav a { max-width: 48%; font-size: 16px; text-decoration: none; }
.post-nav span { display: block; color: var(--muted); margin-bottom: 5px; }
.intro { padding: 35px 0 60px; }
.intro h1 { font-size: 30px; font-weight: normal; }
.skip { position: absolute; left: 20px; top: -100px; padding: 12px; background: white; }
.skip:focus { top: 10px; }
@media (max-width: 520px) {
  .site-header, main, footer { width: calc(100% - 36px); }
  .site-header { padding-top: 30px; }
  .wordmark { font-size: 30px; }
  .post-list li { grid-template-columns: 48px minmax(0, 1fr); gap: 12px; }
  .post-list time { font-size: 12px; }
  .post-nav { flex-direction: column; gap: 18px; }
  .post-nav a { max-width: 100%; }
}