@import"https://fonts.googleapis.com/css2?family=Newsreader:ital,opsz,wght@0,6..72,300..700;1,6..72,300..700&family=JetBrains+Mono:wght@400;500;700&display=swap";:root{--bg: #fbfaf6;--bg-code: #f1ede4;--ink: #1a1816;--ink-soft: #3a3633;--ink-muted: #7a726a;--rule: #e6e0d5;--accent: #7a2e1f;--accent-soft: #a64a33;--font-serif: "Newsreader", "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--measure: 48rem;--gutter: 8rem}*,*:before,*:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--font-serif);font-size:19px;line-height:1.65;font-feature-settings:"onum" 1,"liga" 1,"kern" 1;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;counter-reset:sidenote}body:before{content:"";position:fixed;inset:0;pointer-events:none;z-index:-1;background:radial-gradient(ellipse at 20% 0%,rgba(169,140,93,.04),transparent 60%),radial-gradient(ellipse at 80% 100%,rgba(90,60,40,.03),transparent 50%)}.page{max-width:calc(var(--measure) + var(--gutter) + 4rem);margin:0 auto;padding:4rem 2rem 6rem;position:relative}.content,.masthead{max-width:var(--measure)}.masthead{margin:0 0 3.5rem;display:flex;justify-content:space-between;align-items:baseline;gap:2rem;padding-bottom:1rem;border-bottom:1px solid var(--rule)}.masthead .site-title{font-size:1.1rem;font-weight:500;font-style:italic;letter-spacing:.005em}.masthead a{color:var(--ink);text-decoration:none;border:none}.masthead nav a{margin-left:1.5rem;font-size:.95rem;color:var(--ink-muted);transition:color .12s ease}.masthead nav a:hover{color:var(--accent)}h1,h2,h3{font-family:var(--font-serif);line-height:1.2;color:var(--ink);margin:2.4em 0 .6em}h1{font-size:2.5rem;font-weight:500;margin-top:0;margin-bottom:.3em;letter-spacing:-.015em;font-variation-settings:"opsz" 36}h2{font-size:1.35rem;font-style:italic;font-weight:400;color:var(--ink-soft);margin-top:2.6em;letter-spacing:.005em;font-variation-settings:"opsz" 24}h3{font-size:1.1rem;font-weight:500}.byline{color:var(--ink-muted);font-size:.95rem;font-style:italic;margin:0 0 3rem}p{margin:0 0 1.2em;hyphens:auto;-webkit-hyphens:auto}a{color:var(--accent);text-decoration:none;border-bottom:1px solid transparent;transition:border-color .12s ease,color .12s ease}a:hover{color:var(--accent-soft);border-bottom-color:var(--accent-soft)}strong{font-weight:600}em{font-style:italic}hr{border:0;border-top:1px solid var(--rule);margin:3rem 0}blockquote{border-left:2px solid var(--rule);margin:1.5em 0;padding:.2em 1.2em;color:var(--ink-soft);font-style:italic}ul,ol{padding-left:1.4em}li{margin:.3em 0}figure{margin:2rem 0}figure img{display:block;max-width:100%;height:auto;margin:0 auto}figcaption{color:var(--ink-muted);font-size:.88rem;font-style:italic;line-height:1.45;margin-top:.75rem;text-align:center}table{width:100%;border-collapse:collapse;margin:1.5em 0;font-size:.95rem}th,td{border-bottom:1px solid var(--rule);padding:.35em .5em;text-align:left}th{color:var(--ink-soft);font-style:italic;font-weight:500}.math-block{overflow-x:auto}.sn-check{display:none}.sn-ref{counter-increment:sidenote;cursor:pointer;display:inline}.sn-ref:after{content:counter(sidenote);vertical-align:super;font-size:.7em;font-style:normal;color:var(--accent);line-height:1;padding:0 .1em;font-family:var(--font-serif);font-feature-settings:"lnum" 1}.sn-ref:hover:after{color:var(--accent-soft)}.sidenote{float:right;clear:right;width:calc(var(--gutter) - .5rem);margin-right:calc(var(--gutter) * -1 - .5rem);font-size:.78rem;line-height:1.5;color:var(--ink-muted);font-style:italic;padding-left:.7em;border-left:1px solid var(--rule);margin-top:.15em;margin-bottom:.6em;position:relative}.sidenote:before{content:counter(sidenote);font-size:.82em;color:var(--accent);font-style:normal;font-weight:500;margin-right:.35em;font-feature-settings:"lnum" 1}@media(max-width:40rem){:root{--measure: 100%;--gutter: 0px}.page{max-width:none;padding:2.5rem 1.5rem 4rem}.content,.masthead{max-width:none}.sidenote{display:none}.sn-check:checked+.sidenote{display:block;float:none;width:auto;margin:.6em 0 .8em;padding:.6em .9em;font-size:.88rem;background:#7a2e1f0d;border-left:2px solid var(--accent);border-radius:0 3px 3px 0}.sn-ref:after{padding:0 .25em;border-radius:2px;background:#7a2e1f14}}code,pre{font-family:var(--font-mono);font-feature-settings:"liga" 0}:not(pre)>code{background:var(--bg-code);padding:.08em .35em;border-radius:3px;font-size:.83em;color:var(--ink-soft)}pre{background:var(--bg-code);border:1px solid var(--rule);border-radius:4px;padding:1em 1.2em;overflow-x:auto;font-size:.82rem;line-height:1.55;margin:1.5em 0}pre code{background:none;padding:0;font-size:inherit;color:inherit}div.highlighter-rouge,div.highlighter-rouge>div.highlight,figure.highlight{background:transparent;padding:0;margin:1.5em 0;border:0}figure.highlight pre,.highlighter-rouge pre,pre.highlight{background:var(--bg-code);border:1px solid var(--rule);border-radius:4px;padding:1em 1.2em;margin:0;overflow-x:auto}.highlight .c,.highlight .c1,.highlight .cm,.highlight .cs,.highlight .cp,.highlight .sd{color:#9c9284;font-style:italic}.highlight .k,.highlight .kd,.highlight .kn,.highlight .kr,.highlight .kp,.highlight .kc{color:#7a2e1f;font-weight:500}.highlight .kt{color:#1c4a6b}.highlight .s,.highlight .s1,.highlight .s2,.highlight .sb,.highlight .sc,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx,.highlight .sr,.highlight .ss{color:#3f6b3a}.highlight .m,.highlight .mi,.highlight .mf,.highlight .mo,.highlight .mh,.highlight .mb,.highlight .il{color:#8a5a1f}.highlight .nf,.highlight .nc,.highlight .nn{color:#1c4a6b;font-weight:500}.highlight .nb,.highlight .bp{color:#7a2e1f}.highlight .no{color:#8a5a1f}.highlight .o,.highlight .ow,.highlight .p,.highlight .n,.highlight .na,.highlight .nv{color:var(--ink)}.highlight .err{color:#7a2e1f}.token.comment,.token.prolog,.token.doctype,.token.cdata{color:#9c9284;font-style:italic}.token.keyword,.token.boolean,.token.constant{color:#7a2e1f;font-weight:500}.token.class-name,.token.function{color:#1c4a6b;font-weight:500}.token.string,.token.char,.token.attr-value,.token.regex{color:#3f6b3a}.token.number{color:#8a5a1f}.token.operator,.token.punctuation,.token.property,.token.variable{color:var(--ink)}mjx-container{font-size:1em!important;color:var(--ink)}mjx-container[display=true]{margin:1.4em 0!important;padding:.1em 0;overflow-x:auto;overflow-y:hidden}mjx-container svg{vertical-align:-.07em}.quiver-embed{margin:1.6em 0;display:flex;justify-content:center}.quiver-embed iframe{max-width:100%}article.content{counter-reset:thm-theorem thm-proposition thm-lemma thm-corollary thm-definition thm-example thm-conjecture}.thm{margin:1.6em 0;padding:.7em 1em .7em 1.1em;border-left:2px solid var(--rule);border-radius:0 3px 3px 0;background:#7a2e1f06}.thm>p:first-child{margin-top:0}.thm>.thm-label+p{margin-top:0}.thm>p:last-child{margin-bottom:0}.thm-label{font-style:italic;color:var(--ink-soft);font-weight:500;margin-right:.35em}.thm-theorem{border-left-color:var(--accent);counter-increment:thm-theorem}.thm-proposition{border-left-color:var(--accent);counter-increment:thm-proposition}.thm-lemma{border-left-color:var(--accent);counter-increment:thm-lemma}.thm-corollary{border-left-color:var(--accent);counter-increment:thm-corollary}.thm-conjecture{border-left-color:var(--accent-soft);background:#a64a3308;counter-increment:thm-conjecture;font-style:italic}.thm-conjecture .thm-label{font-style:normal}.thm-definition{border-left-color:#1c4a6b;counter-increment:thm-definition}.thm-example{border-left-color:#8a5a1f;background:#8a5a1f08;counter-increment:thm-example}.thm-remark{border-left-color:var(--rule);background:transparent}.thm-proof{border-left:none;padding-left:0;padding-right:0;background:transparent;margin:1.2em 0}.thm-proof:after{content:"□";display:inline-block;margin-left:.4em;color:var(--ink-soft)}.post-list{list-style:none;padding:0;margin:0}.post-list li{display:grid;grid-template-columns:6rem 1fr;gap:1.3rem;align-items:baseline;padding:.9em 0;border-bottom:1px solid var(--rule)}.post-list.wide-date li{grid-template-columns:7.5rem 1fr}.post-list li:last-child{border-bottom:none}.post-list .date{color:var(--ink-muted);font-size:.9rem;font-variant-numeric:tabular-nums;font-style:italic}.post-list .title{font-size:1.05rem}.post-list .title a{color:var(--ink);border-bottom:none}.post-list .title a:hover{color:var(--accent)}.post-list .excerpt{color:var(--ink-muted);font-size:.9rem;margin-top:.2em}.post-tags{display:flex;flex-wrap:wrap;gap:.45rem .6rem;margin:-2.1rem 0 3rem}.tag{color:var(--ink-muted);font-size:.82rem;font-style:italic;border-bottom-color:var(--rule)}.tag:hover{color:var(--accent);border-bottom-color:var(--accent)}.back{display:inline-block;margin-top:4rem;color:var(--ink-muted);font-style:italic;font-size:.95rem;border-bottom:none}.back:hover{color:var(--accent);border-bottom:none}.back+.back{margin-left:1.2rem}.smallcaps{font-variant-caps:all-small-caps;letter-spacing:.04em}.dinkus{text-align:center;color:var(--ink-muted);margin:2.5rem 0;letter-spacing:.8em;font-size:.9rem}.dinkus:after{content:"* * *"}footer.foot{max-width:var(--measure);margin:5rem 0 0;padding-top:1.2rem;border-top:1px solid var(--rule);color:var(--ink-muted);font-size:.85rem;font-style:italic;display:flex;justify-content:space-between;gap:1rem}footer.foot a{color:var(--ink-muted);border-bottom:none}footer.foot a:hover{color:var(--accent)}@media print{body{background:#fff;color:#000}.masthead nav,.back,footer.foot{display:none}.sidenote{float:none;display:block;margin:.6em 0 .6em 1.5em;width:auto;font-size:.85em;border-left:1px solid #aaa;padding-left:.8em}}