/* Plain text, a readable measure, and native links. */
:root {
  color-scheme: light;
  --paper: #fff;
  --ink: #222;
  --muted: #666;
  --link: #222;
  --rule: #ddd;
  --wash: #f4f4f4;
  --serif: Georgia, 'Times New Roman', serif;
  --mono: ui-monospace, SFMono-Regular, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --paper: #1c1e1c; --ink: #e7e7de; --muted: #adb2a8;
    --link: #e7e7de; --rule: #3d423a; --wash: #272b26;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --paper: #1c1e1c; --ink: #e7e7de; --muted: #adb2a8;
  --link: #e7e7de; --rule: #3d423a; --wash: #272b26;
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 1.125rem/1.65 var(--serif); }
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: .15em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid currentColor; outline-offset: 4px; }
[hidden] { display: none !important; }
.site-shell { width: min(100% - 3rem, 38rem); margin: 3rem auto; }
.site-header { display: flex; align-items: center; justify-content: space-between; gap: 1rem; margin-bottom: 2.5rem; }
.site-name { margin: 0; font-size: 1.375rem; font-weight: normal; line-height: 1.4; }
.site-header nav { display: flex; gap: 1rem; font-size: 1rem; }
.site-header a { display: inline-flex; align-items: center; min-height: 44px; }
main { min-width: 0; }
main:focus { outline: none; }
.skip-link { position: absolute; top: -6rem; left: 1.5rem; padding: .5rem 1rem; background: var(--paper); }
.skip-link:focus { top: 1rem; }
h1, h2, h3, h4, h5, h6 { line-height: 1.3; }
h1 { margin: 0 0 1rem; font-size: 1.75rem; }
h2 { font-size: 1.375rem; }
h3 { font-size: 1.125rem; }
h4, h5, h6 { font-size: 1rem; }
p, ul, ol, dl, pre, blockquote, table, figure { margin: 0 0 1.5rem; }
p, li, dd, h1, h2, h3, h4 { overflow-wrap: break-word; }
.article-list { list-style: none; padding: 0; margin: 0; }
.article-list li { margin-bottom: 1.5rem; }
.article-list h2 { margin: 0 0 .25rem; font-size: 1.125rem; font-weight: normal; }
time, .back-link { color: var(--muted); font-size: .875rem; }
.back-link { display: inline-block; margin-bottom: 1.5rem; }
.post-header, .page-header { margin-bottom: 2rem; }
.prose h2, .prose h3, .prose h4 { margin: 2rem 0 1rem; }
.prose li + li { margin-top: .5rem; }
.prose li > ul, .prose li > ol { margin-block: .5rem; }
.prose ul, .prose ol { padding-left: 1.5rem; }
.prose blockquote { margin-left: 0; padding-left: 1rem; border-left: 2px solid var(--rule); color: var(--muted); }
.prose blockquote p:last-child { margin: 0; }
hr { border: 0; border-top: 1px solid var(--rule); margin-block: 2rem; }
code, pre { font-family: var(--mono); font-size: .85em; }
code { background: var(--wash); padding: .15em .3em; }
pre { background: var(--wash); padding: 1rem; overflow-x: auto; line-height: 1.65; tab-size: 4; }
pre code { background: transparent; padding: 0; font-size: 1em; }
.highlight pre { margin-bottom: 1.5rem; }
/* Legacy unlabelled fences contain prose, not source code. */
.language-plaintext pre, pre.language-plaintext { white-space: pre-wrap; overflow-wrap: anywhere; font: inherit; background: transparent; padding: 0; }
.language-plaintext code { font: inherit; }
img, video { max-width: 100%; height: auto; }
.prose img { display: block; margin-block: 2rem; }
iframe { display: block; max-width: 100%; border: 0; margin-block: 2rem; }
.giphy-embed { width: min(100%, 480px); height: auto; aspect-ratio: 480 / 270; }
.giphy-embed[height="480"] { aspect-ratio: 1; }
figcaption { color: var(--muted); font-size: .875rem; }
.table-scroll { overflow-x: auto; margin-bottom: 1.5rem; }
table { border-collapse: collapse; width: 100%; font-size: 1rem; }
.table-scroll table { margin-bottom: 0; }
th, td { padding: .75rem; border-bottom: 1px solid var(--rule); text-align: left; }
th { background: var(--wash); }
.next-reading { margin-top: 3rem; }
.next-reading h2 { font-size: 1rem; font-weight: normal; }
.next-reading a { display: block; margin-bottom: .75rem; }
.site-footer { margin-top: 3rem; font-size: .875rem; }
.footer-links { display: flex; flex-wrap: wrap; gap: 0 1rem; }
.footer-links a { display: inline-flex; align-items: center; min-height: 44px; }
.site-footer a, .theme-toggle { color: var(--muted); }
.theme-toggle { min-height: 44px; border: 0; background: transparent; padding: 0; font: inherit; text-decoration: underline; text-underline-offset: .15em; cursor: pointer; }
.paper-section { margin-top: 2rem; }
.paper-card { padding-block: 1rem; }
.paper-card-header { display: flex; align-items: baseline; gap: 1rem; justify-content: space-between; }
.prose .paper-title { margin: 0 0 .5rem; font-size: 1.125rem; }
.paper-year, .paper-meta, .paper-venue { font-size: .875rem; color: var(--muted); }
.paper-meta { margin-bottom: .75rem; }
.paper-desc { font-size: 1rem; margin-bottom: .75rem; }
@media (max-width: 36rem) {
  .site-shell { width: calc(100% - 2.5rem); margin-block: 1.5rem; }
  .site-header { flex-wrap: wrap; gap: .5rem 1rem; margin-bottom: 2rem; }
}
@media print {
  :root { --paper: white; --ink: black; --muted: #444; --link: black; }
  .site-header, .site-footer, .skip-link, .back-link, .next-reading { display: none; }
  .site-shell { width: 100%; }
  pre { white-space: pre-wrap; }
}