.summary-table.svelte-rlotpj.svelte-rlotpj{width:100%;border-collapse:collapse;margin:1.2em 0;font-size:.92em}.summary-table.svelte-rlotpj td.svelte-rlotpj{padding:.35em .6em;border-bottom:1px solid #ddd}.summary-table.svelte-rlotpj tr:first-child td.svelte-rlotpj{border-bottom:2px solid #999}article.svelte-9fmu4a{max-width:650px;margin:0 auto;padding:2em;font-family:Computer Modern,Georgia,serif;line-height:1.7}h1.svelte-9fmu4a{text-align:center;font-size:1.8em;margin-bottom:.2em}.subtitle.svelte-9fmu4a{text-align:center;font-size:.95em;color:#666;margin-bottom:2em}section{margin-bottom:2.5em}h2{font-size:1.3em;margin-top:2em;margin-bottom:.8em}h3{font-size:1.05em;margin-top:1.5em;margin-bottom:.6em}.katex-display{margin:1.4em 0;overflow-x:auto}.katex{font-size:1.05em}