article.svelte-1o2qe1x{max-width:650px;margin:0 auto;padding:2em;font-family:Computer Modern,Georgia,serif;line-height:1.7}h1.svelte-1o2qe1x{text-align:center;font-size:1.8em;margin-bottom:.2em}.subtitle.svelte-1o2qe1x{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}.appendix-rule.svelte-1o2qe1x{border:none;border-top:1px solid #ccc;margin:3em 0 1em}