@font-face {
  font-family: "ET Book";
  src: url("assets/fonts/et-book-roman.woff") format("woff");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "ET Book";
  src: url("assets/fonts/et-book-bold.woff") format("woff");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}

@font-face {
  font-family: "ET Book";
  src: url("assets/fonts/et-book-italic.woff") format("woff");
  font-style: italic;
  font-weight: 400;
  font-display: swap;
}

:root {
  color-scheme: light;
  --ink: #303631;
  --muted: #69736c;
  --line: #dfe5df;
  --accent: #38624c;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 24px; }
body {
  margin: 0;
  background: #fff;
  color: var(--ink);
  font-family: "ET Book", Georgia, serif;
  font-size: 21px;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--accent); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: #1c4630; }
a:focus-visible, summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 5px; }
.skip-link { position: absolute; left: 16px; top: -100px; background: #fff; padding: 8px; }
.skip-link:focus { top: 12px; }
.site-header, .site-footer { width: min(100% - 48px, 1000px); margin: 0 auto; }
.site-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 28px 0;
  border-bottom: 1px solid var(--line);
  font-size: 18px;
}
.site-name { color: var(--ink); text-decoration: none; }
.site-nav { display: flex; gap: 24px; }
.site-nav a { text-decoration: none; }
.site-nav a[aria-current="page"] { text-decoration: underline; }
main { width: min(100% - 48px, 760px); margin: 66px auto 96px; }
h1, h2, h3 { font-weight: 400; line-height: 1.18; text-wrap: balance; }
h1 { margin: 0 0 22px; font-size: clamp(36px, 5vw, 52px); letter-spacing: -.02em; }
h2 { margin: 2.1em 0 .65em; font-size: 32px; }
h3 { margin: 1.7em 0 .65em; font-size: 25px; }
p { margin: 0 0 1.2em; }
.eyebrow { margin: 0 0 16px; color: var(--accent); font-size: 17px; }
.post-meta { color: var(--muted); font-size: 17px; }
.post-meta .separator { margin: 0 8px; }
.post-header { margin-bottom: 42px; }
.post-header .post-meta { margin-bottom: 12px; }
.post-tools { display: flex; flex-wrap: wrap; gap: 20px; font-size: 16px; }
.toc { margin: 0 0 38px; padding: 15px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 18px; }
.toc summary { cursor: pointer; color: var(--muted); }
.toc ol { margin: 14px 0 2px; padding-left: 24px; }
.toc li { margin-bottom: 5px; }
.toc-drawer { display: none; }
.post { min-width: 0; }
.article-body { overflow-wrap: anywhere; }
.article-body blockquote { margin: 24px 0; padding: 0 0 0 24px; border-left: 2px solid #afc3b6; color: #46584b; }
.article-body figure { margin: 36px 0 28px; }
.article-body img { display: block; width: 100%; height: auto; }
.article-body figure a { display: block; }
.article-body figcaption { margin-top: 14px; color: var(--muted); font-size: 17px; line-height: 1.45; }
.article-body figcaption em { font-style: normal; }
.article-body code { font-family: "SFMono-Regular", Consolas, monospace; font-size: .73em; background: #f3f5f1; padding: .12em .28em; }
.article-body pre { margin: 26px 0; padding: 20px; background: #f3f5f1; overflow-x: auto; border-radius: 3px; line-height: 1.7; }
.article-body pre code { background: none; padding: 0; white-space: pre; }
.math-display {
  max-width: 100%;
  margin: 28px 0;
  padding: 8px 2px;
  overflow-x: auto;
  overflow-y: hidden;
  overscroll-behavior-x: contain;
}
.math-display .katex-display { margin: 0; text-align: left; }
.math-display .katex-display > .katex { text-align: left; }
.article-body .katex { font-size: 1.05em; overflow-wrap: normal; }
.math-inline { overflow-wrap: normal; }
.math-inline .katex { white-space: nowrap; }
.math-display:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
.table-scroll { overflow-x: auto; margin: 24px 0; }
table { width: 100%; border-collapse: collapse; font-size: 18px; }
th, td { text-align: left; padding: 10px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { background: #f3f5f1; }
th:first-child, td:first-child { padding-left: 0; }
.post-list { margin-top: 46px; }
.post-card { border-top: 1px solid var(--line); padding: 30px 0; }
.post-card h2 { font-size: 31px; margin: 10px 0 14px; }
.post-card h2 a { color: var(--ink); text-decoration: none; }
.post-card h2 a:hover { color: var(--accent); }
.post-card p { margin-bottom: 14px; }
.post-card .post-meta { margin-bottom: 6px; }
.read-link { font-size: 18px; }
.site-footer { padding: 24px 0 36px; border-top: 1px solid var(--line); color: var(--muted); font-size: 16px; }
.site-footer p { margin: 0; }
@media (min-width: 1100px) {
  .article-body figure { width: 920px; margin-left: -80px; }
}
@media (min-width: 1200px) {
  .article-page {
    width: 760px;
    margin-left: auto;
    margin-right: auto;
  }
  .toc-enhanced .article-page .toc { display: none; }
  .toc-enhanced .toc-drawer {
    display: block;
    position: fixed;
    left: 0;
    top: 112px;
    bottom: 24px;
    width: 32px;
    z-index: 10;
  }
  .toc-drawer.is-open { width: 292px; }
  .toc-toggle {
    position: absolute;
    top: 0;
    left: 0;
    width: 32px;
    padding: 14px 7px;
    border: 1px solid var(--line);
    border-left: 0;
    border-radius: 0 4px 4px 0;
    background: #fff;
    color: var(--muted);
    font: 16px "ET Book", Georgia, serif;
    writing-mode: vertical-rl;
    cursor: pointer;
    transition: left .18s ease;
  }
  .toc-toggle:hover, .toc-toggle[aria-expanded="true"] { color: var(--accent); }
  .toc-toggle:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
  .toc-drawer.is-open .toc-toggle { left: 260px; }
  .toc-sidebar {
    display: block;
    position: absolute;
    left: 0;
    top: 0;
    width: 260px;
    max-height: 100%;
    padding: 18px 12px 18px 18px;
    overflow-y: auto;
    overscroll-behavior-y: contain;
    scrollbar-width: thin;
    scrollbar-color: var(--line) transparent;
    background: #fff;
    border: 1px solid var(--line);
    border-left: 0;
    box-shadow: 4px 6px 20px rgb(48 54 49 / 8%);
    opacity: 0;
    visibility: hidden;
    transform: translateX(-100%);
    transition: transform .18s ease, opacity .18s ease, visibility .18s;
    font-size: 17px;
    line-height: 1.25;
  }
  .toc-drawer.is-open .toc-sidebar { opacity: 1; visibility: visible; transform: translateX(0); }
  .toc-sidebar a {
    position: relative;
    display: block;
    padding: 10px 12px 10px 18px;
    color: var(--muted);
    text-decoration: none;
  }
  .toc-sidebar .toc-title {
    margin-bottom: 18px;
    padding-top: 1px;
    font-size: 18px;
    font-variant: small-caps;
    letter-spacing: .025em;
  }
  .toc-sidebar ol { list-style: none; margin: 0; padding: 0 0 2px; }
  .toc-sidebar li { margin: 0 0 8px; padding: 0; }
  .toc-sidebar a:hover, .toc-sidebar a[aria-current="location"] { color: var(--ink); }
  .toc-sidebar a[aria-current="location"]::before {
    content: "";
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    width: 2px;
    background: var(--accent);
  }
  .toc-sidebar a:focus-visible { outline-offset: -3px; }
  .article-page .article-body figure { width: 920px; margin-left: -80px; }
}
@media (max-width: 600px) {
  body { font-size: 20px; }
  .site-header, .site-footer, main { width: calc(100% - 36px); }
  .site-header { padding: 20px 0; }
  .site-nav { gap: 18px; }
  main { margin-top: 40px; margin-bottom: 64px; }
  h1 { font-size: 37px; }
  h2 { font-size: 29px; }
  .post-header { margin-bottom: 30px; }
  .article-body pre { padding: 14px; }
  table { font-size: 16px; min-width: 420px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .toc-toggle, .toc-sidebar { transition: none; }
}
@media print {
  .site-header, .site-footer, .toc, .toc-drawer, .post-tools, .skip-link { display: none; }
  main, .article-page { display: block; width: 100%; margin: 0; }
  body { font-size: 12pt; }
  h1 { font-size: 26pt; }
  .article-body figure, .article-page .article-body figure { width: 100%; margin: 20px 0; break-inside: avoid; }
  .article-body pre { white-space: pre-wrap; }
}
