.theorem-block{background:rgba(0,0,0,.02);border-left:none;border-radius:4px;margin:1.5rem 0;padding:1rem 1.25rem}.theorem-header{font-family:var(--font-geist-sans),sans-serif;align-items:baseline;gap:.5rem;margin-bottom:.5rem;font-size:.9rem;font-weight:600;display:flex}.theorem-label{text-transform:lowercase;color:var(--foreground);letter-spacing:.01em}.theorem-title{color:var(--muted);font-style:italic;font-weight:400}.theorem-content{color:var(--foreground);font-size:1rem;line-height:1.6;overflow-x:auto;overflow-y:visible}.theorem-content p:first-child{margin-top:0}.theorem-content p:last-child{margin-bottom:0}.theorem-theorem,.theorem-lemma,.theorem-corollary,.theorem-proposition{background:hsla(var(--hue),10%,50%,.06)}.theorem-theorem .theorem-label,.theorem-lemma .theorem-label,.theorem-corollary .theorem-label,.theorem-proposition .theorem-label{color:hsl(var(--hue),20%,35%);font-weight:700}.theorem-definition{background:hsla(var(--hue),60%,50%,.04)}.theorem-definition .theorem-label{color:hsl(var(--hue),60%,40%)}.theorem-example{background:hsla(calc(var(--hue) + 120),50%,50%,.04)}.theorem-example .theorem-label{color:hsl(calc(var(--hue) + 120),50%,40%)}.theorem-remark,.theorem-observation,.theorem-notation{background:rgba(128,128,128,.04)}.theorem-remark .theorem-label,.theorem-observation .theorem-label,.theorem-notation .theorem-label{color:#737373}.theorem-conjecture,.theorem-claim{background:hsla(calc(var(--hue) + 60),55%,50%,.04)}.theorem-conjecture .theorem-label,.theorem-claim .theorem-label{color:hsl(calc(var(--hue) + 60),55%,40%)}.theorem-axiom{background:hsla(calc(var(--hue) + 180),50%,50%,.04)}.theorem-axiom .theorem-label{color:hsl(calc(var(--hue) + 180),50%,40%)}@media (prefers-color-scheme:dark){.theorem-block{background:rgba(255,255,255,.02)}.theorem-theorem,.theorem-lemma,.theorem-corollary,.theorem-proposition{background:hsla(var(--hue),10%,50%,.08)}.theorem-theorem .theorem-label,.theorem-lemma .theorem-label,.theorem-corollary .theorem-label,.theorem-proposition .theorem-label{color:hsl(var(--hue),20%,65%)}.theorem-definition{background:hsla(var(--hue),60%,50%,.08)}.theorem-definition .theorem-label{color:hsl(var(--hue),60%,60%)}.theorem-example{background:hsla(calc(var(--hue) + 120),50%,50%,.08)}.theorem-example .theorem-label{color:hsl(calc(var(--hue) + 120),50%,60%)}.theorem-remark,.theorem-observation,.theorem-notation{background:rgba(128,128,128,.06)}.theorem-remark .theorem-label,.theorem-observation .theorem-label,.theorem-notation .theorem-label{color:#999}.theorem-conjecture,.theorem-claim{background:hsla(calc(var(--hue) + 60),55%,50%,.08)}.theorem-conjecture .theorem-label,.theorem-claim .theorem-label{color:hsl(calc(var(--hue) + 60),55%,60%)}.theorem-axiom{background:hsla(calc(var(--hue) + 180),50%,50%,.08)}.theorem-axiom .theorem-label{color:hsl(calc(var(--hue) + 180),50%,60%)}}.theorem-content .math{font-size:inherit}.theorem-content .katex-display{content-visibility:auto;contain-intrinsic-size:auto 3rem;padding:.5rem 0;overflow-x:auto;overflow-y:visible}.theorem-content .katex{white-space:nowrap}.theorem-content .katex-inline{content-visibility:auto;contain-intrinsic-size:auto 1.5rem}.theorem-block{content-visibility:auto;contain-intrinsic-size:auto 10rem}@media (max-width:768px){.theorem-content{-webkit-overflow-scrolling:touch}.theorem-block{margin:1.25rem 0;padding:.875rem 1rem}.theorem-header{font-size:.85rem}}