@font-face {
  font-family: "Source Serif 4";
  src: url("/fonts/source-serif-4/roman.woff2") format("woff2");
  font-style: normal;
  font-weight: 200 900;
  font-display: swap;
}
@font-face {
  font-family: "Source Serif 4";
  src: url("/fonts/source-serif-4/italic.woff2") format("woff2");
  font-style: italic;
  font-weight: 200 900;
  font-display: swap;
}
:root {
  --paper: #faf7f2;
  --ink: #1a1c18;
  --muted: #666c62;
  --line: #e8e4db;
  --accent: #364a32;
  --code-surface: #f2eee5;
  --code-key: #2c5282;
  --code-string: #3e6837;
  --code-comment: #666e63;
  --code-number: #8c562e;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --mono: ui-monospace, SFMono-Regular, Consolas, monospace;
  --tooth-crest: rgba(255, 255, 255, 0.08);
  --tooth-trough: rgba(45, 38, 28, 0.032);
  --pulp-nodule: rgba(45, 38, 28, 0.020);
  --pulp-dimple: rgba(255, 255, 250, 0.05);
  background: var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  font-synthesis: none;
  font-optical-sizing: auto;
  color-scheme: light;
}
:root[data-theme="dark"] {
  --paper: #161816;
  --ink: #f1efe6;
  --muted: #959d90;
  --line: #2b332b;
  --accent: #b9cca1;
  --code-surface: #1f241f;
  --code-key: #9bc2e6;
  --code-string: #a9c898;
  --code-comment: #8c9688;
  --code-number: #dab188;
  --tooth-crest: rgba(255, 255, 255, 0.03);
  --tooth-trough: rgba(0, 0, 0, 0.085);
  --pulp-nodule: rgba(0, 0, 0, 0.055);
  --pulp-dimple: rgba(255, 255, 255, 0.018);
  color-scheme: dark;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #161816;
    --ink: #f1efe6;
    --muted: #959d90;
    --line: #2b332b;
    --accent: #b9cca1;
    --code-surface: #1f241f;
    --code-key: #9bc2e6;
    --code-string: #a9c898;
    --code-comment: #8c9688;
    --code-number: #dab188;
    --tooth-crest: rgba(255, 255, 255, 0.03);
    --tooth-trough: rgba(0, 0, 0, 0.085);
    --pulp-nodule: rgba(0, 0, 0, 0.055);
    --pulp-dimple: rgba(255, 255, 255, 0.018);
    color-scheme: dark;
  }
}
* { box-sizing: border-box; }
body {
  max-width: 880px;
  margin: auto;
  padding: 0 40px;
  position: relative;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
  font-feature-settings: "kern" 1, "liga" 1, "calt" 1;
}
body::before {
  content: "";
  position: fixed;
  inset: 0;
  z-index: -1;
  pointer-events: none;
  background-image:
    radial-gradient(circle at 30% 25%, var(--tooth-crest) 0.6px, transparent 0.9px),
    radial-gradient(circle at 70% 75%, var(--tooth-trough) 0.6px, transparent 0.9px),
    radial-gradient(ellipse at 45% 40%, var(--pulp-nodule) 1px, transparent 1.6px),
    radial-gradient(ellipse at 80% 30%, var(--tooth-crest) 1px, transparent 1.8px),
    radial-gradient(circle at 20% 80%, var(--pulp-dimple) 1.5px, transparent 2.4px),
    radial-gradient(ellipse at 60% 60%, var(--tooth-trough) 1.2px, transparent 2.2px),
    radial-gradient(circle at 50% 50%, var(--pulp-nodule) 1.8px, transparent 3.5px);
  background-size:
    5px 5px,
    7px 7px,
    11px 11px,
    17px 17px,
    23px 23px,
    31px 31px,
    47px 47px;
}
a { color: inherit; text-underline-offset: 5px; text-decoration-thickness: 1px; }
a:hover { color: var(--accent); }
a:focus-visible, pre:focus-visible, button:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
::selection { background: color-mix(in srgb, var(--accent) 22%, transparent); color: var(--ink); }
.skip { position: absolute; top: 8px; left: 16px; transform: translateY(-200%); padding: 12px; background: var(--paper); }
.skip:focus { transform: none; }
.site-header { display: flex; align-items: center; justify-content: space-between; gap: 24px; min-height: 112px; }
.wordmark { font-size: 17px; font-weight: 600; letter-spacing: -.5px; text-decoration: none; white-space: nowrap; }
.wordmark-dot { color: var(--accent); }
nav { display: flex; gap: 28px; font-size: 13px; }
nav a { display: inline-flex; min-height: 44px; align-items: center; text-decoration: none; }
nav a:hover { text-decoration: underline; }
.theme-control { display: inline-grid; place-items: center; width: 44px; height: 44px; padding: 0; border: 0; background: none; color: var(--muted); cursor: pointer; }
.theme-control[hidden] { display: none; }
.theme-control svg { pointer-events: none; }
.theme-control:hover { color: var(--accent); }
.theme-icon-light, .theme-icon-dark { display: none; }
:root[data-theme="light"] .theme-icon-device, :root[data-theme="dark"] .theme-icon-device { display: none; }
:root[data-theme="light"] .theme-icon-light, :root[data-theme="dark"] .theme-icon-dark { display: inline; }
.intro { padding: 76px 0 64px; }
.intro h1 { margin: 0 0 28px; font-family: "Hiragino Mincho ProN", "Yu Mincho", var(--serif); font-size: clamp(28px, 5vw, 48px); font-weight: 500; letter-spacing: -.04em; line-height: 1.3; }
.intro p { margin: 0; font-size: 15px; line-height: 1.8; color: var(--muted); }
.intro p + p { margin-top: 0; }
.intro-link { display: block; width: fit-content; margin-top: 28px; padding: 4px 0; font-size: 12px; line-height: 1.6; text-decoration-color: var(--line); }
.intro-link + .intro-link { margin-top: 4px; }
.intro-link span { margin-left: 8px; }
.writing { border-top: 1px solid var(--line); scroll-margin-top: 24px; }
.post-list { padding: 0; margin: 0; list-style: none; }
.post-list li { border-bottom: 1px solid var(--line); }
.post-list a { display: grid; grid-template-columns: 1fr auto 12px; gap: 24px; align-items: center; padding: 28px 0; text-decoration: none; }
.post-title { font: 25px/1.3 var(--serif); letter-spacing: -.01em; }
.post-list a:hover .post-title { text-decoration: underline; }
.post-list time { color: var(--muted); font: 11px var(--mono); white-space: nowrap; }
.row-arrow { color: var(--muted); font-size: 14px; }
.archive-link { display: inline-block; margin: 24px 0 0; padding: 12px 0; font-size: 12px; text-decoration-color: var(--line); }
.site-footer { margin-top: 80px; border-top: 1px solid var(--line); padding: 20px 0 32px; display: flex; justify-content: space-between; align-items: baseline; gap: 16px; color: var(--muted); font-size: 11px; }
.site-footer div { display: flex; flex-wrap: wrap; gap: 20px; }
.site-footer a { display: inline-flex; align-items: center; min-height: 44px; text-decoration: none; }
.site-footer a:hover { text-decoration: underline; }
.article-main { max-width: 650px; margin-inline: auto; padding-top: 36px; }
.article-top { display: flex; align-items: baseline; justify-content: space-between; margin-bottom: 24px; }
.back-link, .article-end { font-size: 12px; }
.back-link { display: inline-flex; min-height: 36px; align-items: center; font: 12px/1 var(--mono); color: var(--muted); text-decoration: none; transition: color 0.15s ease; }
.back-link:hover { color: var(--accent); text-decoration: none; }
.article-heading { margin: 0 0 36px; }
.eyebrow { margin: 0 0 14px; color: var(--muted); font: 11px/1.6 var(--mono); letter-spacing: 0.06em; text-transform: uppercase; font-variant-numeric: tabular-nums; }
.article-heading h1 { font: 400 clamp(32px, 5.2vw, 48px)/1.18 var(--serif); letter-spacing: -.03em; margin: 0; text-wrap: balance; color: var(--ink); }
.prose { max-width: 650px; font: 400 19px/1.72 var(--serif); letter-spacing: -0.004em; overflow-wrap: break-word; text-rendering: optimizeLegibility; }
.prose p { margin: 0 0 24px; }
.prose > :last-child { margin-bottom: 0; }
.prose h2 { margin: 52px 0 18px; font: 450 24.5px/1.28 var(--serif); letter-spacing: -.018em; color: var(--ink); }
.prose strong { font-weight: 600; color: var(--ink); }
.prose code { font-family: var(--mono); font-size: .86em; font-feature-settings: "liga" 0; letter-spacing: -0.005em; }
.prose :not(pre) > code { padding: 2px 6px; border-radius: 4px; background: var(--code-surface); color: var(--ink); }
.code-block { margin: 32px 0; border: 1px solid var(--line); border-radius: 6px; background: var(--code-surface); overflow: hidden; }
.code-block figcaption { display: flex; align-items: center; justify-content: space-between; min-height: 36px; padding: 2px 8px 2px 16px; border-bottom: 1px solid var(--line); color: var(--muted); font: 11px/1 var(--mono); letter-spacing: 0.05em; }
.copy-code { min-height: 28px; padding: 3px 10px; border: 0; border-radius: 3px; background: none; color: var(--muted); font: 11px var(--mono); cursor: pointer; transition: color 0.15s ease, background 0.15s ease; }
.copy-code:hover { color: var(--ink); background: color-mix(in srgb, var(--line) 60%, transparent); }
.copy-code:focus-visible { outline: 2px solid var(--accent); outline-offset: -2px; }
.prose pre { max-width: 100%; margin: 0; overflow: auto; padding: 16px 20px 18px; font: 13px/1.65 var(--mono); tab-size: 2; overscroll-behavior-inline: contain; font-feature-settings: "liga" 0; letter-spacing: -0.005em; }
.prose pre:focus-visible { outline-offset: -3px; }
.prose pre code { font-size: inherit; }
.chroma .k, .chroma .kc, .chroma .kd, .chroma .kn, .chroma .kp, .chroma .kr, .chroma .kt, .chroma .nt, .chroma .nf, .chroma .nb, .chroma .na { color: var(--code-key); }
.chroma .s, .chroma .s1, .chroma .s2, .chroma .sb, .chroma .sc, .chroma .sd, .chroma .se, .chroma .sh, .chroma .si, .chroma .sr, .chroma .ss, .chroma .sx { color: var(--code-string); }
.chroma .c, .chroma .c1, .chroma .cm, .chroma .cp, .chroma .cs { color: var(--code-comment); }
.chroma .m, .chroma .mi, .chroma .mf, .chroma .mh, .chroma .mo, .chroma .il { color: var(--code-number); }
.code-block .fu, .code-block .kw, .code-block .bu { color: var(--code-key); }
.code-block .st, .code-block .ch { color: var(--code-string); }
.code-block .co { color: var(--code-comment); }
.code-block .dv, .code-block .fl, .code-block .cn { color: var(--code-number); }
.prose h3 { margin: 38px 0 14px; font: 450 19.5px/1.35 var(--serif); letter-spacing: -.01em; color: var(--ink); }
.prose li { margin-bottom: 10px; line-height: 1.7; }
.prose a { overflow-wrap: anywhere; text-decoration-color: color-mix(in srgb, var(--accent) 35%, transparent); text-underline-offset: 4px; text-decoration-thickness: 1px; transition: color 0.15s ease, text-decoration-color 0.15s ease; }
.prose a:hover { color: var(--accent); text-decoration-color: var(--accent); }
.prose img { display: block; max-width: 100%; height: auto; margin: 40px auto; border-radius: 4px; }
.prose img.in-text { display: inline; margin: 0; height: 1em; }
.prose figure:not(.code-block) { margin: 36px 0; }
.prose figcaption { font: 13px/1.6 var(--sans); color: var(--muted); text-align: center; margin-top: 10px; }
.prose blockquote { margin: 36px 0; padding: 6px 0 6px 22px; border-left: 2px solid var(--accent); color: var(--muted); font-style: italic; }
.prose table { display: block; max-width: 100%; overflow-x: auto; margin: 32px 0; border-collapse: collapse; font: 14px/1.6 var(--sans); }
.prose th, .prose td { padding: 12px; border-bottom: 1px solid var(--line); text-align: left; }
.prose iframe { max-width: 100%; }
.prose hr { margin: 48px auto; border: 0; height: 1px; width: 48px; background: var(--line); }
.lab-index ol { padding: 0; margin: 0; list-style: none; border-top: 1px solid var(--line); }
.lab-index li { border-bottom: 1px solid var(--line); }
.lab-index a { display: block; padding: 24px 0; font: 24px/1.4 var(--serif); text-decoration: none; }
.lab-index a:hover { text-decoration: underline; }
.archive-year h2 { margin: 48px 0 16px; color: var(--muted); font: 13px var(--mono); }
.search-input { display: block; width: 100%; min-height: 48px; margin: 16px 0; padding: 12px; border: 1px solid var(--line); border-radius: 4px; background: var(--code-surface); color: var(--ink); font: 16px var(--sans); }
.search-input:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
#search-results { margin-top: 24px; }
#search-results a { display: block; font: 23px/1.4 var(--serif); }
.labs-intro { max-width: 560px; margin-bottom: 40px; color: var(--muted); font-size: 16px; line-height: 1.7; }
.lab-list a { grid-template-columns: 1fr 12px; }
.lab-list small { display: block; margin-top: 12px; color: var(--muted); font: 13px/1.6 var(--sans); }
.article-end { margin-top: 56px; padding-block: 8px; display: flex; justify-content: flex-end; gap: 24px; }
.article-end a { display: inline-flex; min-height: 36px; align-items: center; font: 13px var(--mono); color: var(--muted); text-decoration: none; transition: color 0.15s ease; }
.article-end a:hover { color: var(--accent); text-decoration: none; }
.article-main + .site-footer { margin-top: 48px; }
@media (max-width: 600px) {
  body { padding-inline: 20px; }
  .site-header { min-height: 96px; gap: 12px; flex-wrap: wrap; padding-block: 16px; }
  nav { gap: 20px; font-size: 12px; }
  .intro { padding: 48px 0; }
  .intro-link { max-width: 280px; }
  .post-list a { grid-template-columns: 1fr 12px; gap: 12px; padding-block: 24px; }
  .post-title { font-size: 24px; }
  .post-list time { grid-row: 2; }
  .row-arrow { grid-column: 2; grid-row: 1; }
  .site-footer { margin-top: 56px; flex-direction: column; gap: 4px; }
  .site-footer div { gap: 16px; }
  .article-main { padding-top: 20px; }
  .article-top { margin-bottom: 16px; }
  .article-heading { margin-bottom: 24px; }
  .article-heading h1 { font-size: 30px; }
  .article-end { margin-top: 36px; padding-block: 8px; }
  .article-main + .site-footer { margin-top: 36px; }
  .prose { font-size: 18.5px; line-height: 1.75; }
  .prose pre { padding: 14px 16px; }
  .code-block figcaption { padding-left: 14px; }
}