.prose>*+*{margin-top:1rem}.prose h2,.prose h3,.prose h4{color:var(--heading);margin-top:2rem;line-height:1.3}.prose h2{font-size:1.5rem}.prose h3{font-size:1.2rem}.prose a{text-underline-offset:3px;text-decoration:underline 1px;text-decoration-color:var(--accent)}.prose a:hover{text-decoration-thickness:2px}.prose ul,.prose ol{padding-left:1.5rem}.prose li+li{margin-top:.3rem}.prose blockquote{border-left:3px solid var(--accent);padding-left:1rem;font-style:italic}.prose code{font-family:var(--font-mono);font-size:.88em}.prose pre{border-radius:6px;padding:.9rem 1rem;font-size:.9rem;line-height:1.5;overflow-x:auto}.prose pre code{font-size:inherit}.prose hr{border:0;border-top:1px solid color-mix(in srgb, var(--text) 25%, transparent);margin:2rem 0}.prose img,.prose svg{max-width:100%;height:auto}.prose table{border-collapse:collapse;display:block;overflow-x:auto}.prose th,.prose td{border-bottom:1px solid color-mix(in srgb, var(--text) 20%, transparent);text-align:left;padding:.35rem .8rem}.reveal{border:1px solid color-mix(in srgb, var(--accent) 40%, transparent);background:color-mix(in srgb, var(--accent) 6%, transparent);padding:0 1rem}.reveal summary{cursor:pointer;color:var(--heading);margin:0 -1rem;padding:.55rem 1rem;font-weight:600}.reveal summary::marker{color:var(--accent)}.reveal[open] summary{border-bottom:1px solid color-mix(in srgb, var(--accent) 30%, transparent);margin-bottom:.9rem}.reveal[open]{padding-bottom:.9rem}.reveal>*+:not(summary){margin-top:1rem}.reveal+.reveal{margin-top:.6rem}html[data-eff=meadow] .reveal{border-radius:10px}html[data-eff=stars] .reveal{border-radius:3px}html[data-eff=stars] .reveal summary{font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--accent);font-size:.8rem;font-weight:500}.reveal summary .katex{text-transform:none;letter-spacing:normal}.stmt>*+*,.reveal+.stmt,.stmt+.stmt,.stmt+.reveal{margin-top:1rem}.stmt-head strong{color:var(--heading)}.stmt-theorem{border-left:3px solid var(--accent);background:color-mix(in srgb, var(--accent) 7%, transparent);padding:.8rem 1rem}.stmt-definition{border:1px solid color-mix(in srgb, var(--accent) 40%, transparent);padding:.8rem 1rem}.stmt-remark{border-left:1px solid color-mix(in srgb, var(--accent) 45%, transparent);padding:.1rem 0 .1rem 1rem}.stmt-remark .stmt-head strong{font-style:italic;font-weight:400}.stmt>.katex-display:first-child,.reveal>summary+.katex-display{margin-top:0}.stmt>.katex-display:last-child,.reveal>.katex-display:last-child{margin-bottom:0}.stmt-proof>:last-child:after,.stmt-solution>:last-child:not(.stmt-proof):after,.reveal-solution>:last-child:not(summary,.stmt-proof):after{content:"∎";float:right;margin-left:1rem}html[data-eff=meadow] .stmt-theorem,html[data-eff=meadow] .stmt-definition{border-radius:0 10px 10px 0}html[data-eff=meadow] .stmt-definition{border-radius:10px}html[data-eff=stars] .stmt-theorem,html[data-eff=stars] .stmt-definition{border-radius:3px}.wikilink-missing{text-underline-offset:3px;opacity:.75;text-decoration:underline dotted}.diagram{text-align:center;color:var(--text);margin:1.2rem 0;display:block}.diagram svg{max-width:100%;height:auto}.prose img{border-radius:6px;margin:1.2rem auto;display:block}.attachment-download{border:1px solid color-mix(in srgb, var(--accent) 45%, transparent);border-radius:6px;padding:.35rem .9rem .35rem 2rem;display:inline-block;position:relative;text-decoration:none!important}.attachment-download:before{content:"↓";color:var(--accent);position:absolute;left:.8rem}.attachment-download:hover{background:color-mix(in srgb, var(--accent) 10%, transparent)}.geogebra{margin:1.2rem 0}.geogebra iframe{border:1px solid color-mix(in srgb, var(--text) 20%, transparent);background:#fff;border-radius:6px;width:100%;height:auto;display:block}.geogebra figcaption{text-align:right;margin-top:.4rem;font-size:.85rem}.page-head[data-astro-cid-xa52sxzc]{margin-bottom:2rem}h1[data-astro-cid-xa52sxzc]{color:var(--hero);font-size:2.3rem;font-weight:600;line-height:1.2}.lede[data-astro-cid-xa52sxzc]{color:var(--hero-sub);margin-top:.4rem;font-style:italic}.meta[data-astro-cid-xa52sxzc]{color:var(--meta-on-sky);margin-bottom:.3rem;font-size:.85rem}.tags[data-astro-cid-xa52sxzc]{flex-wrap:wrap;gap:.4rem;margin-top:.7rem;list-style:none;display:flex}.tags[data-astro-cid-xa52sxzc] li[data-astro-cid-xa52sxzc]{border:1px solid color-mix(in srgb, var(--meta-on-sky) 55%, transparent);color:var(--meta-on-sky);border-radius:1rem;padding:.05rem .6rem;font-size:.8rem}html[data-eff=meadow] .meta[data-astro-cid-xa52sxzc]{font-style:italic}html[data-eff=meadow] h1[data-astro-cid-xa52sxzc]{text-shadow:0 1px #fff9}html[data-eff=stars] .meta[data-astro-cid-xa52sxzc],html[data-eff=stars] .tags[data-astro-cid-xa52sxzc] li[data-astro-cid-xa52sxzc]{font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;font-size:.75rem}html[data-eff=stars] h1[data-astro-cid-xa52sxzc]{letter-spacing:.02em}