:root {
  --bg: #ffffff;
  --fg: #16171a;
  --muted: #5f6368;
  --rule: #e3e3e3;
  --code-bg: #f5f5f4;
  --link: #1a4fb5;
  --serif: Charter, "Bitstream Charter", "Iowan Old Style", "Sitka Text", Cambria, Georgia, serif;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #101113;
    --fg: #e4e4e2;
    --muted: #9a9ca1;
    --rule: #2a2b2f;
    --code-bg: #18191c;
    --link: #8fb4f5;
  }
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0 auto;
  max-width: 42rem;
  padding: 3rem 1.25rem 4rem;
  background: var(--bg);
  color: var(--fg);
  font: 18px/1.6 var(--serif);
}

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 0.15em; }

header.site { display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: 0.4rem 1.5rem; margin-bottom: 3.5rem; font-family: var(--sans); }
header.site .brand { font-weight: 600; font-size: 1rem; color: var(--fg); }
header.site nav { display: flex; flex-wrap: wrap; gap: 1.25rem; font-size: 0.9rem; }
header.site nav a { color: var(--muted); }
header.site nav a:hover { color: var(--fg); text-decoration: none; }

h1, h2, h3 { font-family: var(--sans); line-height: 1.25; letter-spacing: -0.01em; }
h1 { font-size: 1.85rem; font-weight: 650; margin: 0 0 0.5rem; }
h2 { font-size: 1.2rem; font-weight: 600; margin: 2.4rem 0 0.7rem; }
h3 { font-size: 1.02rem; font-weight: 600; margin: 1.8rem 0 0.5rem; }

p, ul, ol, table, pre, details, blockquote { margin: 0 0 1.1rem; }
li { margin: 0.2rem 0; }
strong { font-weight: 650; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 2.5rem 0; }

.intro { margin-bottom: 2.5rem; }
.intro p { margin: 0 0 0.8rem; }

ul.posts { list-style: none; padding: 0; margin: 0; }
ul.posts li { display: grid; grid-template-columns: 6.5rem 1fr; gap: 0 1rem; padding: 0.55rem 0; margin: 0; }
ul.posts time { font: 0.85rem/1.9 var(--mono); color: var(--muted); }
ul.posts a { color: var(--fg); }
ul.posts a:hover { color: var(--link); text-decoration: none; }
ul.posts p { grid-column: 2; margin: 0.15rem 0 0; color: var(--muted); font-size: 0.95rem; }
ul.posts .empty { display: block; color: var(--muted); }
@media (max-width: 520px) { ul.posts li { grid-template-columns: 1fr; } ul.posts p { grid-column: 1; } }

header.post { margin-bottom: 2rem; }
.meta { font: 0.88rem/1.5 var(--sans); color: var(--muted); margin: 0; }
.abstract { margin: 1.5rem 0 0; padding: 0 0 0 1rem; border-left: 2px solid var(--rule); color: var(--fg); font-style: italic; }

details.toc { font-family: var(--sans); font-size: 0.92rem; margin-bottom: 2rem; }
details.toc summary { cursor: pointer; color: var(--muted); }
details.toc ul { margin: 0.5rem 0 0; padding-left: 1.1rem; }

code, pre { font-family: var(--mono); font-variant-ligatures: none; }
code { font-size: 0.82em; background: var(--code-bg); padding: 0.1em 0.3em; border-radius: 3px; overflow-wrap: anywhere; }
pre { background: var(--code-bg); border-radius: 4px; padding: 0.85rem 1rem; overflow-x: auto; font-size: 0.8rem; line-height: 1.55; }
pre code { background: none; padding: 0; font-size: inherit; overflow-wrap: normal; white-space: pre; }

table { display: block; overflow-x: auto; border-collapse: collapse; font: 0.88rem/1.45 var(--sans); width: 100%; }
th, td { text-align: left; padding: 0.45rem 0.9rem 0.45rem 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
th { font-weight: 600; border-bottom-color: var(--fg); }
td code { font-size: 0.78rem; word-break: break-all; background: none; padding: 0; }

blockquote { padding-left: 1rem; border-left: 2px solid var(--rule); color: var(--muted); }

section.cite { margin-top: 3rem; padding-top: 1rem; border-top: 1px solid var(--rule); font: 0.88rem/1.5 var(--sans); color: var(--muted); }
section.cite h2 { font-size: 0.88rem; margin: 0 0 0.5rem; color: var(--fg); }
section.cite code { background: none; padding: 0; font-size: 0.82rem; }

footer.site { margin-top: 4.5rem; font: 0.85rem/1.6 var(--sans); color: var(--muted); }
footer.site a { color: var(--muted); }

@media (max-width: 520px) {
  body { font-size: 17px; padding-top: 1.75rem; }
  h1 { font-size: 1.55rem; }
  header.site { margin-bottom: 2.5rem; }
}