.content.svelte-1nstmjy{line-height:1.6}.content.svelte-1nstmjy img{border:1px solid var(--secondary-outline-color);border-radius:.5rem}.content.svelte-1nstmjy img.small{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 .proof .proof-title{font-style:italic}.content.svelte-1nstmjy .proof .qed{float:right;margin-left:.5rem}.content.svelte-1nstmjy .proof .qed-clear{clear:both;display:block}.content.svelte-1nstmjy pre{background-color:var(--secondary-bg-color);border-radius:.75rem;padding:1rem;font-size:.875rem}.content.svelte-1nstmjy pre code{white-space:pre-wrap}