svg[data-astro-cid-ueximygm]{font-family:var(--mono)}.fold-diagram[data-astro-cid-ueximygm] .caption[data-astro-cid-ueximygm]{margin-top:15px}