:root,[data-theme=dark]{--ol-neutral-0: oklch(1 0 0);--ol-neutral-50: oklch(.965 .004 245);--ol-neutral-100: oklch(.915 .006 245);--ol-neutral-200: oklch(.815 .009 245);--ol-neutral-300: oklch(.715 .011 245);--ol-neutral-400: oklch(.615 .012 245);--ol-neutral-500: oklch(.515 .013 245);--ol-neutral-600: oklch(.43 .013 245);--ol-neutral-700: oklch(.345 .012 245);--ol-neutral-750: oklch(.295 .011 245);--ol-neutral-800: oklch(.245 .01 245);--ol-neutral-850: oklch(.205 .009 245);--ol-neutral-900: oklch(.175 .008 245);--ol-neutral-950: oklch(.145 .007 245);--ol-neutral-1000: oklch(.115 .006 245);--ol-accent-50: oklch(.97 .018 208);--ol-accent-100: oklch(.93 .038 208);--ol-accent-200: oklch(.875 .065 208);--ol-accent-300: oklch(.815 .092 208);--ol-accent-400: oklch(.765 .112 208);--ol-accent-500: oklch(.715 .125 208);--ol-accent-600: oklch(.635 .122 208);--ol-accent-700: oklch(.54 .108 208);--ol-accent-800: oklch(.435 .088 208);--ol-accent-900: oklch(.34 .066 208);--ol-sev-critical: oklch(.7 .19 25);--ol-sev-critical-solid: oklch(.6 .22 25);--ol-sev-critical-bg: oklch(.305 .085 25);--ol-sev-critical-border: oklch(.45 .13 25);--ol-sev-high: oklch(.76 .155 55);--ol-sev-high-solid: oklch(.7 .17 50);--ol-sev-high-bg: oklch(.32 .07 50);--ol-sev-high-border: oklch(.48 .11 50);--ol-sev-medium: oklch(.835 .135 85);--ol-sev-medium-solid: oklch(.8 .15 85);--ol-sev-medium-bg: oklch(.33 .06 85);--ol-sev-medium-border: oklch(.5 .09 85);--ol-sev-low: oklch(.72 .105 255);--ol-sev-low-solid: oklch(.62 .12 255);--ol-sev-low-bg: oklch(.31 .06 255);--ol-sev-low-border: oklch(.46 .09 255);--ol-sev-info: oklch(.74 .03 245);--ol-sev-info-solid: oklch(.62 .04 245);--ol-sev-info-bg: oklch(.3 .012 245);--ol-sev-info-border: oklch(.45 .02 245);--ol-sev-pass: oklch(.78 .15 155);--ol-sev-pass-solid: oklch(.68 .16 155);--ol-sev-pass-bg: oklch(.3 .07 155);--ol-sev-pass-border: oklch(.46 .1 155);--ol-canvas: var(--ol-neutral-950);--ol-surface: var(--ol-neutral-900);--ol-surface-raised: var(--ol-neutral-850);--ol-overlay: var(--ol-neutral-800);--ol-border-subtle: var(--ol-neutral-800);--ol-border: var(--ol-neutral-750);--ol-border-strong: var(--ol-neutral-700);--ol-text: var(--ol-neutral-50);--ol-text-secondary: var(--ol-neutral-200);--ol-text-muted: var(--ol-neutral-400);--ol-text-faint: var(--ol-neutral-500);--ol-page: var(--ol-neutral-1000);--ol-grid-line: oklch(.345 .012 245 / .14);--ol-code-bg: oklch(.115 .006 245);--ol-code-border: var(--ol-border);--ol-syntax-kw: var(--ol-accent-300);--ol-heat-text: var(--ol-neutral-50);--ol-accent: var(--ol-accent-400);--ol-accent-strong: var(--ol-accent-300);--ol-accent-hover: var(--ol-accent-300);--ol-accent-press: var(--ol-accent-500);--ol-accent-fg: oklch(.16 .02 245);--ol-accent-subtle: oklch(.3 .05 208);--ol-accent-border: var(--ol-accent-700);--ol-focus-ring: var(--ol-accent-400);--ol-font-display: "Sora", "Hanken Grotesk", system-ui, sans-serif;--ol-font-ui: "Hanken Grotesk", system-ui, -apple-system, sans-serif;--ol-font-mono: "Martian Mono", ui-monospace, "SF Mono", Menlo, monospace;--ol-text-display-xl: 3rem;--ol-text-display-l: 2.25rem;--ol-text-display-m: 1.75rem;--ol-text-heading-l: 1.375rem;--ol-text-heading-m: 1.125rem;--ol-text-heading-s: 1.0625rem;--ol-text-body-l: 1.125rem;--ol-text-body-m: 1rem;--ol-text-body-s: .875rem;--ol-text-label: .75rem;--ol-text-code: .84375rem;--ol-text-mono-s: .75rem;--ol-weight-regular: 400;--ol-weight-medium: 500;--ol-weight-semibold: 600;--ol-weight-bold: 700;--ol-leading-tight: 1.15;--ol-leading-snug: 1.3;--ol-leading-normal: 1.5;--ol-leading-relaxed: 1.65;--ol-tracking-tight: -.02em;--ol-tracking-snug: -.01em;--ol-tracking-normal: 0;--ol-tracking-wide: .08em;--ol-space-px: 1px;--ol-space-0-5: 2px;--ol-space-1: 4px;--ol-space-2: 8px;--ol-space-3: 12px;--ol-space-4: 16px;--ol-space-5: 20px;--ol-space-6: 24px;--ol-space-8: 32px;--ol-space-10: 40px;--ol-space-12: 48px;--ol-space-16: 64px;--ol-space-20: 80px;--ol-space-24: 96px;--ol-radius-none: 0;--ol-radius-xs: 3px;--ol-radius-sm: 4px;--ol-radius-md: 6px;--ol-radius-lg: 8px;--ol-radius-xl: 12px;--ol-radius-pill: 999px;--ol-border-width: 1px;--ol-border-width-thick: 1.5px;--ol-elev-0: none;--ol-elev-1: 0 1px 2px 0 rgba(0, 0, 0, .45);--ol-elev-2: 0 2px 6px -1px rgba(0, 0, 0, .5), 0 1px 2px rgba(0, 0, 0, .4);--ol-elev-3: 0 12px 28px -6px rgba(0, 0, 0, .6);--ol-glow-accent: 0 0 0 1px var(--ol-accent-700), 0 0 18px -6px var(--ol-accent-500);--ol-dur-instant: 80ms;--ol-dur-fast: .12s;--ol-dur-base: .18s;--ol-dur-slow: .24s;--ol-ease-standard: cubic-bezier(.2, 0, 0, 1);--ol-ease-out: cubic-bezier(.16, 1, .3, 1);--ol-ease-in: cubic-bezier(.4, 0, 1, 1)}[data-theme=light]{--ol-canvas: oklch(.98 .003 245);--ol-surface: oklch(1 0 0);--ol-surface-raised: oklch(.972 .004 245);--ol-overlay: oklch(.948 .005 245);--ol-border-subtle: oklch(.93 .005 245);--ol-border: oklch(.89 .007 245);--ol-border-strong: oklch(.815 .01 245);--ol-text: oklch(.235 .014 245);--ol-text-secondary: oklch(.39 .014 245);--ol-text-muted: oklch(.5 .013 245);--ol-text-faint: oklch(.56 .012 245);--ol-page: oklch(.975 .003 245);--ol-grid-line: oklch(.64 .01 245 / .05);--ol-code-bg: oklch(.972 .004 245);--ol-code-border: var(--ol-border);--ol-syntax-kw: oklch(.5 .11 245);--ol-heat-text: oklch(.235 .014 245);--ol-accent: var(--ol-accent-700);--ol-accent-strong: var(--ol-accent-800);--ol-accent-hover: var(--ol-accent-800);--ol-accent-press: var(--ol-accent-900);--ol-accent-fg: oklch(1 0 0);--ol-accent-subtle: oklch(.96 .03 208);--ol-accent-border: var(--ol-accent-300);--ol-focus-ring: var(--ol-accent-600);--ol-sev-critical: oklch(.52 .2 25);--ol-sev-critical-solid: oklch(.545 .215 27);--ol-sev-critical-bg: oklch(.958 .028 28);--ol-sev-critical-border: oklch(.84 .085 30);--ol-sev-high: oklch(.53 .15 52);--ol-sev-high-solid: oklch(.76 .165 62);--ol-sev-high-bg: oklch(.962 .04 65);--ol-sev-high-border: oklch(.85 .085 60);--ol-sev-medium: oklch(.53 .11 78);--ol-sev-medium-solid: oklch(.82 .15 88);--ol-sev-medium-bg: oklch(.966 .052 90);--ol-sev-medium-border: oklch(.86 .08 88);--ol-sev-low: oklch(.51 .15 255);--ol-sev-low-solid: oklch(.545 .15 255);--ol-sev-low-bg: oklch(.958 .03 255);--ol-sev-low-border: oklch(.85 .065 255);--ol-sev-info: oklch(.49 .018 245);--ol-sev-info-solid: oklch(.54 .022 245);--ol-sev-info-bg: oklch(.953 .005 245);--ol-sev-info-border: oklch(.875 .008 245);--ol-sev-pass: oklch(.48 .13 156);--ol-sev-pass-solid: oklch(.73 .15 156);--ol-sev-pass-bg: oklch(.958 .048 156);--ol-sev-pass-border: oklch(.84 .085 156);--ol-pro: oklch(.5 .155 268);--ol-pro-strong: oklch(.45 .15 268);--ol-pro-bg: oklch(.958 .035 268);--ol-pro-border: oklch(.85 .085 268);--ol-elev-0: none;--ol-elev-1: 0 1px 2px 0 rgba(18, 22, 30, .05);--ol-elev-2: 0 2px 8px -1px rgba(18, 22, 30, .08), 0 1px 2px rgba(18, 22, 30, .05);--ol-elev-3: 0 16px 36px -10px rgba(18, 22, 30, .16);--ol-glow-accent: 0 0 0 1px var(--ol-accent-300), 0 0 16px -8px var(--ol-accent-500)}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;padding:0;scroll-behavior:smooth}body{background:var(--ol-canvas);color:var(--ol-text);font-family:var(--ol-font-ui);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}::selection{background:var(--ol-accent-700);color:var(--ol-neutral-50)}a{color:inherit}:focus-visible{outline:2px solid var(--ol-focus-ring);outline-offset:2px}nav a[href]:hover{color:var(--ol-text)!important}@media(prefers-reduced-motion:no-preference){html.js section{opacity:0;transform:translateY(18px);transition:opacity .6s var(--ol-ease-out),transform .6s var(--ol-ease-out);will-change:opacity,transform}html.js section.is-visible{opacity:1;transform:none}}[data-term-caret]{animation:ol-blink 1s step-end infinite}.scp1,.scp2,.scp3,[data-theme-toggle]{transition:border-color var(--ol-dur-fast) var(--ol-ease-standard),color var(--ol-dur-fast) var(--ol-ease-standard),background var(--ol-dur-fast) var(--ol-ease-standard)}.scp1:hover,.scp2:hover,[data-theme-toggle]:hover{border-color:var(--ol-accent-border)!important;color:var(--ol-text)!important}.scp3:hover{background:var(--ol-surface)!important}.scp3[style*="background: var(--ol-accent)"]:hover{background:var(--ol-accent-hover)!important}.scp4:hover{color:var(--ol-accent)!important}[data-row]{-webkit-tap-highlight-color:transparent}[data-row]:hover{background:var(--ol-surface-raised)}@keyframes ol-blink{0%,49%{opacity:1}50%,to{opacity:0}}@keyframes ol-sweep{0%{transform:translateY(-110%)}to{transform:translateY(560%)}}@keyframes ol-fade-up{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:none}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}}@media(max-width:920px){[data-hero-grid],[data-proofgrid]{grid-template-columns:1fr!important}[data-proofcell]{border-right:none!important;border-bottom:1px solid var(--ol-border)!important}[data-findgrid],[data-howgrid],[data-whygrid],[data-intgrid]{grid-template-columns:1fr!important}[data-howcell],[data-whycell],[data-intcell]{border-right:none!important;border-bottom:1px solid var(--ol-border)!important}[data-howcell]:last-child,[data-whycell]:last-child,[data-intcell]:last-child{border-bottom:none!important}[data-findgrid]>article{grid-template-columns:3px minmax(0,1fr)!important}}@media(max-width:640px){[data-prinrow]{grid-template-columns:1fr!important}[data-prinrow]>div{border-right:none!important;border-bottom:1px solid var(--ol-border)!important}[data-prinrow]>div:last-child{border-bottom:none!important}}@media(max-width:560px){[data-statgrid]{grid-template-columns:1fr 1fr!important}[data-statcell]:nth-child(2){border-right:none!important}[data-statcell]{border-bottom:1px solid var(--ol-border)!important}}[data-nav-toggle]{display:none;align-items:center;justify-content:center;width:38px;height:38px;padding:0;background:var(--ol-surface);border:1px solid var(--ol-border-strong);color:var(--ol-text-secondary);cursor:pointer;transition:border-color var(--ol-dur-fast) var(--ol-ease-standard)}[data-nav-toggle]:hover{border-color:var(--ol-accent-border);color:var(--ol-text)}[data-nav-toggle] svg{display:block}@media(max-width:920px){html.js [data-nav-toggle]{display:inline-flex}nav{padding-left:var(--ol-space-4)!important;padding-right:var(--ol-space-4)!important;gap:var(--ol-space-3)!important}[data-navlinks]{position:absolute;top:56px;right:var(--ol-space-4);left:var(--ol-space-4);flex-direction:column!important;align-items:stretch!important;gap:0!important;padding:var(--ol-space-2);background:var(--ol-canvas);border:1px solid var(--ol-border-strong);box-shadow:0 16px 40px -16px #00000080;z-index:60}html.js [data-navlinks]{display:none!important}html.js [data-navlinks].open{display:flex!important}[data-navlinks]>a{display:block;padding:12px 14px!important;font-size:15px!important;min-height:44px;line-height:20px;border-bottom:1px solid var(--ol-border-subtle)}[data-navlinks]>a:last-child{border-bottom:none}[data-navlinks]>a:hover{background:var(--ol-surface)}}@media print{nav,[data-sweep]{display:none!important}body,[data-bg]{background:#fff!important;color:#000!important}}.prose pre.astro-code,.prose .astro-code span{background-color:var(--shiki-dark-bg);color:var(--shiki-dark)}.prose pre.astro-code{border:1px solid var(--ol-code-border)}:root[data-theme=light] .prose pre.astro-code,:root[data-theme=light] .prose .astro-code span{background-color:var(--shiki-light-bg);color:var(--shiki-light)}.ol-announce-link[data-astro-cid-o54ltyzl]:hover .ol-announce-more[data-astro-cid-o54ltyzl]{color:var(--ol-accent-hover);text-decoration:underline;text-underline-offset:2px}[data-astro-cid-o54ltyzl][data-announce-dismiss]:hover{color:var(--ol-text)!important}@media(max-width:560px){.ol-announce-more[data-astro-cid-o54ltyzl]{display:none!important}}