.theorem-catalog .theorem-name{font-family:var(--font-mono);font-size:1rem;line-height:1.65;overflow-wrap:anywhere;font-weight:500}.theorem-catalog .theorem-note{margin-block:.75rem}.theorem-catalog .theorem-metadata{font-size:.875rem;line-height:1.7;margin-block:.75rem;overflow-wrap:anywhere;color:var(--editorial-muted,var(--docs-muted,#a3a3a3))}.theorem-fields{margin:0 0 2rem;font-size:.875rem;line-height:1.7}.theorem-fields>div{display:grid;grid-template-columns:8.5rem minmax(0,1fr);gap:1rem;margin-block:.5rem}.theorem-fields dt{color:var(--editorial-muted,var(--docs-muted,#a3a3a3))}.theorem-fields dd{margin:0;min-width:0;overflow-wrap:anywhere}.theorem-fields code{font-family:var(--font-mono);font-size:.8125rem}.theorem-catalog [data-lookup-level="3"]:has(.theorem-name){border-bottom:1px solid var(--editorial-rule,var(--docs-border,#262626))}@media (max-width:600px){.theorem-fields>div{grid-template-columns:minmax(0,1fr);gap:.125rem}}