.home[data-astro-cid-ct3bgug4]{padding-top:clamp(1.5rem,.5rem + 4.5vw,5rem)}.hero[data-astro-cid-ct3bgug4]{display:grid;row-gap:1.25rem}.hero-name[data-astro-cid-ct3bgug4]{width:min-content;font-family:var(--font-serif);font-size:var(--step-display);font-weight:600;font-variation-settings:"opsz" 60;line-height:.9;letter-spacing:-.03em;color:var(--color-text)}.hero-tagline[data-astro-cid-ct3bgug4]{max-width:40ch;hyphens:manual;font-size:clamp(1.1875rem,1rem + .75vw,1.5rem);line-height:1.38;font-variation-settings:"opsz" 24;color:var(--color-text-secondary)}.tagline-lead[data-astro-cid-ct3bgug4]{display:block;font-weight:500;color:var(--color-text)}.tagline-rest[data-astro-cid-ct3bgug4]{display:block;text-wrap:balance}.facts[data-astro-cid-ct3bgug4]{margin-top:1rem;border-bottom:1px solid var(--color-border)}.fact[data-astro-cid-ct3bgug4]{display:flex;align-items:center;gap:.75rem;min-height:2.75rem;padding-block:.35rem;border-top:1px solid var(--color-border);font-size:var(--step-0);line-height:1.35}.fact[data-astro-cid-ct3bgug4] .ico[data-astro-cid-ct3bgug4]{color:var(--color-text-muted)}.fact-link[data-astro-cid-ct3bgug4]{color:var(--color-text);text-decoration:underline;text-decoration-color:var(--color-border);transition:text-decoration-color .15s ease}.fact-link[data-astro-cid-ct3bgug4]:hover{text-decoration-color:var(--color-primary)}.copy-btn[data-astro-cid-ct3bgug4],.fact-action[data-astro-cid-ct3bgug4]{margin-left:auto;flex:none;min-height:2rem;padding:0 .7rem;font:500 var(--step--2) / 1 var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--color-text-muted);border:1px solid var(--color-border);cursor:pointer;transition:color .15s ease,border-color .15s ease,transform .12s var(--ease-out)}.fact-action[data-astro-cid-ct3bgug4]{display:inline-flex;align-items:center;text-decoration:none}.copy-btn[data-astro-cid-ct3bgug4]:hover,.fact-action[data-astro-cid-ct3bgug4]:hover{color:var(--color-text);border-color:var(--color-text)}.copy-btn[data-astro-cid-ct3bgug4]:active{transform:scale(.97)}.copy-btn[data-astro-cid-ct3bgug4][data-state=done]{color:var(--color-primary);border-color:var(--color-primary)}@media(pointer:coarse){.copy-btn[data-astro-cid-ct3bgug4],.fact-action[data-astro-cid-ct3bgug4]{justify-content:center;min-height:2.75rem;min-width:2.75rem}}@media(min-width:1024px){.hero[data-astro-cid-ct3bgug4]{grid-template-columns:repeat(12,minmax(0,1fr));column-gap:1.5rem;align-items:end}.hero-name[data-astro-cid-ct3bgug4]{grid-column:1 / span 5}.hero-side[data-astro-cid-ct3bgug4]{grid-column:7 / span 6}}.proof[data-astro-cid-ct3bgug4]{position:relative;display:grid;grid-template-columns:minmax(0,1fr) auto;column-gap:1rem;row-gap:.35rem;align-items:last baseline;margin-top:clamp(1.75rem,.5rem + 4vw,4.5rem);padding-block:1.1rem 1.2rem}.proof-line[data-astro-cid-ct3bgug4]{display:contents}.proof-cell[data-astro-cid-ct3bgug4]{min-width:0;hyphens:manual}.proof[data-astro-cid-ct3bgug4]:before,.proof[data-astro-cid-ct3bgug4]:after,.toc[data-astro-cid-ct3bgug4]:before{content:"";position:absolute;left:0;right:0;height:1px;background:var(--color-rule);transform-origin:left center;animation:rule-draw .7s var(--ease-out) both}.proof[data-astro-cid-ct3bgug4]:before{top:0}.proof[data-astro-cid-ct3bgug4]:after{bottom:0;animation-delay:60ms}.rules-drawn .proof[data-astro-cid-ct3bgug4]:before,.rules-drawn .proof[data-astro-cid-ct3bgug4]:after,.rules-drawn .toc[data-astro-cid-ct3bgug4]:before{animation:none}@keyframes rule-draw{0%{transform:scaleX(0)}to{transform:scaleX(1)}}.proof-model[data-astro-cid-ct3bgug4]{grid-column:1;grid-row:1;font-size:var(--step-2);font-weight:600;font-variation-settings:"opsz" 40;line-height:1.1;letter-spacing:-.01em;color:var(--color-text)}.proof-date[data-astro-cid-ct3bgug4]{grid-column:2;grid-row:1;font-family:var(--font-mono);font-size:var(--step--1);font-variant-numeric:tabular-nums;line-height:1.3;color:var(--color-text);white-space:nowrap}.proof-what[data-astro-cid-ct3bgug4]{grid-column:1 / -1;font-size:var(--step-0);line-height:1.35;color:var(--color-text-secondary);text-wrap:balance}.proof-ref[data-astro-cid-ct3bgug4]{grid-column:1 / -1;margin-top:.2rem}.proof-sep[data-astro-cid-ct3bgug4]{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}@media(min-width:1024px){.proof[data-astro-cid-ct3bgug4]{grid-template-columns:repeat(5,minmax(0,1fr));column-gap:0;row-gap:0;overflow:hidden;padding-block:1.6rem 1.5rem}.proof-cell[data-astro-cid-ct3bgug4]{position:relative;grid-row:1;padding-inline:1.25rem}.proof-what[data-astro-cid-ct3bgug4]:before,.proof-date[data-astro-cid-ct3bgug4]:before,.proof-ref[data-astro-cid-ct3bgug4]:before{content:"";position:absolute;left:0;top:-4rem;bottom:-4rem;width:1px;background:var(--color-border)}.proof-model[data-astro-cid-ct3bgug4]{grid-column:1;padding-left:0;font-size:var(--step-3)}.proof-what[data-astro-cid-ct3bgug4]{grid-column:2;font-size:var(--step-0);line-height:1.3;color:var(--color-text)}.proof-date[data-astro-cid-ct3bgug4]{grid-column:3;font-size:var(--step-0);white-space:normal}.proof-ref[data-astro-cid-ct3bgug4]{grid-column:4 / span 2;margin-top:0;padding-right:0}}.toc[data-astro-cid-ct3bgug4]{position:relative}.toc[data-astro-cid-ct3bgug4]:before{top:0;display:none;animation-delay:.18s}.toc[data-astro-cid-ct3bgug4] li[data-astro-cid-ct3bgug4]+li[data-astro-cid-ct3bgug4] .toc-cell[data-astro-cid-ct3bgug4]{border-top:1px solid var(--color-border)}.toc-cell[data-astro-cid-ct3bgug4]{display:grid;grid-template-columns:3rem minmax(0,1fr) auto;grid-template-areas:"no title arrow" ". sub arrow";align-items:baseline;column-gap:.75rem;row-gap:.15rem;padding-block:1rem;color:var(--color-text);text-decoration:none}.toc-no[data-astro-cid-ct3bgug4]{grid-area:no;font:500 var(--step--1) / 1 var(--font-mono);color:var(--color-primary);font-variant-numeric:tabular-nums}.toc-title[data-astro-cid-ct3bgug4]{grid-area:title;font-size:var(--step-1);font-weight:600;line-height:1.2;text-decoration:underline;text-decoration-color:transparent;text-decoration-thickness:2px;text-underline-offset:.22em;transition:text-decoration-color .15s ease}.toc-sub[data-astro-cid-ct3bgug4]{grid-area:sub;font-size:.9375rem;line-height:1.4;color:var(--color-text-secondary)}.toc-sub[data-astro-cid-ct3bgug4].is-prose{text-wrap:pretty}.toc-sub[data-astro-cid-ct3bgug4].is-list{hyphens:manual}.toc-arrow[data-astro-cid-ct3bgug4]{grid-area:arrow;align-self:center;color:var(--color-text-muted);transition:transform .2s var(--ease-out),color .15s ease}.toc-cell[data-astro-cid-ct3bgug4]:focus-visible .toc-title[data-astro-cid-ct3bgug4]{text-decoration-color:var(--color-primary)}@media(hover:hover)and (pointer:fine){.toc-cell[data-astro-cid-ct3bgug4]:hover .toc-title[data-astro-cid-ct3bgug4]{text-decoration-color:var(--color-primary)}.toc-cell[data-astro-cid-ct3bgug4]:hover .toc-arrow[data-astro-cid-ct3bgug4]{transform:translate(3px);color:var(--color-primary)}}@media(min-width:768px)and (max-width:1023px){.toc-cell[data-astro-cid-ct3bgug4]{grid-template-columns:3.5rem 11rem minmax(0,1fr) auto;grid-template-areas:"no title sub arrow"}}@media(min-width:1024px){.facts[data-astro-cid-ct3bgug4]{margin-top:1.5rem}.toc[data-astro-cid-ct3bgug4]{margin-top:4rem;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border-bottom:1px solid var(--color-border)}.toc[data-astro-cid-ct3bgug4]:before{display:block}.toc[data-astro-cid-ct3bgug4] li[data-astro-cid-ct3bgug4]+li[data-astro-cid-ct3bgug4] .toc-cell[data-astro-cid-ct3bgug4]{border-top:0;border-left:1px solid var(--color-border)}.toc-cell[data-astro-cid-ct3bgug4]{height:100%;grid-template-columns:minmax(0,1fr) auto;grid-template-rows:auto auto 1fr;grid-template-areas:"no arrow" "title title" "sub sub";align-items:start;row-gap:.55rem;padding:1.1rem 1.25rem 1.6rem}.toc[data-astro-cid-ct3bgug4] li[data-astro-cid-ct3bgug4]:first-child .toc-cell[data-astro-cid-ct3bgug4]{padding-left:0}.toc[data-astro-cid-ct3bgug4] li[data-astro-cid-ct3bgug4]:last-child .toc-cell[data-astro-cid-ct3bgug4]{padding-right:0}.toc-title[data-astro-cid-ct3bgug4]{font-size:var(--step-2);margin-top:1.25rem}.toc-arrow[data-astro-cid-ct3bgug4]{align-self:start}}@media print{.home[data-astro-cid-ct3bgug4]{padding-top:6mm}.copy-btn[data-astro-cid-ct3bgug4]{display:none!important}.proof[data-astro-cid-ct3bgug4]:before,.proof[data-astro-cid-ct3bgug4]:after,.toc[data-astro-cid-ct3bgug4]:before{display:none}.proof[data-astro-cid-ct3bgug4]{margin-top:6mm;border-block:1pt solid #000;break-inside:avoid}.facts[data-astro-cid-ct3bgug4]{border-bottom:0}.toc[data-astro-cid-ct3bgug4]{display:none}}