.tree-fig[data-astro-cid-vougvk4m]{max-width:var(--prose);margin:8px 0 24px}.tree-scroll[data-astro-cid-vougvk4m]{padding-top:12px;overflow-x:auto}.tree-fig[data-astro-cid-vougvk4m] svg{width:100%;min-width:520px;height:auto;font-family:var(--mono);font-size:13px;display:block}.tree-fig[data-astro-cid-vougvk4m] .edge{stroke:var(--rule);stroke-width:1.5px}.tree-fig[data-astro-cid-vougvk4m] .edge.hot{stroke:var(--verified)}.tree-fig[data-astro-cid-vougvk4m] .n rect{fill:var(--paper);stroke:var(--rule)}.tree-fig[data-astro-cid-vougvk4m] .n.path rect{stroke:var(--verified);stroke-width:1.5px}.tree-fig[data-astro-cid-vougvk4m] .n.proof rect{stroke:var(--proof);stroke-width:1.5px}.tree-fig[data-astro-cid-vougvk4m] .n text{text-anchor:middle;fill:var(--ink)}.tree-fig[data-astro-cid-vougvk4m] .n.path text{fill:var(--verified)}.tree-fig[data-astro-cid-vougvk4m] .n.proof text{fill:var(--proof)}.tree-fig[data-astro-cid-vougvk4m] .idx{text-anchor:middle;fill:var(--ink-2)}.tree-fig[data-astro-cid-vougvk4m] .idx.on{fill:var(--ink);font-weight:600}.tree-fig[data-astro-cid-vougvk4m] .cap{fill:var(--ink-2);font-family:var(--serif)}