@font-face {
  font-family: "Source Serif 4";
  font-style: italic;
  font-weight: 400 700;
  font-display: swap;
  src: url("fonts/source-serif-4-italic-latin-ext.woff2") format("woff2");
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: "Source Serif 4";
  font-style: italic;
  font-weight: 400 700;
  font-display: swap;
  src: url("fonts/source-serif-4-italic-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Source Serif 4";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("fonts/source-serif-4-roman-latin-ext.woff2") format("woff2");
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: "Source Serif 4";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("fonts/source-serif-4-roman-latin.woff2") format("woff2");
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
:root {
  color-scheme: light dark;
  --background: #fff;
  --text: #252525;
  --muted: #636363;
  --line: #dedede;
  --link: #284f7b;
  --code: #f3f3f3;
  font-family: "Source Serif 4", Georgia, "Times New Roman", serif;
  font-size: 18px;
  line-height: 1.7;
}
@media (prefers-color-scheme: dark) {
  :root { --background: #171717; --text: #e1e1e1; --muted: #aaa; --line: #3a3a3a; --link: #a9c8eb; --code: #262626; }
}
*, *::before, *::after { box-sizing: border-box; }
body { max-width: 740px; margin: 0 auto; padding: 0 24px; color: var(--text); background: var(--background); overflow-wrap: break-word; }
a { color: var(--link); text-underline-offset: .18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 4px; }
#main:focus { outline: none; }
h1, h2, h3 { line-height: 1.3; font-weight: 600; }
h1 { font-size: 1.75rem; letter-spacing: -.025em; margin: 0 0 .55rem; }
h2 { font-size: 1.3rem; margin-top: 2rem; }
h3 { font-size: 1.1rem; margin-top: 1.8rem; }
p { margin: 1rem 0; }
.site-header { display: flex; align-items: baseline; justify-content: space-between; gap: 1rem; flex-wrap: wrap; margin: 3rem 0 3.3rem; }
.site-header a { color: var(--text); text-decoration: none; }
.site-header a:hover, .site-header a[aria-current] { text-decoration: underline; }
.site-name { font-size: 1rem; font-weight: 600; letter-spacing: -.02em; }
.site-header nav { display: flex; gap: 1.2rem; font-size: .8rem; }
.page-heading { margin-bottom: 2.1rem; }
.page-heading > p { font-size: .88rem; color: var(--muted); margin: .7rem 0 0; }
.entries { list-style: none; padding: 0; margin: 0; }
.entry { display: grid; grid-template-columns: 105px minmax(0, 1fr); gap: 1rem; margin-bottom: 1.9rem; }
.entry time { font-size: .72rem; color: var(--muted); line-height: 1.6; padding-top: .22rem; white-space: nowrap; }
.entry h2 { font-size: 1.12rem; font-weight: 400; margin: 0; }
.entry h2 a { color: var(--text); text-decoration: none; }
.entry h2 a:hover { text-decoration: underline; }
.entry p { font-size: .8rem; line-height: 1.6; color: var(--muted); margin: .4rem 0 0; }
.article-heading { margin-bottom: 1.6rem; }
.article-heading h1 { font-size: clamp(1.7rem, 4vw, 2.1rem); }
.article-heading .article-subtitle { font-size: 1.05rem; line-height: 1.5; margin-block: .7rem 1rem; }
.article-meta { display: flex; flex-wrap: wrap; gap: .4rem 1rem; }
.contents { font-size: .8rem; margin: 0 0 1.8rem; }
.contents summary { cursor: pointer; color: var(--muted); width: fit-content; }
.contents ol { padding-left: 1.3rem; }
.contents li { margin: .35rem 0; }
.prose > :first-child { margin-top: 0; }
.prose p, .prose ul, .prose ol { margin-block: 1.25rem; }
.prose li { margin-block: .4rem; }
.prose blockquote { margin: 1.5rem 0; padding-left: 1.2rem; border-left: 2px solid var(--line); color: var(--muted); font-style: italic; }
.prose q { font-style: italic; }
.prose hr { border: 0; border-top: 1px solid var(--line); margin: 2rem 0; }
.prose img { display: block; max-width: 100%; height: auto; margin: 1.5rem auto; }
.prose code { background: var(--code); padding: .1em .25em; font: .8em/1.6 ui-monospace, "SFMono-Regular", Consolas, monospace; }
.prose pre { overflow-x: auto; max-width: 100%; padding: 1rem; margin: 1.5rem 0; font-size: .78rem; background: #161b22; color: #e6edf3; }
.prose pre code { padding: 0; font-size: inherit; background: transparent; }
.giallo-l { display: inline-block; min-height: 1lh; width: 100%; }
.prose table { display: block; max-width: 100%; overflow-x: auto; border-collapse: collapse; }
.prose th, .prose td { border-bottom: 1px solid var(--line); padding: .45rem .75rem; text-align: left; }
.math-block { max-width: 100%; overflow-x: auto; padding: .7rem .2rem; margin: 1.5rem 0; }
.math-block math { min-width: min-content; margin: 0; }
.math-inline { white-space: nowrap; }
.footnote-reference { font-size: .7em; line-height: 0; }
.footnotes { border-top: 1px solid var(--line); margin-top: 2.5rem; padding-top: .5rem; font-size: .85rem; line-height: 1.6; }
.footnotes-list { padding-left: 1.4rem; }
.footnotes p { margin-block: .65rem; }
:target { scroll-margin-top: 1rem; }
.back-link { margin-top: 2.5rem; font-size: .8rem; }
.topics { list-style: none; padding: 0; font-size: .9rem; }
.topics li { margin-bottom: .7rem; }
.topics span { font-size: .75rem; color: var(--muted); margin-left: .5rem; }
.site-footer { display: flex; gap: 1.2rem; border-top: 1px solid var(--line); padding: 1.1rem 0 2rem; margin-top: 3.5rem; font-size: .72rem; }
.site-footer a { color: var(--muted); }
.skip-link { position: absolute; left: 1rem; top: -5rem; padding: .4rem .7rem; background: var(--background); }
.skip-link:focus { top: .5rem; }
@media (max-width: 520px) {
  body { padding-inline: 20px; }
  .site-header { margin: 1.8rem 0 2.5rem; gap: .6rem 1rem; }
  .site-header nav { gap: 1rem; }
  .entry { grid-template-columns: minmax(0, 1fr); gap: .2rem; margin-bottom: 1.7rem; }
  .entry time { font-size: .7rem; }
  .entry h2 { font-size: 1.15rem; }
  .entry p { margin-top: .35rem; }
  .page-heading { margin-bottom: 1.8rem; }
  .site-footer { margin-top: 2.5rem; }
}
@media print {
  :root { color-scheme: light; font-size: 11pt; --background: #fff; --text: #000; --muted: #333; --link: #000; }
  body { max-width: none; padding: 0; font-size: inherit; }
  .site-header, .site-footer, .contents, .back-link { display: none; }
  .prose pre { white-space: pre-wrap; background: #f3f3f3; color: #000; }
  h2, h3 { break-after: avoid; }
  pre, .math-block { break-inside: avoid; }
}