@font-face{font-family:Archivo;src:url(/fonts/archivo.woff2)format("woff2");font-weight:100 900;font-stretch:62% 125%;font-display:swap}:root{color-scheme:light dark;--paper:#fff;--ink:#000;--muted:#5e5e5e;--rule:#000;--hair:#d6d6d6;--red:#d4001a;--code-bg:#f3f3f3;--card:#fff;--font:"Archivo", "Helvetica Neue", Arial, sans-serif;--font-code:ui-monospace, "Cascadia Code", "SF Mono", Menlo, Consolas, monospace;--rail:13rem;--gap:3rem;--frame:84rem;--measure:40rem}@media (prefers-color-scheme:dark){:root{--paper:#1b1b1b;--ink:#f5f5f5;--muted:#a6a6a6;--rule:#f5f5f5;--hair:#3a3a3a;--red:#ff4d4d;--code-bg:#262626;--card:#f4f4f4}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--paper);color:var(--ink);font:400 1.125rem/1.6 var(--font);margin:0}a{color:inherit;text-decoration-color:var(--muted);text-underline-offset:.22em;text-decoration-thickness:1px}a:hover{color:var(--red);text-decoration-color:var(--red);text-decoration-thickness:2px}::selection{background:var(--red);color:#fff}body{font-kerning:normal;text-rendering:optimizelegibility}:focus-visible{outline:3px solid var(--red);outline-offset:3px}a,summary{touch-action:manipulation}.skip{background:var(--paper);border:3px solid var(--red);z-index:10;padding:.5rem .75rem;position:absolute;top:-4rem;left:1rem}.skip:focus{top:.5rem}.site-header,main,.site-footer{max-width:var(--frame);margin-inline:auto;padding-inline:clamp(1.25rem,4vw,3rem)}.site-header{justify-content:space-between;align-items:center;padding-block:1.5rem;font-weight:600;display:flex}.site-name{letter-spacing:.005em;font-size:1.5rem;font-weight:800;font-stretch:62%;text-decoration:none}.site-header nav{gap:1.5rem;font-weight:500;display:flex}.site-header nav a{text-decoration:none}.site-header nav a:hover,.site-header nav a[aria-current]{text-decoration:underline;text-decoration-color:var(--red);text-decoration-thickness:2px}.site-footer{color:var(--muted);margin-top:6rem;padding-bottom:3rem;font-size:.9rem}.site-footer:before{content:"";border-top:6px solid var(--rule);margin-bottom:1.5rem;display:block}main{padding-top:3rem}@media (width>=64rem){main{grid-template-columns:var(--rail) minmax(0, 1fr);column-gap:var(--gap);align-content:start;display:grid}main>*{grid-column:2}main>h1,main>.intro,main>.post-list,main>.post{grid-column:1/-1}}h1,h2,h3,h4{text-wrap:balance;scroll-margin-top:1rem;line-height:1.1}h1{letter-spacing:0;margin:0 0 1.5rem;font-size:clamp(2.75rem,9vw,6.5rem);font-weight:800;font-stretch:62%;line-height:.95}h2{border-top:2px solid var(--rule);margin:3.5rem 0 1rem;padding-top:.75rem;font-size:1.75rem;font-weight:750;font-stretch:75%}h3{margin:2.25rem 0 .5rem;font-size:1.3rem;font-weight:700}h4{margin:1.75rem 0 .5rem;font-size:1.1rem;font-weight:700}p,ul,ol{margin:0 0 1.15rem}p,li{text-wrap:pretty}strong{font-weight:700}.intro{letter-spacing:-.01em;max-width:38ch;margin:0 0 4.5rem;font-size:clamp(1.6rem,4vw,2.6rem);font-weight:600;font-stretch:85%;line-height:1.15}.prose>:where(p,ul,ol,blockquote,h3,h4,.reader-note),.post-body>:where(.corrections-banner,.write-to-me),#corrections-log>:where(ul,p),main>p{max-width:var(--measure)}.post-list{margin:0;padding:0;list-style:none}.post-list li{border-top:1px solid var(--rule);padding-block:1.75rem}.post-list li:first-child{border-top-width:6px}.post-list a{text-wrap:balance;font-size:clamp(2rem,5.5vw,3.25rem);font-weight:800;font-stretch:62%;line-height:1;text-decoration:none;display:block}.post-list time{color:var(--muted);margin-top:.75rem;font-size:.95rem;display:block}.post-list p{max-width:60ch;margin:.5rem 0 0}@media (width>=64rem){.post-list,.post-list li{grid-template-columns:subgrid;grid-column:1/-1;display:grid}.post-list time{grid-area:1/1/span 2;margin-top:.4rem}.post-list a,.post-list p{grid-column:2}}.post-header .subtitle{max-width:44ch;color:var(--muted);margin:0 0 2.5rem;font-size:clamp(1.25rem,2.6vw,1.6rem);font-weight:500;line-height:1.3}.rail{color:var(--muted);margin-bottom:2rem;font-size:.95rem}.rail a{color:var(--ink);text-decoration-color:var(--hair)}.rail a:hover{text-decoration-color:var(--red);color:var(--red)}@media (width>=64rem){.post{grid-template-columns:subgrid;display:grid}.post-header{grid-column:1/-1}.rail{border-top:6px solid var(--red);grid-column:1;align-self:start;padding-top:.75rem;position:sticky;top:2rem}.post-body{grid-column:2;min-width:0}}.meta{flex-wrap:wrap;gap:.25rem 1.5rem;margin:0 0 1rem;display:flex}@media (width>=64rem){.meta{flex-direction:column}}.meta time,.meta span{white-space:nowrap}.ruler{height:.6rem;width:min(calc(var(--minutes) * .5rem), 100%);border-bottom:2px solid var(--ink);background:repeating-linear-gradient(90deg, var(--ink) 0 2px, transparent 2px .5rem);margin-bottom:.35rem;display:block}.tags{flex-wrap:wrap;gap:.25rem 1rem;margin:0;padding:0;list-style:none;display:flex}@media (width>=64rem){.tags{flex-direction:column}}.corrections-banner{border:3px solid var(--red);padding:.6rem .9rem;font-weight:600}.write-to-me{border-top:6px solid var(--rule);margin-top:4rem;padding-top:1rem;font-weight:600}.status{font:650 .8em/1.25 var(--font);white-space:nowrap;border:2px solid;padding:.1em .45em;display:inline-block}.status[data-status=observed]{color:var(--ink)}.status[data-status=argument]{color:var(--ink);border-style:dotted}.status[data-status=not-verified]{color:var(--red);border-style:dashed}.status[data-status=implemented],.status[data-status=proved]{color:var(--ink);border-style:double;border-width:4px}.status[data-status=conjectured]{color:var(--muted);border-style:dashed}.reader-note{border-inline-start:6px solid var(--rule);margin:0 0 2rem;padding:.25rem 0 .25rem 1.25rem}.reader-note>:last-child{margin-bottom:0}blockquote{border-inline-start:3px solid var(--rule);color:var(--muted);margin:0 0 1.15rem;padding-inline-start:1.25rem}.table-scroll{margin:0 0 1.5rem;overflow-x:auto}.table-scroll table{border-collapse:collapse;width:100%;min-width:36rem;font-size:.95rem;line-height:1.45}.table-scroll th,.table-scroll td{text-align:left;vertical-align:top;border-bottom:1px solid var(--hair);padding:.55rem .75rem .55rem 0}.table-scroll th{border-bottom:3px solid var(--rule);font-weight:700}.table-scroll td{font-variant-numeric:tabular-nums}pre.astro-code{font:.88rem/1.55 var(--font-code);white-space:pre;margin:0 0 1.5rem;padding:1rem 1.15rem;overflow-x:auto;background-color:var(--code-bg)!important}@media (prefers-color-scheme:dark){.astro-code,.astro-code span{color:var(--shiki-dark)!important}.astro-code span{background-color:#0000!important}}pre.astro-code{border-inline-start:3px solid var(--rule)}:not(pre)>code{font:.86em var(--font-code);background:var(--code-bg);padding:0 .25em}@media print{:root{--paper:#fff;--ink:#000;--muted:#444;--code-bg:#f3f3f3}.site-header,.skip,.rail .tags,.write-to-me{display:none}main{padding-top:0;display:block}.prose a[href^=http]:after{content:" (" attr(href) ")";word-break:break-all;font-size:.8em}pre.astro-code,.table-scroll,figure{break-inside:avoid}}.prose{overflow-wrap:break-word}.prose img{max-width:100%;height:auto;margin-block:1.5rem;display:block}@media (prefers-color-scheme:dark){.prose img{background:var(--card);padding:.5rem}}figcaption{color:var(--muted);margin-top:.5rem;font-size:.9rem}.figure-zoom{margin:1.5rem 0;overflow-x:auto}.figure-zoom summary{cursor:zoom-in;list-style:none}.figure-zoom summary::-webkit-details-marker{display:none}.figure-zoom[open] summary{cursor:zoom-out}.figure-zoom img{margin:0}.figure-zoom[open] img{max-width:none}.figure-zoom summary:after{content:"Tap to enlarge";color:var(--muted);margin-top:.35rem;font-size:.8rem;display:block}.figure-zoom[open] summary:after{content:"Tap to shrink"}.katex-display{overflow:auto hidden}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}