.content.svelte-1nstmjy{line-height:1.6}.content.svelte-1nstmjy img{border-radius:1rem;width:min(100%,30rem);margin-inline:auto}.content.svelte-1nstmjy svg.diagram{width:100%;margin-block:1rem}.content.svelte-1nstmjy .theorem{border:1px solid var(--secondary-outline-color);background-color:var(--theorem-bg-color);border-radius:.4rem;margin-block:1.5rem;padding:.5rem 1rem}.content.svelte-1nstmjy .theorem .theorem-title{margin-right:.5rem;font-weight:600}.content.svelte-1nstmjy .theorem p:first-of-type{display:inline}.content.svelte-1nstmjy .theorem p:last-of-type{margin-bottom:0}.content.svelte-1nstmjy span.qed{float:right}