.pp-cell[data-astro-cid-zdrsjxmc]{position:relative}main.site-main--page:has(.page-slot>.proof-post){padding-top:0;padding-bottom:0}.proof-post[data-astro-cid-zdrsjxmc]{padding-top:var(--bar-height)}.proof-post[data-astro-cid-zdrsjxmc] .pp-cell[data-astro-cid-zdrsjxmc]>.pp-plate{aspect-ratio:auto;block-size:min(125vw,46svh);inline-size:100%}@media (width>=48rem){.proof-post[data-astro-cid-zdrsjxmc] .pp-cell[data-astro-cid-zdrsjxmc]>.pp-plate{block-size:min(42.8571vw,54svh)}}.pp-head[data-astro-cid-zdrsjxmc]{row-gap:var(--space-4);padding-top:var(--space-6);padding-bottom:var(--space-8);border-bottom:1px solid var(--proof-hairline)}.pp-head[data-astro-cid-zdrsjxmc]>[data-astro-cid-zdrsjxmc]{grid-column:1/-1}.pp-back[data-astro-cid-zdrsjxmc]{margin-bottom:var(--space-2)}.pp-marks[data-astro-cid-zdrsjxmc]{gap:var(--space-2);flex-basis:100%;display:flex}.pp-meta[data-astro-cid-zdrsjxmc] cite[data-astro-cid-zdrsjxmc]{font-style:italic}.pp-title[data-astro-cid-zdrsjxmc]{font-size:min(var(--text-display-l), 12.5vw);max-inline-size:18ch;line-height:1}.pp-summary[data-astro-cid-zdrsjxmc]{max-inline-size:46ch;font-size:var(--text-body-l);line-height:var(--text-body-l--line-height);font-variation-settings:"opsz" 24;text-wrap:pretty}.pp-dates[data-astro-cid-zdrsjxmc]{font-family:var(--font-sans);font-size:var(--text-meta);line-height:var(--text-meta--line-height);font-variant-numeric:lining-nums proportional-nums;color:var(--color-muted)}.pp-body[data-astro-cid-zdrsjxmc]{padding-top:var(--space-8);padding-bottom:var(--section-pad);container:pp-body/inline-size}.pp-prose[data-astro-cid-zdrsjxmc],.pp-sources[data-astro-cid-zdrsjxmc]{grid-column:1/-1}.pp-prose[data-astro-cid-zdrsjxmc]{hanging-punctuation:first;max-inline-size:16em;font-size:1.25rem;line-height:1.6}.pp-prose[data-astro-cid-zdrsjxmc]>*{max-inline-size:100%}.pp-prose[data-astro-cid-zdrsjxmc] p,.pp-prose[data-astro-cid-zdrsjxmc] li{text-wrap:pretty;font-variant-numeric:lining-nums proportional-nums}.pp-prose[data-astro-cid-zdrsjxmc] a{text-underline-offset:.18em;text-decoration-thickness:1px}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll{max-inline-size:none}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll table{min-inline-size:44rem;font-size:var(--text-meta);line-height:var(--text-meta--line-height);font-variant-numeric:lining-nums proportional-nums}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll table:not(:has(tr>:nth-child(3))){min-inline-size:0}.proof-post[data-astro-cid-zdrsjxmc] .iso-date{white-space:nowrap}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll :is(th,td){padding-inline-end:var(--space-3)}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll th{border-bottom-color:var(--color-ink)}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll td{border-bottom-color:var(--proof-rule)}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll:focus-visible{outline:2px solid var(--color-focus-inner);box-shadow:0 0 0 4px var(--color-focus-outer)}.pp-prose[data-astro-cid-zdrsjxmc] .mdx-figure{max-inline-size:none;padding-block:var(--space-4)}.pp-prose[data-astro-cid-zdrsjxmc] .mdx-figure figcaption{margin-top:var(--space-3);font-family:var(--font-sans);font-size:var(--text-meta);line-height:var(--text-meta--line-height);color:var(--color-muted)}.pp-prose[data-astro-cid-zdrsjxmc] :not(pre)>code{overflow-wrap:anywhere}.pp-prose[data-astro-cid-zdrsjxmc] pre{max-inline-size:none;padding-block:var(--space-4);border-block:1px solid var(--proof-rule);border-block-start-color:var(--color-ink);tab-size:2;font-family:ui-monospace,Cascadia Mono,Menlo,Consolas,monospace;font-size:.8125rem;line-height:1.5;overflow-x:auto;color:var(--color-ink)!important;background-color:#0000!important}.pp-prose[data-astro-cid-zdrsjxmc] pre code{font:inherit;font-variant-numeric:normal}.pp-prose[data-astro-cid-zdrsjxmc] pre span{color:inherit!important}.pp-prose[data-astro-cid-zdrsjxmc] pre:focus-visible{outline:2px solid var(--color-focus-inner);box-shadow:0 0 0 4px var(--color-focus-outer)}.pp-prose[data-astro-cid-zdrsjxmc] .pp-scroll-hint{margin-top:var(--space-2);font-family:var(--font-sans);font-size:var(--text-meta);line-height:var(--text-meta--line-height);color:var(--color-muted)}.pp-prose[data-astro-cid-zdrsjxmc] .pp-scroll-hint[hidden],.pp-outline[data-astro-cid-zdrsjxmc]{display:none}.pp-sources[data-astro-cid-zdrsjxmc]{margin-top:var(--space-9);padding-top:var(--space-5);border-top:1px solid var(--proof-hairline);font-size:var(--text-small);line-height:var(--text-small--line-height)}.pp-sources[data-astro-cid-zdrsjxmc] h2[data-astro-cid-zdrsjxmc]{font-family:var(--font-sans);font-size:var(--text-small);font-weight:600}.pp-sources[data-astro-cid-zdrsjxmc] ol[data-astro-cid-zdrsjxmc]{margin-top:var(--space-3);max-inline-size:var(--container-measure);padding-inline-start:1.5em;list-style:decimal}.pp-sources[data-astro-cid-zdrsjxmc] li[data-astro-cid-zdrsjxmc]+li[data-astro-cid-zdrsjxmc]{margin-top:var(--space-2)}.pp-next[data-astro-cid-zdrsjxmc]{row-gap:var(--space-5);padding-top:var(--space-6);padding-bottom:var(--section-pad);border-top:1px solid var(--proof-hairline)}.pp-next-label[data-astro-cid-zdrsjxmc]{font-family:var(--font-sans);font-size:var(--text-meta);line-height:var(--text-meta--line-height);color:var(--color-muted);grid-column:1/-1}.pp-next-cell[data-astro-cid-zdrsjxmc]{row-gap:var(--space-5);grid-column:1/-1;display:grid;position:relative}.pp-next-text[data-astro-cid-zdrsjxmc]{align-content:start;row-gap:var(--space-3);display:grid}.pp-next-hl[data-astro-cid-zdrsjxmc]{font-size:var(--text-heading-l);line-height:var(--text-heading-l--line-height)}.pp-next-link[data-astro-cid-zdrsjxmc]{text-decoration:none}.pp-next-link[data-astro-cid-zdrsjxmc]:after{content:"";position:absolute;inset:0}.pp-next-link[data-astro-cid-zdrsjxmc]:focus-visible{box-shadow:none;outline:none}.pp-next-cell[data-astro-cid-zdrsjxmc]:has(.pp-next-link:focus-visible){outline:2px solid var(--color-focus-inner);outline-offset:10px;box-shadow:0 0 0 12px var(--color-focus-outer)}.pp-next-summary[data-astro-cid-zdrsjxmc]{max-inline-size:44ch;font-size:var(--text-small);color:var(--color-muted);text-wrap:pretty;line-height:1.6}@media (width>=48rem){.pp-prose[data-astro-cid-zdrsjxmc]{max-inline-size:27.5em;font-size:var(--text-body)}.pp-next-cell[data-astro-cid-zdrsjxmc]{grid-template-columns:subgrid}.pp-next-cell[data-astro-cid-zdrsjxmc]>.pp-next-plate{grid-column:1/span 4}.pp-next-text[data-astro-cid-zdrsjxmc]{grid-column:5/-1}}@media (width>=64rem){.pp-head[data-astro-cid-zdrsjxmc]>[data-astro-cid-zdrsjxmc],.pp-next-label[data-astro-cid-zdrsjxmc],.pp-next-cell[data-astro-cid-zdrsjxmc]{grid-column:3/span 8}.pp-body[data-astro-cid-zdrsjxmc]>[data-astro-cid-zdrsjxmc]{grid-column:3/span 7}.pp-next-cell[data-astro-cid-zdrsjxmc]>.pp-next-plate{grid-column:1/span 3}.pp-next-text[data-astro-cid-zdrsjxmc]{grid-column:4/-1}.pp-prose[data-astro-cid-zdrsjxmc] :is(.table-scroll,pre,.mdx-figure[data-wide]){inline-size:calc((100cqi - 11 * var(--grid-gutter)) / 12 * 10 + 9 * var(--grid-gutter))}.pp-prose[data-astro-cid-zdrsjxmc] .table-scroll table{min-inline-size:0}}@media (width>=80rem){.pp-body[data-astro-cid-zdrsjxmc]>.pp-outline[data-astro-cid-zdrsjxmc]{grid-area:1/1/auto/span 2;display:block}.pp-outline-nav[data-astro-cid-zdrsjxmc]{top:calc(var(--bar-height) + var(--space-7));font-family:var(--font-sans);font-size:var(--text-meta);line-height:var(--text-meta--line-height);color:var(--color-muted);position:sticky}.pp-outline-title[data-astro-cid-zdrsjxmc]{color:var(--color-ink);margin-bottom:var(--space-3);font-weight:500}.pp-outline-nav[data-astro-cid-zdrsjxmc] li[data-astro-cid-zdrsjxmc] a[data-astro-cid-zdrsjxmc]{color:inherit;box-shadow:inset 1px 0 0 var(--proof-rule);min-block-size:24px;padding-block:6px;padding-inline-start:var(--space-3);text-decoration:none;display:block}@media (hover:hover){.pp-outline-nav[data-astro-cid-zdrsjxmc] li[data-astro-cid-zdrsjxmc] a[data-astro-cid-zdrsjxmc]:hover{color:var(--color-ink)}}.pp-outline-nav[data-astro-cid-zdrsjxmc] li[data-astro-cid-zdrsjxmc] a[data-astro-cid-zdrsjxmc][aria-current=location]{color:var(--color-ink);box-shadow:inset 2px 0 0 var(--color-accent)}}