.proof.svelte-k3nrp7{margin:1.25em 0 1.75em}.heading.svelte-k3nrp7{color:var(--ink);margin-right:.3em;font-style:italic}.heading.svelte-k3nrp7+p{display:inline}.proof.svelte-k3nrp7>:last-child{margin-bottom:0}.proof.svelte-k3nrp7:after{content:"∎";text-align:right;color:var(--muted);margin-top:-1.72em;display:block}.statement.svelte-tzha2c{border-left:2px solid color-mix(in srgb, var(--accent) 45%, transparent);margin:1.75em 0;padding:.1em 0 .1em 1.1em;scroll-margin-top:2rem;font-style:italic}.statement.svelte-tzha2c .math-tag{font-style:normal}.statement.upright.svelte-tzha2c{border-left-color:var(--rule-strong);font-style:normal}.statement.bare.svelte-tzha2c{border:none;margin:0;padding:0}.heading.svelte-tzha2c{color:var(--ink);margin-right:.3em;font-style:normal;font-weight:650;display:inline-block}.title.svelte-tzha2c{margin-left:.3em;font-weight:400}.heading.svelte-tzha2c+p{display:inline}.statement.svelte-tzha2c>:first-child:not(.heading){margin-top:0}.statement.svelte-tzha2c>:last-child{margin-bottom:0}.statement.svelte-tzha2c:target{animation:2.4s ease-out svelte-tzha2c-arrive}@keyframes svelte-tzha2c-arrive{0%{background:var(--accent-soft)}}