.formula[data-astro-cid-ggshasbz]{border:1px solid var(--color-border);border-radius:var(--radius-md,6px);background:var(--color-surface-muted,var(--color-surface));margin:1.25rem 0;padding:1rem 1.25rem;overflow-x:auto}.formula-render[data-astro-cid-ggshasbz]{overflow-x:auto}.formula[data-astro-cid-ggshasbz] figcaption[data-astro-cid-ggshasbz]{color:var(--color-text-muted);margin-top:.75rem;font-size:.9rem}.formula-source[data-astro-cid-ggshasbz]{font-variant:small-caps}.crosswalk-table[data-astro-cid-3zkd2xu6]{margin-top:2rem}.cell-meta[data-astro-cid-3zkd2xu6]{color:var(--color-muted);margin-top:.35rem;font-size:.85rem}.lean-decl-list[data-astro-cid-ltpt6lgn]{margin:0;padding:0;list-style:none}.lean-decl-list[data-astro-cid-ltpt6lgn] li[data-astro-cid-ltpt6lgn]+li[data-astro-cid-ltpt6lgn]{margin-top:.75rem}.lean-decl-links[data-astro-cid-ltpt6lgn]{margin-top:.25rem}.reference-index[data-astro-cid-azd4c6e7]{margin-top:1.5rem}.letter-group[data-astro-cid-azd4c6e7]{border:1px solid var(--color-border);border-radius:var(--radius-md,6px);background:var(--color-surface);margin-bottom:.65rem;padding:.35rem .85rem}.letter-group[data-astro-cid-azd4c6e7] summary[data-astro-cid-azd4c6e7]{cursor:pointer;align-items:baseline;gap:.5rem;font-weight:600;list-style:none;display:flex}.letter-group[data-astro-cid-azd4c6e7] summary[data-astro-cid-azd4c6e7]::-webkit-details-marker{display:none}.letter[data-astro-cid-azd4c6e7]{min-width:1.25rem}.count[data-astro-cid-azd4c6e7]{color:var(--color-muted);font-size:.9em;font-weight:400}.letter-group[data-astro-cid-azd4c6e7] ul[data-astro-cid-azd4c6e7]{margin:.75rem 0 .35rem;padding-left:1.1rem}.letter-group[data-astro-cid-azd4c6e7] li[data-astro-cid-azd4c6e7]{margin:.45rem 0}.title[data-astro-cid-azd4c6e7]{color:var(--color-text-muted)}.lifecycle-section[data-astro-cid-xkglr2by]{max-width:52rem;margin-top:2rem}.lifecycle-intro[data-astro-cid-xkglr2by]{margin:.5rem 0 .75rem;line-height:1.6}.lifecycle-note[data-astro-cid-xkglr2by]{color:var(--color-muted,#4a5568);margin:0 0 .75rem;font-size:.96em;line-height:1.6}.lifecycle-gaps[data-astro-cid-xkglr2by]{border-left:3px solid var(--color-border,#c8d4e0);background:var(--color-surface,#fafbfc);padding:.65rem .85rem}.lifecycle-axis-line[data-astro-cid-xkglr2by]{margin:0 0 1.25rem}.role-block[data-astro-cid-xkglr2by]{margin:1.75rem 0}.role-block[data-astro-cid-xkglr2by] h3[data-astro-cid-xkglr2by]{margin-bottom:.35rem}.role-summary[data-astro-cid-xkglr2by]{color:var(--color-muted,#4a5568);margin:0 0 .65rem;line-height:1.6}.bridge-list[data-astro-cid-xkglr2by],.open-interface-list[data-astro-cid-xkglr2by],.instance-pair-list[data-astro-cid-xkglr2by]{margin:.5rem 0 0;padding-left:1.25rem;line-height:1.55}.instance-pair-list[data-astro-cid-xkglr2by]{margin-top:.75rem}.instance-pair-list[data-astro-cid-xkglr2by] ul[data-astro-cid-xkglr2by]{margin:.25rem 0 .5rem;padding-left:1.25rem;line-height:1.55}.instance-pair-list[data-astro-cid-xkglr2by]>li[data-astro-cid-xkglr2by]{margin-bottom:.35rem}.peer-tag[data-astro-cid-xkglr2by],.open-interface-tag[data-astro-cid-xkglr2by],.gravestone-tag[data-astro-cid-xkglr2by]{color:var(--color-muted,#64748b);margin-left:.35rem;font-size:.85em;font-style:italic}li[data-astro-cid-xkglr2by].gravestone{color:var(--color-muted,#4a5568)}.open-interface-list[data-astro-cid-xkglr2by] p[data-astro-cid-xkglr2by]{color:var(--color-muted,#4a5568);margin:.35rem 0 0;font-size:.95em;line-height:1.5}.lean-crux[data-astro-cid-xkglr2by] code[data-astro-cid-xkglr2by]{font-size:.9em}.specify-construct-section[data-astro-cid-uyv5suax]{max-width:100%;margin-top:2rem}.specify-construct-section[data-astro-cid-uyv5suax] .table-wrap[data-astro-cid-uyv5suax]{overflow-x:auto}.specify-construct-intro[data-astro-cid-uyv5suax]{margin:.5rem 0 .75rem;line-height:1.6}.specify-construct-note[data-astro-cid-uyv5suax]{max-width:48rem;margin:0 0 1rem;line-height:1.5}.specify-construct-table[data-astro-cid-uyv5suax]{min-width:64rem;font-size:.84rem}.specify-construct-table[data-astro-cid-uyv5suax] th[data-astro-cid-uyv5suax],.specify-construct-table[data-astro-cid-uyv5suax] td[data-astro-cid-uyv5suax]{vertical-align:top;padding:.55rem .5rem}.correspondence-cell[data-astro-cid-uyv5suax],.refs-cell[data-astro-cid-uyv5suax]{max-width:18rem;color:var(--color-muted,#4a5568);line-height:1.45}.param-cell[data-astro-cid-uyv5suax]{white-space:nowrap;font-size:.82em}.bet-flag[data-astro-cid-uyv5suax]{color:var(--color-muted,#64748b);margin-top:.2rem;font-size:.85em;font-style:italic;display:block}.pair-code[data-astro-cid-uyv5suax]{color:var(--color-muted,#64748b);font-size:.82em}.peer-table[data-astro-cid-uyv5suax]{margin-top:.75rem}.specify-construct-section[data-astro-cid-uyv5suax] h3[data-astro-cid-uyv5suax]{margin-top:1.75rem;font-size:1.1rem}.adjacent-section[data-astro-cid-qyw3u2kl]{max-width:52rem;margin-top:2rem}.adjacent-intro[data-astro-cid-qyw3u2kl]{margin:.5rem 0 .75rem;line-height:1.6}.adjacent-note[data-astro-cid-qyw3u2kl]{color:var(--color-muted,#4a5568);margin:0 0 .75rem;font-size:.96em;line-height:1.6}.adjacent-firewall[data-astro-cid-qyw3u2kl]{border-left:3px solid var(--color-border,#c8d4e0);background:var(--color-surface,#fafbfc);padding:.65rem .85rem}.adjacent-list[data-astro-cid-qyw3u2kl]{margin:1rem 0 0;padding-left:1.25rem;line-height:1.55}.adjacent-list[data-astro-cid-qyw3u2kl]>li[data-astro-cid-qyw3u2kl]{margin-bottom:1.25rem}.adjacent-list[data-astro-cid-qyw3u2kl] p[data-astro-cid-qyw3u2kl]{color:var(--color-muted,#4a5568);margin:.35rem 0 0;font-size:.95em;line-height:1.5}.adjacent-carrier[data-astro-cid-qyw3u2kl],.adjacent-bridges[data-astro-cid-qyw3u2kl],.adjacent-type[data-astro-cid-qyw3u2kl]{color:var(--color-muted,#64748b);font-size:.92em}.adjacent-sources[data-astro-cid-qyw3u2kl]{color:var(--color-text,#1a202c)!important}.adjacent-book[data-astro-cid-qyw3u2kl]{margin-top:.25rem!important}.bridge-graph-section[data-astro-cid-mt3mevkr]{max-width:52rem;margin-top:2rem}.bridge-graph-lede[data-astro-cid-mt3mevkr]{margin:.5rem 0 .75rem;line-height:1.6}.bridge-graph-disclaimer[data-astro-cid-mt3mevkr]{border-left:3px solid var(--color-border,#c8d4e0);background:var(--color-surface,#fafbfc);margin:0 0 1rem;padding:.75rem 1rem}