@font-face{font-family:Instrument Sans;src:url(/fonts/InstrumentSans-400.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Instrument Sans;src:url(/fonts/InstrumentSans-500.woff2)format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:Instrument Sans;src:url(/fonts/InstrumentSans-600.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:Instrument Sans;src:url(/fonts/InstrumentSans-400-Italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Inconsolata;src:url(/fonts/Inconsolata-400.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Inconsolata;src:url(/fonts/Inconsolata-600.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:JuliaMono;src:url(/fonts/JuliaMono-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:JuliaMono;src:url(/fonts/JuliaMono-SemiBold.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}:root{--ink:#000;--page:#f5f7fa;--white:#fff;--night:#191c27;--gray-300:#4b5b6f;--gray-100:#78889d;--silver-100:#e0eaf8;--blue-400:#003477;--blue-300:#1555a7;--blue-200:#2986ff;--blue-100:#cae1ff;--orange-400:#a83300;--orange-300:#ce3e00;--orange-200:#ff4d00;--orange-100:#ffc8b1;--hairline:#0000001f;--rule-strong:#00000026;--rule-soft:#00000014;--tag-blue:#e3eeff;--tag-trusted:#e4e8ee;--tag-heuristic:#ecedef;--verified-fill:#f4f8ff;--trusted-fill:#eef1f5;--link:var(--blue-300);--surface:var(--page);--surface-card:var(--white);--text-body:var(--ink);--text-muted:var(--gray-300);--border-hairline:var(--rule-strong);--font-sans:"Instrument Sans", system-ui, sans-serif;--font-label:"Inconsolata", "JuliaMono", monospace;--font-code:"JuliaMono", ui-monospace, monospace;--font-mono:"Inconsolata", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--space-1:8px;--space-2:16px;--space-3:26px;--space-4:52px;--space-5:104px;--gap-landing:72px;--section-gap:56px;--page-pad:24px;--radius:0;--measure:684px;--measure-narrow:571px;--measure-wide:1080px;--logo-w:263px}.display{font-family:var(--font-sans);letter-spacing:-.02em;font-size:48px;font-weight:500;line-height:52px}.heading-1{font-family:var(--font-sans);letter-spacing:-.02em;font-size:36px;font-weight:500;line-height:42px}.heading-2{font-family:var(--font-sans);letter-spacing:-.015em;font-size:26px;font-weight:500;line-height:32px}.lead{font-family:var(--font-sans);letter-spacing:0;font-size:20px;font-weight:400;line-height:30px}.heading-3{font-family:var(--font-sans);letter-spacing:-.01em;font-size:20px;font-weight:600;line-height:27px}.body{font-family:var(--font-sans);font-size:17px;font-weight:400;line-height:28px}.body-small{font-family:var(--font-sans);font-size:15px;font-weight:400;line-height:23px}.claim{font-family:var(--font-sans);font-size:17px;font-style:italic;font-weight:400;line-height:28px}.label{font-family:var(--font-label);letter-spacing:.08em;text-transform:uppercase;font-size:13px;font-weight:600;line-height:16px}.nav{font-family:var(--font-label);font-size:15px;font-weight:400;line-height:20px}.tag{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;font-size:12px;font-weight:600;line-height:14px}.stat{font-family:var(--font-label);font-variant-numeric:tabular-nums;font-size:36px;font-weight:600;line-height:42px}.code{font-family:var(--font-code);font-size:14px;font-weight:400;line-height:21px}@media (width<=640px){.display{font-size:38px;line-height:42px}.heading-1{font-size:30px;line-height:36px}}:where(html){background-color:var(--page);text-size-adjust:100%}:where(body){background-color:var(--page);color:var(--ink);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;overflow-wrap:break-word;margin:0;font-size:17px;font-weight:400;line-height:28px}:where(*){box-sizing:border-box}:where(.in-root) :where(h1,h2,h3,h4,p,ul,ol,figure,blockquote,pre){margin:0}:where(.in-root) :focus-visible,.in-btn:focus-visible,.in-link:focus-visible,.in-navlink:focus-visible{outline:1px solid var(--ink);outline-offset:3px}.in-column{width:100%;max-width:calc(var(--measure) + var(--page-pad) * 2);padding-inline:var(--page-pad);margin-inline:auto}.in-column--narrow{max-width:calc(var(--measure-narrow) + var(--page-pad) * 2)}.in-column--wide{max-width:calc(var(--measure-wide) + var(--page-pad) * 2)}.in-logo{height:auto;display:block}.in-logo--black{fill:var(--ink)}.in-logo--white{fill:var(--white)}.in-link{color:var(--link);text-underline-offset:3px;text-decoration:underline 1px}.in-link:hover{color:var(--blue-400)}.in-navlink{font-family:var(--font-label);color:var(--ink);white-space:nowrap;padding-block:9px;font-size:15px;line-height:20px;text-decoration:none;display:inline-block}.in-navlink:before{content:"[ ";white-space:pre}.in-navlink:after{content:" ]";white-space:pre}.in-navlink:hover,.in-navlink[aria-current=page]{color:var(--blue-300)}.in-header--centered{align-items:center;gap:var(--space-2);padding-block:var(--space-4) var(--space-3);flex-direction:column;display:flex}.in-header--centered .in-header__logo{color:inherit;display:block}.in-header__nav--brackets{flex-wrap:wrap;justify-content:center;gap:0 clamp(32px,8vw,104px);display:flex}.in-header--bar{justify-content:space-between;align-items:center;gap:var(--space-3);border-bottom:1px solid var(--hairline);padding-block:18px;display:flex}.in-header--bar .in-header__logo{flex:none;display:block}.in-header__nav--plain{flex-wrap:wrap;justify-content:flex-end;gap:4px 22px;display:flex}.in-header__nav--plain a{color:var(--gray-300);font-size:15px;line-height:23px;text-decoration:none}.in-header__nav--plain a:hover,.in-header__nav--plain a[aria-current=page]{color:var(--blue-300)}@media (width<=720px){.in-header__nav--plain{display:none}}.in-btn{border-radius:var(--radius);min-height:36px;font-family:var(--font-label);letter-spacing:.08em;text-transform:uppercase;cursor:pointer;white-space:nowrap;border:1px solid #0000;align-items:center;gap:8px;padding:9px 14px;font-size:13px;font-weight:600;line-height:16px;text-decoration:none;display:inline-flex}.in-btn:hover{text-underline-offset:3px;text-decoration:underline}.in-btn--primary{background:var(--orange-200);border-color:var(--orange-200);color:var(--ink)}.in-btn--primary:active{background:var(--orange-300);border-color:var(--orange-300)}.in-btn--outline{border-color:var(--ink);color:var(--ink);background:0 0}.in-btn--outline:active{background:var(--white)}.in-btn--dark{background:var(--night);border-color:var(--night);color:var(--white)}.in-btn__arrow{font-weight:400}.in-actions{flex-wrap:wrap;gap:10px;display:flex}.in-eyebrow{font-family:var(--font-label);letter-spacing:.08em;text-transform:uppercase;color:var(--blue-300);font-size:13px;font-weight:600;line-height:16px;display:block}.in-tag{border-radius:var(--radius);font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;white-space:nowrap;vertical-align:middle;padding:3px 7px;font-size:12px;font-weight:600;line-height:14px;display:inline-block}.in-tag--theorem,.in-tag--verified{background:var(--tag-blue);color:var(--blue-300)}.in-tag--trusted{background:var(--tag-trusted);color:var(--gray-300)}.in-tag--heuristic{background:var(--tag-heuristic);color:var(--gray-300)}.in-tag--neutral{color:var(--gray-300);box-shadow:inset 0 0 0 1px var(--rule-strong);background:0 0}.in-statement{column-gap:var(--space-2);grid-template-columns:max-content 1fr;align-items:start;font-size:17px;line-height:28px;display:grid}.in-statement>.in-tag{margin-top:4px}.in-statement--boxed{background:var(--white);border:1px solid var(--hairline);padding:var(--space-2) 20px}.in-status{padding:12px var(--space-2) 14px;border:1px solid var(--blue-200);background:var(--verified-fill);flex-direction:column;align-items:flex-start;gap:6px;display:flex}.in-status__title{color:var(--ink);font-size:15px;line-height:23px}.in-status__body{color:var(--gray-300);font-size:15px;line-height:23px}.in-status--trusted{border:1px dashed var(--gray-100);background:var(--trusted-fill)}.in-status--compiled{border:1px solid var(--rule-strong);background:var(--white)}.in-status-grid{grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:12px;display:grid}.in-map{flex-direction:column;gap:12px;display:flex}.in-map__legend{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;color:var(--gray-300);flex-wrap:wrap;gap:6px 20px;font-size:12px;font-weight:600;line-height:14px;display:flex}.in-map__swatch{vertical-align:-2px;width:12px;height:12px;margin-right:6px;display:inline-block}.in-map__swatch--lean{border:1px solid var(--blue-200);background:var(--verified-fill)}.in-map__swatch--trusted{border:1px dashed var(--gray-100);background:var(--trusted-fill)}.in-map__row{grid-template-columns:minmax(130px,170px) auto 1fr;align-items:center;gap:12px;display:grid}.in-map__row--solo{grid-template-columns:1fr}.in-map__arrow{font-family:var(--font-label);color:var(--gray-300);font-size:17px}.in-map__lean{padding:12px var(--space-2) var(--space-2);border:1px solid var(--blue-200);background:var(--verified-fill);flex-direction:column;gap:10px;display:flex}.in-map__label{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;color:var(--gray-300);font-size:12px;font-weight:600;line-height:14px}.in-map__label--lean{color:var(--blue-300)}.in-map__grid{grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:10px;display:grid}.in-map__item{background:var(--white);border:1px solid var(--blue-200);flex-direction:column;align-items:flex-start;gap:6px;padding:10px 12px 12px;display:flex}.in-map__trusted{padding:12px var(--space-2) var(--space-2);align-items:stretch;gap:10px}.in-map__trusted-title{color:var(--ink);font-size:15px;line-height:23px}@media (width<=720px){.in-map__row{grid-template-columns:1fr}.in-map__arrow{justify-self:start;padding-left:8px;transform:rotate(90deg)}}.in-stats{gap:var(--space-2);flex-direction:column;display:flex}.in-stats__label{font-family:var(--font-label);letter-spacing:.08em;text-transform:uppercase;color:var(--blue-300);font-size:13px;font-weight:600;line-height:16px}.in-stats__row{gap:var(--space-2);grid-template-columns:repeat(auto-fit,minmax(160px,1fr));margin:0;display:grid}.in-stat{border-top:1px solid var(--rule-strong);flex-direction:column-reverse;gap:4px;padding-top:12px;display:flex}.in-stat__value{font-family:var(--font-label);font-variant-numeric:tabular-nums;color:var(--ink);margin:0;font-size:36px;font-weight:600;line-height:42px}.in-stat__label{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;color:var(--gray-300);font-size:12px;font-weight:600;line-height:14px}.in-code{background:var(--white);border:1px solid var(--hairline);border-radius:var(--radius);padding:13px var(--space-2);font-family:var(--font-code);color:var(--ink);white-space:pre;font-variant-ligatures:none;margin:0;font-size:14px;line-height:21px;overflow-x:auto}.in-code-figure{flex-direction:column;gap:8px;margin:0;display:flex}.in-code-figure figcaption{color:var(--gray-300);font-size:15px;line-height:23px}.in-table-scroll{overflow-x:auto}.in-table{border-collapse:collapse;width:100%;font-size:15px;line-height:23px}.in-table th{text-align:left;color:var(--gray-300);border-bottom:1px solid var(--rule-strong);vertical-align:bottom;padding:8px 16px 8px 0;font-weight:400}.in-table td{border-bottom:1px solid var(--rule-soft);vertical-align:top;padding:7px 16px 7px 0}.in-table :is(th,td):last-child{padding-right:0}.in-table .in-num{text-align:right;font-family:var(--font-label);font-variant-numeric:tabular-nums;white-space:nowrap}.in-table th.in-num{font-size:15px}.in-table tfoot td{border-top:1px solid var(--rule-strong);border-bottom:0;font-weight:600}.in-table tfoot td.in-num{font-weight:600}.in-quote{border-left:2px solid var(--blue-300);color:var(--ink);margin:0;padding:2px 0 2px 18px;font-size:17px;font-style:italic;line-height:28px}.in-quote cite{color:var(--gray-300);margin-top:8px;font-size:15px;font-style:normal;line-height:23px;display:block}.in-display{letter-spacing:-.02em;margin:0;font-size:48px;font-weight:500;line-height:52px}.in-h1{letter-spacing:-.02em;margin:0;font-size:36px;font-weight:500;line-height:42px}.in-h2{letter-spacing:-.015em;margin:0;font-size:26px;font-weight:500;line-height:32px}.in-h3{letter-spacing:-.01em;margin:0;font-size:20px;font-weight:600;line-height:27px}@media (width<=640px){.in-display{font-size:38px;line-height:42px}.in-h1{font-size:30px;line-height:36px}}.in-hero{padding-block:var(--space-4);border-bottom:1px solid var(--hairline);flex-direction:column;gap:20px;display:flex}.in-lead{letter-spacing:0;margin:0;font-size:20px;font-weight:400;line-height:30px}.in-hero__lede{max-width:var(--measure);letter-spacing:0;color:var(--gray-300);font-size:20px;font-weight:400;line-height:30px}.in-hero>.in-actions{margin-top:8px}.in-hero--centered{text-align:center;align-items:center}.in-hero--centered .in-actions{justify-content:center}.in-section-header{gap:var(--space-1);flex-direction:column;display:flex}.in-section-header__intro{color:var(--ink);max-width:var(--measure);margin-top:8px;font-size:17px;line-height:28px}.in-meta{gap:8px var(--space-3);flex-wrap:wrap;margin:0;display:flex}.in-meta__item{flex-direction:column;gap:2px;margin:0;display:flex}.in-meta dt{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;color:var(--gray-300);font-size:12px;font-weight:600;line-height:14px}.in-meta dd{color:var(--ink);margin:0;font-size:15px;line-height:23px}.in-card{background:var(--white);border:1px solid var(--hairline);color:var(--ink);flex-direction:column;gap:8px;padding:20px;text-decoration:none;display:flex}.in-card__desc{color:var(--gray-300);flex:1;font-size:15px;line-height:23px}.in-card__more{font-family:var(--font-label);letter-spacing:.08em;text-transform:uppercase;color:var(--blue-300);margin-top:8px;font-size:13px;font-weight:600;line-height:16px}.in-card__builds{font-family:var(--font-label);letter-spacing:.06em;text-transform:uppercase;color:var(--gray-300);font-size:12px;font-weight:600;line-height:14px}a.in-card:hover .in-card__more{text-underline-offset:3px;text-decoration:underline}a.in-card:hover{border-color:var(--rule-strong)}.in-card-grid{grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:12px;display:grid}.in-prose{color:var(--ink);font-size:17px;line-height:28px}.in-prose>*{margin:0 0 var(--space-3)}.in-prose>:last-child{margin-bottom:0}.in-prose h2{letter-spacing:-.01em;margin:36px 0 10px;font-size:20px;font-weight:600;line-height:27px}.in-prose :is(h3,h4){margin:var(--space-3) 0 6px;font-size:17px;font-weight:600;line-height:28px}.in-prose>:is(h2,h3,h4):first-child{margin-top:0}.in-prose a{color:var(--link);text-underline-offset:3px;text-decoration:underline 1px}.in-prose a:hover{color:var(--blue-400)}.in-prose strong{font-weight:600}.in-prose :is(ul,ol){padding-left:1.5em}.in-prose li+li{margin-top:.35em}.in-prose :not(pre)>code{font-family:var(--font-code);background:var(--white);box-shadow:inset 0 0 0 1px var(--hairline);padding:1px 5px;font-size:.86em}.in-prose pre{background:var(--white);border:1px solid var(--hairline);font-family:var(--font-code);padding:13px 16px;font-size:14px;line-height:21px;overflow-x:auto}.in-prose blockquote{border-left:2px solid var(--blue-300);padding:2px 0 2px 18px;font-style:italic}.in-prose img,.in-prose figure{max-width:100%;display:block}.in-prose figcaption{color:var(--gray-300);margin-top:8px;font-size:15px;line-height:23px}.in-prose table{border-collapse:collapse;width:100%;font-size:15px;line-height:23px}.in-prose th{text-align:left;color:var(--gray-300);border-bottom:1px solid var(--rule-strong);padding:8px 16px 8px 0;font-weight:400}.in-prose td{border-bottom:1px solid var(--rule-soft);padding:7px 16px 7px 0}.in-prose :is(th,td).num,.in-prose :is(th,td)[align=right]{text-align:right;font-family:var(--font-label);font-variant-numeric:tabular-nums}.in-footer{justify-content:space-between;align-items:center;gap:8px var(--space-3);padding-block:var(--space-3);border-top:1px solid var(--hairline);color:var(--gray-300);flex-wrap:wrap;font-size:15px;line-height:23px;display:flex}.in-footer__links{flex-wrap:wrap;gap:0 22px;display:flex}.in-footer--centered{border-top:0;flex-direction:column;justify-content:center}.in-header__tagline{max-width:var(--measure-narrow);margin-top:calc(var(--gap-landing) - var(--space-2));text-align:center;color:var(--ink)}.in-landing{flex-direction:column;align-items:center;min-height:100svh;padding-block:60px;display:flex}.in-landing__main{flex-direction:column;flex:1;justify-content:center;display:flex}.in-landing__nav{padding-top:var(--gap-landing);flex-wrap:wrap;justify-content:center;gap:.5rem clamp(32px,8vw,104px);display:flex}.in-about>hr,.in-prose>hr{border:0;border-top:1px solid var(--hairline);margin:calc(var(--section-gap) / 2) 0}:root{--code-keyword:var(--ink);--code-comment:var(--gray-300);--code-function:var(--blue-300);--code-type:var(--blue-400);--code-literal:var(--orange-400);--code-number:var(--orange-400);--code-bracket:var(--gray-300);--header-h:61px}html{scroll-padding-top:calc(var(--header-h) + var(--space-2))}:where(a){color:var(--link);text-decoration:none}:where(a):hover{color:var(--blue-400)}.site-prose a,.in-section-header__intro a{text-underline-offset:3px;text-decoration:underline 1px}h1,h2,h3,h4{font-family:var(--font-sans);margin:0;font-weight:500}img{max-width:100%}button{border-radius:var(--radius)}.in-status--trusted{background:repeating-linear-gradient(45deg, var(--trusted-fill) 0 4px, var(--tag-trusted) 4px 7px)}.in-map__swatch--trusted{background:repeating-linear-gradient(45deg, var(--trusted-fill) 0 3px, var(--tag-trusted) 3px 5px)}.site-section{gap:var(--space-3);padding-block:var(--gap-landing);border-bottom:1px solid var(--hairline);flex-direction:column;display:flex}.site-section--last{border-bottom:0}.in-hero.site-hero{min-height:495px;padding-block:96px var(--space-5);justify-content:center;gap:24px;position:relative;overflow:hidden}.site-hero__art{pointer-events:none;user-select:none;width:auto;max-width:none;height:125%;position:absolute;top:50%;right:-90px;transform:translateY(-50%)}.site-hero>:not(.site-hero__art){position:relative}.site-split{grid-template-columns:252px minmax(0,1fr);gap:48px;display:grid}.site-split .in-h2{text-wrap:balance}@media (width<=1100px){.site-hero__art{opacity:.6}}@media (width<=900px){.site-split{gap:var(--space-3);grid-template-columns:minmax(0,1fr)}}@media (width<=720px){.site-section{padding-block:var(--space-4)}.in-hero.site-hero{gap:20px;min-height:0;padding-block:56px 64px}.site-hero__art{width:400px;height:auto;top:-40px;right:-96px;transform:none}}.site-prose{gap:var(--space-2);max-width:var(--measure);flex-direction:column;display:flex}.site-prose p{margin:0}.site-stack{gap:var(--space-2);flex-direction:column;display:flex}.site-header[data-astro-cid-wpvy4v7s]{z-index:10;background:var(--page);position:sticky;top:0}.in-header--bar[data-astro-cid-wpvy4v7s]{min-height:var(--header-h);padding-block:12px}.in-header__logo[data-astro-cid-wpvy4v7s] img[data-astro-cid-wpvy4v7s]{width:auto;height:26px;display:block}.in-header__nav--plain[data-astro-cid-wpvy4v7s]{flex:1}.action[data-astro-cid-wpvy4v7s]{flex:none}.menu-button[data-astro-cid-wpvy4v7s]{cursor:pointer;background:0 0;border:0;flex-direction:column;justify-content:center;align-items:center;gap:5px;min-width:44px;min-height:36px;margin-right:-12px;padding:0;display:none}.menu-button[data-astro-cid-wpvy4v7s] span[data-astro-cid-wpvy4v7s]{background:var(--ink);width:20px;height:1px;display:block}.menu[data-astro-cid-wpvy4v7s]{display:none}@media (width<=1100px){.in-header__nav--plain[data-astro-cid-wpvy4v7s],.action[data-astro-cid-wpvy4v7s]{display:none}.menu-button[data-astro-cid-wpvy4v7s]{display:flex}.menu[data-astro-cid-wpvy4v7s]{padding-block:var(--space-1) var(--space-3);border-bottom:1px solid var(--hairline);flex-direction:column;display:flex}.menu[data-astro-cid-wpvy4v7s][hidden]{display:none}.menu[data-astro-cid-wpvy4v7s] a[data-astro-cid-wpvy4v7s]:not(.in-btn){border-bottom:1px solid var(--rule-soft);min-height:44px;color:var(--ink);align-items:center;font-size:17px;line-height:28px;display:flex}.menu[data-astro-cid-wpvy4v7s] a[data-astro-cid-wpvy4v7s]:not(.in-btn):hover{color:var(--blue-300)}.menu[data-astro-cid-wpvy4v7s] .in-btn[data-astro-cid-wpvy4v7s]{margin-top:var(--space-2);align-self:flex-start}}.in-footer__links[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]{color:var(--gray-300);white-space:nowrap;padding-block:9px;display:inline-block}.in-footer__links[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]:hover{color:var(--blue-300)}