.ko-proof[data-astro-cid-tjfnwbum] h1[data-astro-cid-tjfnwbum]{max-width:18ch;font-size:clamp(2rem,4vw,3.25rem);font-style:normal}.ko-proof[data-astro-cid-tjfnwbum] h2[data-astro-cid-tjfnwbum]{font-style:normal}.ko-proof[data-astro-cid-tjfnwbum] h3[data-astro-cid-tjfnwbum]{font:400 var(--fi-text-xl)/1.25 var(--fi-font-serif)}.ko-proof[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{max-width:72ch}.ko-proof-intro[data-astro-cid-tjfnwbum]{gap:var(--fi-space-7);grid-template-columns:minmax(0,1.45fr) minmax(0,.8fr);align-items:start;display:grid}.ko-proof-purpose[data-astro-cid-tjfnwbum]{margin-top:var(--fi-space-4);color:var(--fi-text-soft)}.ko-proof-status[data-astro-cid-tjfnwbum]{border-left:1px solid var(--fi-line);padding-left:var(--fi-space-5)}.ko-proof-status[data-astro-cid-tjfnwbum] h2[data-astro-cid-tjfnwbum]{font:600 var(--fi-text-base)/1.4 var(--fi-font-sans);margin-top:0}.ko-proof-status[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-sm);margin-block:var(--fi-space-3)}.ko-proof-status[data-astro-cid-tjfnwbum] a[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-sm)}.ko-proof-nav[data-astro-cid-tjfnwbum]{gap:var(--fi-space-3) var(--fi-space-5);border-top:1px solid var(--fi-line);padding-top:var(--fi-space-4);margin-top:var(--fi-space-6);font-size:var(--fi-text-sm);flex-wrap:wrap;display:flex}.ko-proof[data-astro-cid-tjfnwbum] [data-astro-cid-tjfnwbum][id]{scroll-margin-top:8rem}.ko-credential-diagram[data-astro-cid-tjfnwbum]{margin:var(--fi-space-6) 0;border-block:1px solid var(--fi-line);padding-block:var(--fi-space-4)}.ko-credential-diagram[data-astro-cid-tjfnwbum] figcaption[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-sm);color:var(--fi-text-soft);margin-bottom:var(--fi-space-6)}.ko-proof-process[data-astro-cid-tjfnwbum]{gap:var(--fi-space-6);grid-template-columns:repeat(4,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{min-width:0;padding:0;position:relative}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]:not(:last-child):before{content:"";top:1rem;left:2.7rem;right:calc(-1 * var(--fi-space-6) + .5rem);border-top:1px dashed var(--fi-text-soft);position:absolute}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]:not(:last-child):after{content:"";top:calc(1rem - 3px);right:calc(-1 * var(--fi-space-6) + .5rem);border-top:1px solid var(--fi-text-soft);border-right:1px solid var(--fi-text-soft);width:6px;height:6px;position:absolute;transform:rotate(45deg)}.ko-proof-step[data-astro-cid-tjfnwbum]{border:1px solid var(--fi-accent);width:2rem;height:2rem;color:var(--fi-accent-strong);text-align:center;font:500 var(--fi-text-sm)/2rem var(--fi-font-mono);margin-bottom:var(--fi-space-4);display:block}.ko-proof-process[data-astro-cid-tjfnwbum] h3[data-astro-cid-tjfnwbum]{margin:0 0 var(--fi-space-3)}.ko-proof-process[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-sm);margin-block:var(--fi-space-2)}.ko-proof-actor[data-astro-cid-tjfnwbum]{font-weight:600}.ko-proof[data-astro-cid-tjfnwbum] .ko-proof-boundary[data-astro-cid-tjfnwbum]{align-items:baseline;gap:var(--fi-space-3);border-top:1px solid var(--fi-line);max-width:none;padding-top:var(--fi-space-4);margin:var(--fi-space-5) 0 0;font-size:var(--fi-text-sm);color:var(--fi-text-soft);display:flex}.ko-proof-boundary[data-astro-cid-tjfnwbum] strong[data-astro-cid-tjfnwbum]{color:var(--fi-text)}.ko-proof-boundary[data-astro-cid-tjfnwbum]>span[data-astro-cid-tjfnwbum]{color:var(--fi-accent-strong)}.ko-proof-note[data-astro-cid-tjfnwbum]{border-left:2px solid var(--fi-line);max-width:80ch;padding-left:var(--fi-space-5);margin-top:var(--fi-space-5)}.ko-proof-note[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{margin-block:var(--fi-space-3)}.ko-proof-question[data-astro-cid-tjfnwbum]{color:var(--fi-text-soft);font-size:var(--fi-text-sm)}.ko-proof-disclosure[data-astro-cid-tjfnwbum]{margin-top:var(--fi-space-5);border-block:1px solid var(--fi-line)}.ko-proof-disclosure[data-astro-cid-tjfnwbum] summary[data-astro-cid-tjfnwbum]{padding-block:var(--fi-space-4);color:var(--fi-accent-strong);cursor:pointer;font-weight:600}.ko-proof-disclosure[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]{max-width:72ch;padding-bottom:var(--fi-space-3)}.ko-proof-caption[data-astro-cid-tjfnwbum]{color:var(--fi-text-soft);font-size:var(--fi-text-sm)}.ko-proof-example-layout[data-astro-cid-tjfnwbum]{gap:var(--fi-space-7);grid-template-columns:minmax(0,.85fr) minmax(0,1.35fr);display:grid}.ko-proof-example-heading[data-astro-cid-tjfnwbum] .ko-proof-caption[data-astro-cid-tjfnwbum],.ko-proof[data-astro-cid-tjfnwbum] .ko-assessment-example[data-astro-cid-tjfnwbum]{margin-top:0}.ko-proof-criteria[data-astro-cid-tjfnwbum],.ko-proof-record[data-astro-cid-tjfnwbum],.ko-proof-research[data-astro-cid-tjfnwbum]{margin:0}.ko-proof-criteria[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum],.ko-proof-record[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum],.ko-proof-research[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]{padding-block:var(--fi-space-4);border-bottom:1px solid var(--fi-line)}.ko-proof-criteria[data-astro-cid-tjfnwbum] dt[data-astro-cid-tjfnwbum],.ko-proof-record[data-astro-cid-tjfnwbum] dt[data-astro-cid-tjfnwbum],.ko-proof-research[data-astro-cid-tjfnwbum] dt[data-astro-cid-tjfnwbum]{margin-bottom:var(--fi-space-2);font-weight:600}.ko-proof-criteria[data-astro-cid-tjfnwbum] dd[data-astro-cid-tjfnwbum],.ko-proof-record[data-astro-cid-tjfnwbum] dd[data-astro-cid-tjfnwbum],.ko-proof-research[data-astro-cid-tjfnwbum] dd[data-astro-cid-tjfnwbum]{color:var(--fi-text-soft);margin:0}.ko-proof-record[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]:first-child{padding-top:0}.ko-proof-integrity[data-astro-cid-tjfnwbum]{padding-left:var(--fi-space-5);margin-top:0;list-style:decimal}.ko-proof-integrity[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{padding-left:var(--fi-space-2);margin-bottom:var(--fi-space-5)}.ko-proof-integrity[data-astro-cid-tjfnwbum] h3[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-lg);margin:0 0 var(--fi-space-2)}.ko-proof-integrity[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{margin:0}.ko-proof-access[data-astro-cid-tjfnwbum]{gap:var(--fi-space-7);grid-template-columns:minmax(0,1fr) minmax(0,1fr);display:grid}.ko-proof-access[data-astro-cid-tjfnwbum] h3[data-astro-cid-tjfnwbum]{margin-top:var(--fi-space-4)}.ko-proof-access[data-astro-cid-tjfnwbum] ul[data-astro-cid-tjfnwbum]{padding-left:var(--fi-space-5)}.ko-proof-access[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{margin-bottom:var(--fi-space-3)}.ko-proof-research[data-astro-cid-tjfnwbum]{margin-bottom:var(--fi-space-5)}.ko-proof-research[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]{gap:var(--fi-space-5);grid-template-columns:12rem minmax(0,1fr);display:grid}.ko-proof-sources[data-astro-cid-tjfnwbum] ul[data-astro-cid-tjfnwbum]{padding:0;list-style:none}.ko-proof-sources[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{padding-block:var(--fi-space-4)}.ko-proof-sources[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]>a[data-astro-cid-tjfnwbum]{font-weight:600}.ko-proof-sources[data-astro-cid-tjfnwbum] p[data-astro-cid-tjfnwbum]{margin-block:var(--fi-space-2)}.ko-proof-related[data-astro-cid-tjfnwbum]{padding-top:var(--fi-space-5)}.ko-proof-why[data-astro-cid-tjfnwbum]{gap:var(--fi-space-5);margin:0 0 var(--fi-space-6);grid-template-columns:repeat(auto-fit,minmax(min(100%,20rem),1fr));display:grid}.ko-proof-why[data-astro-cid-tjfnwbum] dt[data-astro-cid-tjfnwbum]{font:400 var(--fi-text-2xl)/1.1 var(--fi-font-serif);margin-bottom:var(--fi-space-2)}.ko-proof-why[data-astro-cid-tjfnwbum] dd[data-astro-cid-tjfnwbum]{color:var(--fi-text-soft);margin:0}.ko-proof-why[data-astro-cid-tjfnwbum] a[data-astro-cid-tjfnwbum]{font-size:var(--fi-text-sm);margin-top:var(--fi-space-2);display:block}.ko-proof[data-astro-cid-tjfnwbum] .ko-proof-prec-h[data-astro-cid-tjfnwbum]{font:600 var(--fi-text-base)/1.4 var(--fi-font-sans);margin:0 0 var(--fi-space-3)}.ko-proof-prec[data-astro-cid-tjfnwbum]{margin:0 0 var(--fi-space-4);max-width:52rem;padding:0;list-style:none}.ko-proof-prec[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{border-top:1px solid var(--fi-line);padding:var(--fi-space-3) 0}.ko-proof-prec[data-astro-cid-tjfnwbum] a[data-astro-cid-tjfnwbum]{font-weight:600}.ko-proof-prec[data-astro-cid-tjfnwbum] span[data-astro-cid-tjfnwbum]{color:var(--fi-text-soft)}@media (width<=850px){.ko-proof-intro[data-astro-cid-tjfnwbum],.ko-proof-example-layout[data-astro-cid-tjfnwbum]{gap:var(--fi-space-5);grid-template-columns:1fr}.ko-proof-status[data-astro-cid-tjfnwbum]{border-left:0;border-top:1px solid var(--fi-line);padding:var(--fi-space-4) 0 0}.ko-proof-process[data-astro-cid-tjfnwbum]{gap:var(--fi-space-5);grid-template-columns:1fr}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]{padding-left:3.2rem;padding-bottom:var(--fi-space-4)}.ko-proof-step[data-astro-cid-tjfnwbum]{margin:0;position:absolute;top:0;left:0}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]:not(:last-child):before{top:2.6rem;left:1rem;right:auto;bottom:calc(-1 * var(--fi-space-5) + .5rem);border-top:0;border-left:1px dashed var(--fi-text-soft)}.ko-proof-process[data-astro-cid-tjfnwbum] li[data-astro-cid-tjfnwbum]:not(:last-child):after{top:auto;left:calc(1rem - 3px);right:auto;bottom:calc(-1 * var(--fi-space-5) + .5rem);transform:rotate(135deg)}.ko-proof[data-astro-cid-tjfnwbum] .ko-proof-boundary[data-astro-cid-tjfnwbum]{display:block}.ko-proof-boundary[data-astro-cid-tjfnwbum]>span[data-astro-cid-tjfnwbum]{margin-right:var(--fi-space-2)}}@media (width<=600px){.ko-proof-process[data-astro-cid-tjfnwbum],.ko-proof-access[data-astro-cid-tjfnwbum],.ko-proof-research[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]{gap:var(--fi-space-4);grid-template-columns:1fr}.ko-proof-process[data-astro-cid-tjfnwbum]{gap:var(--fi-space-5)}.ko-proof-research[data-astro-cid-tjfnwbum]>div[data-astro-cid-tjfnwbum]{gap:0}.ko-proof-nav[data-astro-cid-tjfnwbum]{column-gap:var(--fi-space-4)}.ko-proof-note[data-astro-cid-tjfnwbum]{padding-left:var(--fi-space-4)}}