:root{--bg:#ffffff;--ink:#000000;--sub:#767676;--rule:#000000;--hair:#d6d6d6;--link:#162dab;--red:#d11305;--green:#006951;--hl:#f0f8ff;--code-bg:#f6f6f6;--serif:Georgia, "Times New Roman", Times, serif;--mono:ui-monospace, "SF Mono", Menlo, Consolas, "Courier New", monospace;--measure:60rem;color-scheme:light}@media(prefers-color-scheme:dark){:root:not(.light){--bg:#111111;--ink:#e6e6e6;--sub:#8f8f8f;--rule:#e6e6e6;--hair:#333333;--link:#8ea6ff;--red:#ff7461;--green:#4fc9a4;--hl:#18202e;--code-bg:#1a1a1a;color-scheme:dark}}:root.dark{--bg:#111111;--ink:#e6e6e6;--sub:#8f8f8f;--rule:#e6e6e6;--hair:#333333;--link:#8ea6ff;--red:#ff7461;--green:#4fc9a4;--hl:#18202e;--code-bg:#1a1a1a;color-scheme:dark}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0 auto;max-width:var(--measure);padding:22px 16px 40px;background:var(--bg);color:var(--ink);font:19px/1.6 var(--serif);overflow-wrap:break-word}@media(min-width:900px){body{font-size:20px;padding:48px 32px 56px}.site{font-size:2em}}@media(min-width:1300px){body{font-size:21px}}a{color:var(--link);text-decoration:underline;text-underline-offset:2px;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}.site{font-size:1.9em;line-height:1.1;margin:0;text-transform:uppercase;letter-spacing:.01em}.site a{color:var(--ink);text-decoration:none}.tagline{margin:.25rem 0 0}nav{margin-top:.35rem;color:var(--sub);line-height:1.9}nav a.on{color:var(--ink);text-decoration:none}.rule{border:0;border-top:2px solid var(--rule);margin:.6rem 0 1.4rem}.hair{border:0;border-top:1px solid var(--hair);margin:2.5rem 0 .6rem}h1,h2,h3,h4{font-weight:400;line-height:1.25}h1{font-size:1.6em;margin:0 0 .3em}h2{font-size:1.35em;margin:1.6em 0 .4em}h3{font-size:1.12em;margin:1.5em 0 .35em;font-style:italic}h4,h5,h6{font-size:1em;margin:1.4em 0 .3em;font-style:italic}h2 .meta,h1 .meta{margin-left:6px;font-size:.5em}p{margin:0 0 1rem}.meta{font-family:var(--mono);font-size:.72em;color:var(--sub);line-height:1.7}p.meta{margin:0 0 .5rem}.meta a{color:var(--link)}.dek{font-style:italic;color:var(--sub);margin-bottom:.3rem}strong,b{font-weight:700}hr{border:0;border-top:1px solid var(--hair);margin:2rem 0}blockquote{margin:1.2rem 0;padding:0 0 0 1rem;border-left:2px solid var(--ink);color:var(--ink);font-style:italic}blockquote p:last-child{margin-bottom:0}ul,ol{padding-left:1.4rem;margin:0 0 1rem}li{margin:.2rem 0}.content li>p{margin-bottom:.4rem}mark{background:var(--hl);color:var(--ink)}abbr{text-decoration:underline dotted}.entries{list-style:none;padding:0;margin:0}.entry{display:grid;grid-template-columns:7.2rem 1fr;gap:0 12px;align-items:baseline;padding:3px 0;margin:0}.entry .date{font-family:var(--mono);font-size:.72em;color:var(--sub);white-space:nowrap}.entry .summary{grid-column:2;margin:0 0 .4rem;font-size:.92em;color:var(--sub)}@media(max-width:460px){.entry{grid-template-columns:1fr;padding:6px 0}.entry .summary{grid-column:1}}.pager{margin-top:1.2rem}.pager span{color:var(--hair)}article .meta{margin-bottom:1.4rem}.content>:first-child{margin-top:0}.toc{font-size:.92em;margin:0 0 1.6rem;padding:0 0 0 1rem;border-left:2px solid var(--hair)}.toc summary{font-family:var(--mono);font-size:.8em;color:var(--sub);cursor:pointer}.toc ul{list-style:none;padding-left:1rem;margin:.3rem 0}.toc>nav>ul{padding-left:0}.toc nav{margin:0;color:inherit;line-height:1.5}.autonumber{counter-reset:h2}.autonumber h2{counter-reset:h3}.autonumber h2::before{counter-increment:h2;content:counter(h2)". "}.autonumber h3::before{counter-increment:h3;content:counter(h2)"." counter(h3)" "}.footnotes{font-size:.88em;color:var(--sub)}.footnotes hr{margin:2.5rem 0 1rem}sup a,.footnote-ref{text-decoration:none;font-family:var(--mono);font-size:.7em}figure{margin:1.4rem 0}figure img,.content img{max-width:100%;height:auto;display:block}figcaption{font-family:var(--mono);font-size:.72em;color:var(--sub);margin-top:.4rem}.img-center img{margin:0 auto}.img-center figcaption{text-align:center}.img-small img{max-width:min(100%,22rem)}.img-full img{width:100%}:root.dark .img-light,:root.light .img-dark{display:none}@media(prefers-color-scheme:dark){:root:not(.light) .img-light{display:none}}@media(prefers-color-scheme:light){:root:not(.dark) .img-dark{display:none}}code,kbd,samp,pre{font-family:var(--mono);font-size:.8em}:not(pre)>code{background:var(--code-bg);padding:1px 4px;border:1px solid var(--hair)}pre{background:var(--code-bg)!important;color:var(--ink);border:1px solid var(--hair);border-left:2px solid var(--ink);padding:.8rem 1rem;overflow-x:auto;line-height:1.5;margin:1.2rem 0}pre code{font-size:1em;background:0 0;border:0;padding:0}.chroma{background:0 0}.chroma .k,.chroma .kd,.chroma .kn,.chroma .kc,.chroma .kr,.chroma .kt,.chroma .ow,.chroma .nt{font-weight:700}.chroma .c,.chroma .c1,.chroma .cm,.chroma .cs,.chroma .ch,.chroma .cp,.chroma .cpf{color:var(--sub);font-style:italic}.chroma .s,.chroma .s1,.chroma .s2,.chroma .sb,.chroma .sc,.chroma .sd,.chroma .se,.chroma .sh,.chroma .si,.chroma .sx,.chroma .sr,.chroma .ss{color:var(--green)}.chroma .m,.chroma .mi,.chroma .mf,.chroma .mh,.chroma .mo,.chroma .il{color:var(--link)}.chroma .nf,.chroma .fm,.chroma .nc{text-decoration:underline;text-decoration-color:var(--hair)}.chroma .err{color:var(--red)}.chroma .ln,.chroma .lnt{color:var(--sub);margin-right:.8em;user-select:none}.chroma .hl{background:var(--hl);display:block}table{border-collapse:collapse;width:100%;margin:1.2rem 0;font-size:.92em;display:block;overflow-x:auto}th,td{border-bottom:1px solid var(--hair);padding:5px 10px 5px 0;text-align:left;vertical-align:top}th{border-bottom:2px solid var(--ink);font-weight:400;font-style:italic}.katex-display{overflow-x:auto;overflow-y:hidden;padding:2px 0}.books{display:grid;grid-template-columns:repeat(auto-fill,minmax(112px,1fr));gap:18px 14px;margin:.6rem 0 2rem}.book img{width:100%;aspect-ratio:2/3;object-fit:cover;display:block;border:1px solid var(--hair);background:var(--code-bg)}.book-title{font-size:.86em;line-height:1.3;margin:.4rem 0 .1rem}.book .meta{margin:0;font-size:.66em;line-height:1.4}footer{max-width:var(--measure)}footer p.meta{margin:0 0 .2rem}.modes button{font:inherit;color:var(--link);background:0 0;border:0;padding:2px 0;text-decoration:underline;cursor:pointer}.modes button.on{color:var(--ink);text-decoration:none}@media print{nav,footer,.pager,.toc{display:none}body{max-width:none;font-size:12pt}a{color:inherit}}.side-toc{display:none}@media(min-width:1180px){body.has-side-toc{max-width:calc(var(--measure) + 17rem)}.has-side-toc .post-grid{display:grid;grid-template-columns:minmax(0,1fr)13rem;gap:0 4rem}.has-side-toc .pager,.has-side-toc main>.meta{grid-column:1}.side-toc:not([hidden]){display:block;position:sticky;top:2rem;align-self:start;max-height:calc(100vh - 4rem);overflow-y:auto;font-size:.8em;line-height:1.4;padding-top:.4em}.side-toc ol{list-style:none;margin:.4em 0 .8em;padding:0}.side-toc li{margin:0}.side-toc li.lvl1{padding-left:1em}.side-toc li.lvl2{padding-left:2em}.side-toc a{display:block;padding:3px 0 3px 10px;border-left:2px solid var(--hair);color:var(--sub);text-decoration:none}.side-toc a:hover{color:var(--link);text-decoration:underline}.side-toc a.on{color:var(--ink);border-left-color:var(--ink)}.content h1,.content h2,.content h3{scroll-margin-top:1.5rem}}