@font-face{font-family:Lora;font-style:normal;font-weight:400;font-display:swap;src:url(/_astro/lora.BOCzjKQ9.woff2)format("woff2")}:root{color-scheme:light;--ink:#222;--muted:#656565;--link:#a02020;--page-width:960px;--paper-shadow:0 0 12px #0000000d;--profile-shadow:0 0 6px #0000001a;color:var(--ink);font-synthesis:weight;background:#fefefe;font-family:Lora,Georgia,Times New Roman,serif}*{box-sizing:border-box}body{margin:0;font-size:18.6667px;line-height:1.6}a{color:var(--link);text-decoration:none;transition:color .12s}a:hover{color:#c03030;text-underline-offset:3px;text-decoration:underline}a:focus-visible,summary:focus-visible{outline:2px solid var(--link);outline-offset:4px}img{max-width:100%;height:auto}p{margin:0 0 .8em}h1,h2,h3{text-wrap:balance;line-height:1.3}h1{margin:.15em 0 .8em;font-size:2em}h2{margin:1.5em 0 .7em;font-size:1.5em}h3{margin:1.3em 0 .5em;font-size:1.15em}::selection{background:#f2dddd}.site-header{background:#fff;border-bottom:1px solid #d0d0d0;box-shadow:0 0 12px #0000001a}.header-inner{max-width:var(--page-width);justify-content:space-between;align-items:center;gap:16px;min-height:60px;margin:0 auto;padding:10px 16px;display:flex}.site-name{color:var(--ink);font-size:24px;font-weight:700}.header-inner nav{font-variant:small-caps;flex-wrap:wrap;gap:8px 22px;display:flex}.header-inner nav a{white-space:nowrap}.header-inner nav a[aria-current=page]{text-underline-offset:5px;text-decoration:underline}.paper{max-width:var(--page-width);box-shadow:var(--paper-shadow);overflow-wrap:break-word;background:#fff;border-radius:5px;min-height:55vh;margin:24px auto 0;padding:24px 16px}.home-introduction{display:flow-root}.home-introduction p a{text-underline-offset:3px;text-decoration:underline 1px}.profile{float:right;text-align:center;width:320px;box-shadow:var(--profile-shadow);background:#f8f8f8;border-bottom:1px solid #d0d0d0;border-right:1px solid #d0d0d0;border-radius:4px;margin:0 8px 20px 20px;padding:10px;font-size:18px}.profile img{border-radius:5%;width:100%;margin:0 auto 10px;display:block}.profile div{overflow-wrap:anywhere}.selected-writing{margin-top:2em}.selected-writing h2{margin-top:0}.post-list{margin:0;padding:0;list-style:none}.post-list li{margin:0 0 1.8em}.post-list h3{text-wrap:wrap;margin:0 0 .35em}.post-list p{margin-bottom:.4em}.post-list time,.article-meta{color:var(--muted);font-size:.8em}.writing-year h2{font-weight:400}.site-footer{max-width:var(--page-width);color:var(--muted);justify-content:space-between;margin:0 auto;padding:26px 16px;font-size:14px;display:flex}.site-footer a{color:inherit}.footer-actions{align-items:center;gap:18px;display:flex}.prose h2,.prose h3{scroll-margin-top:20px}.prose a{text-underline-offset:3px;text-decoration:underline 1px}.prose ul,.prose ol{margin:.5em 0 1em;padding-left:1.5em}.prose li{margin:.2em 0}.prose blockquote{border-left:3px solid #ddd;margin:1.2em 0;padding-left:1em}.prose code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.82em}.prose :not(pre)>code{overflow-wrap:anywhere;background:#f5f5f5;border-radius:2px;padding:.12em .3em}.prose pre:not(.transcript-code){border:1px solid #eee;border-radius:4px;padding:16px;font-size:.92em;line-height:1.55;overflow:auto}.prose pre code{background:0 0;padding:0}.prose table{border-collapse:collapse;margin:1.25em 0;font-size:.9em;display:block;overflow-x:auto}.prose th,.prose td{text-align:left;vertical-align:top;border-bottom:1px solid #e5e5e5;padding:9px 10px}.prose th{background:#fafafa}.prose table img{min-width:120px;margin:0;display:block}.prose img{border-radius:4px}.prose .katex-display{padding:.3em 0;overflow:auto hidden}.prose .katex{font-size:1.08em}.math-block{margin:1.5em 0;padding:.3em;display:block;overflow-x:auto}.math-block:focus-visible{outline:2px solid var(--link);outline-offset:3px}.article-header{margin-bottom:24px}.article-header h1{font-size:2em}.toc{border:1px solid #e5e5e5;border-radius:4px;margin:1.25em 0 2em;padding:12px 16px;font-size:.9em}.toc summary{cursor:pointer}.toc ul{margin:.8em 0 0;padding:0;list-style:none}.toc .subheading{padding-left:1em}.toc a{text-decoration:none}.visually-hidden,.skip-link:not(:focus){clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link:focus{text-align:center;padding:8px;display:block}@media (width<=1000px){.paper{margin-left:16px;margin-right:16px}}@media (width<=640px){body{font-size:17px}.header-inner{flex-wrap:wrap;gap:6px;padding:12px 16px}.header-inner nav{gap:6px 18px;font-size:16px}.paper{margin:16px 8px 0;padding:20px 14px}.profile{float:none;width:min(100%,320px);box-shadow:none;background:0 0;border:0;margin:0 auto 28px;padding:0}.profile img{width:170px}h1,.article-header h1{font-size:1.6em}h2{font-size:1.35em}.prose table img{min-width:104px}}@media (prefers-reduced-motion:reduce){a{transition:none}}