:root{--brand-color-on-light:#3f6268;--brand-color-on-dark:#8fb9ba}.brand-lockup{aspect-ratio:14870.2/4888.19;background:currentColor;width:100%;display:block;mask:url(/_astro/karl-conjecture-lockup.BYKF41ic.svg) 0 0/contain no-repeat}:root{color-scheme:light dark;font-synthesis:none;--page-background:light-dark(#f7f7f7,#151515);--text:light-dark(#1d1d1d,#f2f2f2);--muted:light-dark(#666,#b7b7b7);--surface:light-dark(#eee,#222);--surface-strong:light-dark(#e2e2e2,#2b2b2b);--border:light-dark(#cecece,#414141);--link:light-dark(#222,#f2f2ef);--focus:light-dark(#005fcc,#82b7ff);--shadow:0 .75rem 2rem #00000014;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;line-height:1.65}*{box-sizing:border-box}html{background:var(--page-background);color:var(--text)}body{min-height:100vh;margin:0}:focus-visible{outline:.2rem solid var(--focus);outline-offset:.2rem}a{color:var(--link);text-decoration-skip-ink:none;text-underline-offset:.18em;text-decoration-thickness:.08em}a:hover{text-decoration-thickness:.13em}.site-container{width:min(100% - 2rem,72rem);margin-inline:auto}.skip-link{z-index:10;background:var(--text);color:var(--page-background);padding:.65rem .9rem;position:fixed;inset:0 auto auto 0;transform:translateY(-140%)}.skip-link:focus,.skip-link:focus-visible{transform:translateY(0)}.site-header{border-bottom:1px solid var(--border)}.site-header__inner{justify-content:space-between;align-items:center;gap:1rem;min-height:4.25rem;display:flex}.site-lockup{width:8.75rem;color:var(--brand-color-on-light);flex:none;text-decoration:none;display:block}.site-lockup:hover{opacity:.82}.site-lockup__graphic{width:100%}.site-nav--desktop{margin-left:auto;display:none}.site-menu{position:relative}.site-menu summary{width:2.75rem;height:2.75rem;color:var(--text);cursor:pointer;background:0 0;border:0;border-radius:.35rem;place-items:center;padding:0;list-style:none;display:grid}.site-menu summary::marker{content:""}.site-menu summary::-webkit-details-marker{display:none}.site-menu summary:hover,.site-menu[open] summary{background:var(--surface)}.site-menu__label{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.site-menu__icon{gap:.28rem;width:1.2rem;display:grid}.site-menu__icon span{background:currentColor;border-radius:999px;width:100%;height:2px;display:block}.site-menu__icon span:last-child{justify-self:end;width:60%}.site-menu nav{z-index:5;border:1px solid var(--border);background:var(--surface);min-width:12rem;box-shadow:var(--shadow);border-radius:.45rem;padding:.5rem;position:absolute;top:calc(100% + .5rem);right:0}.site-nav{gap:.25rem;margin:0;padding:0;list-style:none;display:grid}.site-nav a{color:var(--text);border-radius:.3rem;padding:.65rem .75rem;text-decoration:none;display:block}.site-nav a:hover,.site-nav a[aria-current=page]{background:var(--surface-strong)}.site-nav--desktop .site-nav{align-items:center;gap:.15rem;display:flex}.site-nav--desktop .site-nav a{padding:.5rem .65rem}.site-main{padding-block:clamp(3rem,10vw,7rem)}.content-column{width:min(100%,48rem)}h1,h2,h3{letter-spacing:-.03em;line-height:1.12}h1{margin:0;font-size:clamp(2.35rem,8vw,4.75rem)}h2{margin-block:0 .75rem;font-size:clamp(1.4rem,4vw,2rem)}h3{font-size:1.15rem}p,ul,ol{margin-block:0 1.25rem}.lede{margin-top:1.25rem;font-size:clamp(1.15rem,3vw,1.4rem)}time,.entry-meta{color:var(--muted)}.not-found{width:min(100%,42rem)}.not-found__title{gap:.15em;display:grid}.not-found__code{color:var(--muted);letter-spacing:.14em;font-size:.32em;font-weight:750}.not-found__note{max-width:36rem;color:var(--muted);margin-top:2rem;font-size:.9rem}.section-block{border-top:1px solid var(--border);margin-top:clamp(3rem,10vw,6rem);padding-top:clamp(2rem,6vw,3rem)}.home-section{border-top:0;padding-top:0}.home-section+.home-section{border-top:1px solid var(--border);margin-top:clamp(2.5rem,8vw,4.5rem);padding-top:clamp(2rem,6vw,3rem)}.home-section .entry-card{border:1px solid var(--border);background:var(--surface);border-radius:.65rem;flex-direction:column;height:100%;padding:clamp(1.15rem,4vw,1.5rem);display:flex}.home-section .entry-card .entry-meta{margin-top:auto;padding-top:.35rem;font-size:.82rem}.home-layout{width:100%}.home-intro{width:min(100%,60rem)}.home-intro .lede{max-width:56rem}.home-start{width:min(100%,56rem)}.home-entry-grid{gap:1rem;margin:2rem 0 0;padding:0;list-style:none;display:grid}.home-entry-grid>li{min-width:0}.entry-kicker{color:var(--muted);letter-spacing:.04em;text-transform:uppercase;margin-bottom:.35rem;font-size:.85rem;font-weight:750}.entry-list{border-top:1px solid var(--border);gap:0;margin:2rem 0 0;padding:0;list-style:none;display:grid}.entry-card{border-block:1px solid var(--border);background:0 0;padding:clamp(1.25rem,4vw,1.75rem) 0}.entry-list .entry-card{border-top:0}.entry-card h2,.entry-card h3{margin-block:0 .5rem;font-size:clamp(1.2rem,4vw,1.45rem)}.entry-card p:last-child{margin-bottom:0}.article-header{border-bottom:1px solid var(--border);margin-bottom:clamp(2.5rem,8vw,4.5rem);padding-bottom:clamp(2rem,6vw,3rem)}.article-dates{flex-wrap:wrap;gap:.35rem 1rem;margin-top:1rem;display:flex}.prose{width:min(100%,46rem)}.article-tldr{font-size:clamp(1.12rem,2.5vw,1.3rem);line-height:1.45}.article-tldr strong{margin-right:.25em;font-size:1.08em;font-weight:800}.prose h2{margin-top:3rem}.prose h3{margin-top:2rem}.prose li+li{margin-top:.5rem}.prose img{max-width:100%;height:auto;display:block}.prose table{border-collapse:collapse;table-layout:fixed;width:100%;max-width:100%;margin-block:1.75rem}.prose th,.prose td{border:1px solid var(--border);text-align:left;vertical-align:top;overflow-wrap:anywhere;padding:.7rem .75rem}.prose th{background:var(--surface);font-weight:750}.article-illustration{width:min(100%,42rem);margin:clamp(2.25rem,7vw,3.75rem) auto;position:relative}.article-header+.article-illustration{margin-top:0}.article-illustration img{mix-blend-mode:multiply;width:100%;height:auto;display:block}.article-illustration__equation-link{border-radius:.25rem;width:18%;height:max(10%,2.5rem);position:absolute;top:52%;left:68%;transform:translateY(-50%)}.prose blockquote{border-left:1px solid var(--border);color:var(--muted);margin:1.75rem clamp(.5rem,4vw,2rem);padding-left:1rem;font-style:italic}.prose blockquote p{margin-bottom:.35rem}.prose blockquote p:last-child{margin-bottom:0;font-size:.9rem}.prose :not(pre)>code{border:1px solid var(--border);background:var(--surface);overflow-wrap:anywhere;border-radius:.2rem;padding:.1em .28em;font-size:.9em}.prose pre{border:1px solid var(--border);border-radius:.35rem;max-width:100%;margin-block:1.75rem;padding:1rem;overflow-x:auto}.prose pre code{font-size:inherit;white-space:pre-wrap;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.compendium .section-block{margin-top:0;padding-top:0}.compendium .link-type-label{color:var(--muted);font-size:.85em;font-weight:500}@media (width>=64rem){.home-entry-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.25rem}}@media (width>=48rem){.site-lockup{width:9.5rem}.site-nav--desktop{display:block}.site-menu{display:none}}@media (prefers-color-scheme:dark){.site-lockup{color:var(--brand-color-on-dark)}.article-illustration img{filter:invert();mix-blend-mode:screen}}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}.site-footer[data-astro-cid-z4jru4n3]{border-top:1px solid var(--border)}.site-footer__inner[data-astro-cid-z4jru4n3]{justify-content:center;padding-block:1rem;display:flex}.site-social-links[data-astro-cid-z4jru4n3]{flex-wrap:wrap;justify-content:center;gap:.15rem;margin:0;padding:0;list-style:none;display:flex}.site-social-links[data-astro-cid-z4jru4n3] a[data-astro-cid-z4jru4n3]{width:2.5rem;height:2.5rem;color:var(--muted);border-radius:50%;place-items:center;display:grid}.site-social-links[data-astro-cid-z4jru4n3] a[data-astro-cid-z4jru4n3]:hover{background:var(--surface);color:var(--text)}.site-social-links[data-astro-cid-z4jru4n3] svg[data-astro-cid-z4jru4n3]{fill:currentColor;width:1.1rem;height:1.1rem}