.misc-paper.svelte-9z3p45{width:min(100%,900px)}.scope-note.svelte-9z3p45{margin:0 0 1.2rem;color:var(--latex-muted);font-size:.8rem}