.MathCallout_callout__V9xNV{margin-block:var(--space-fluid-md);--box-border:1px solid var(--math-variant-color,var(--border));scroll-margin-top:33vh}@media (max-width:767px){.MathCallout_callout__V9xNV{margin-inline:-8px}}.MathCallout_header__nEZzq{display:flex;align-items:center;gap:.6rem;margin-inline:calc(-1 * var(--box-pad));-webkit-margin-before:calc(-1 * var(--box-pad))!important;margin-block-start:calc(-1 * var(--box-pad))!important;-webkit-margin-after:0;margin-block-end:0;padding:.4rem var(--box-pad);background-color:var(--math-variant-color,var(--math-generic-color));color:#fff}[data-theme=dark] .MathCallout_header__nEZzq{background-color:color-mix(in srgb,var(--math-variant-color) 68%,#0b0b0c)}[data-theme=dark] .MathCallout_callout__V9xNV{--box-bg:color-mix(in srgb,var(--math-variant-color) 8%,var(--surface));--box-border:1px solid color-mix(in srgb,var(--math-variant-color) 32%,var(--border))}.MathCallout_header__nEZzq>*{margin:0}.MathCallout_label__35VRv{font-weight:var(--fw-bold);font-size:.95rem;letter-spacing:.02em;color:#fff;white-space:nowrap}.MathCallout_title__S2wPM{font-size:1.05rem;font-weight:var(--fw-semibold);color:#fff}.MathCallout_content__IVsG1{font-size:inherit;line-height:inherit}.MathCallout_content__IVsG1 :where(p,ul,ol,blockquote,pre,h1,h2,h3,h4,h5,h6){margin-block:.75rem}.MathCallout_content__IVsG1>:where(p,ul,ol,blockquote,pre,h1,h2,h3,h4,h5,h6):first-child{-webkit-margin-before:0;margin-block-start:0}.MathCallout_content__IVsG1>:where(p,ul,ol,blockquote,pre,h1,h2,h3,h4,h5,h6):last-child{-webkit-margin-after:0;margin-block-end:0}.content-prose .MathCallout_header__nEZzq .MathCallout_title__S2wPM,.content-prose .MathCallout_header__nEZzq h3{font-size:.975rem;font-weight:var(--fw-semibold);color:#fff;margin:0;padding:0}.content-prose .MathCallout_title__S2wPM:before{content:none!important}.content-prose .MathCallout_content__IVsG1{font-size:var(--fs-base);line-height:var(--lh-normal)}.content-prose .MathCallout_content__IVsG1 strong{font-weight:var(--fw-bold)}.content-prose .MathCallout_content__IVsG1 em{font-style:italic}.MathEmbed_sourceLink__OhVsY{margin-left:auto;display:inline-flex;align-items:center;color:var(--link-color);text-decoration:none}.MathEmbed_sourceLinkIcon__06MNQ{width:1rem;height:1rem}.MathEmbed_loading__JyTd2{min-height:4rem;margin-block:var(--space-fluid-md);border:1px solid var(--border);border-radius:.5rem}.MathEmbed_error__4obs0{color:#b91c1c;font-size:var(--fs-sm);font-weight:var(--fw-medium)}.MathRef_overlay__oBpPh{position:fixed;top:0;left:0;width:100vw;height:100dvh;background-color:rgba(0,0,0,.3);z-index:999;overflow:hidden}.MathRef_mobilePopup__VQuSJ{position:fixed;top:45%;left:50%;transform:translate(-50%,-50%);width:20rem;max-width:calc(100vw - 2rem);z-index:1000;background-color:var(--background);border:1px solid var(--border);border-radius:.5rem;box-shadow:0 10px 25px rgba(0,0,0,.15);padding:1rem;transition:opacity .2s ease}.MathRef_mobileHeader__UTBtA{display:flex;align-items:center;gap:.5rem;margin-bottom:.5rem;padding-bottom:.5rem;border-bottom:1px solid var(--border)}.MathRef_mobileTitle__tqSwz{font-size:.875rem;font-weight:var(--fw-semibold);color:var(--foreground)}.MathRef_mobileLink__2o6CI{margin-left:auto;color:var(--link-color);text-decoration:none;font-size:var(--fs-xs);display:inline-flex;align-items:center;gap:.25rem}.MathRef_mobileLinkIcon__Zh4lU{width:1rem;height:1rem}.MathRef_mobileContent__EZxqZ{font-size:.875rem;color:var(--foreground);background-color:var(--background);white-space:pre-line}.MathRef_mobileContent__EZxqZ>:where(p,ul,ol,blockquote,pre,h1,h2,h3,h4,h5,h6):last-child{margin-bottom:0}.MathRef_ref__Ygmtq{display:inline-flex;align-items:center;gap:.25rem;padding:.25rem .5rem;font-size:.875rem;border-radius:.25rem;background:var(--muted);color:var(--foreground);text-decoration:none;transition:all .2s ease;border:1px solid var(--border)}@media (hover:hover) and (pointer:fine){.MathRef_ref__Ygmtq:hover{background:var(--hover-background);box-shadow:0 1px 2px 0 rgb(0 0 0/.05)}}.MathRef_error__IZau_{color:#b91c1c;font-size:var(--fs-sm);font-weight:var(--fw-medium)}.MathRef_previewPortal__2sbt9{position:absolute;transform:translate(-50%,-100%);z-index:50;transition:opacity .2s ease;pointer-events:none}.MathRef_previewInner__WndrJ{width:20rem;max-width:calc(100vw - 2rem);background:var(--background);border:1px solid var(--border);border-radius:.5rem;box-shadow:0 10px 25px rgba(0,0,0,.1);padding:1rem;pointer-events:auto}.MathRef_previewHeader__UXrSq{display:flex;align-items:center;gap:.5rem;margin-bottom:.5rem;padding-bottom:.5rem;border-bottom:1px solid var(--border)}.MathRef_previewLabel__Fpf5S{font-size:var(--fs-xs);font-weight:var(--fw-medium);padding:.25rem .5rem;border-radius:.25rem;color:white}.MathRef_previewTitle__vUCXN{font-size:.875rem;font-weight:var(--fw-semibold);color:var(--foreground)}.MathRef_previewContent__OKV1p{display:block;font-size:.875rem;white-space:pre-line}.MathRef_previewContent__OKV1p>:where(p,ul,ol,blockquote,pre,h1,h2,h3,h4,h5,h6):last-child{margin-bottom:0}.MathRef_previewContent__OKV1p mjx-container[display=true]{margin:.4em 0}.Proof_proof__XdOFx{margin-block:var(--space-5)}.Proof_summary__gmIc4{display:inline-flex;align-items:center;gap:var(--space-2);cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none;list-style:none;font-weight:var(--fw-semibold);color:var(--text-strong)}.Proof_summary__gmIc4::-webkit-details-marker{display:none}.Proof_summary__gmIc4::marker{content:""}.Proof_chevron__IXL4V{width:.85rem;height:.85rem;flex-shrink:0;color:var(--muted-foreground);transition:transform .2s ease}.Proof_proof__XdOFx[open] .Proof_chevron__IXL4V{transform:rotate(90deg)}@media (prefers-reduced-motion:reduce){.Proof_chevron__IXL4V{transition:none}}.Proof_body__7Mwjb{position:relative;margin-top:var(--space-3);padding:var(--space-1) 0 var(--space-1) var(--space-5);font-size:.92em}@media (max-width:767px){.Proof_body__7Mwjb{margin-inline:-8px;padding-left:var(--space-3)}}.Proof_body__7Mwjb:before{content:"";position:absolute;top:0;bottom:0;left:0;width:.6rem;border:2px dotted var(--text-muted-3);border-right:none;pointer-events:none}[data-theme=light] .Proof_body__7Mwjb:before{border-color:var(--text-body)}.Proof_qed__jwa7L{display:flex;justify-content:flex-end;margin-top:var(--space-2);color:var(--text-strong);line-height:1;font-size:1.35em}.ResponsiveTable_wrapper__zSVSL{position:relative;width:100%;max-width:100%;margin:1rem 0;overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch;overscroll-behavior-inline:contain;box-sizing:border-box;contain:inline-size}.ResponsiveTable_wrapper__zSVSL:focus-within{outline:2px solid var(--link-color,#2563eb);outline-offset:4px}.ResponsiveTable_wrapper__zSVSL::-webkit-scrollbar{height:8px}.ResponsiveTable_wrapper__zSVSL::-webkit-scrollbar-thumb{background:color-mix(in srgb,var(--muted-foreground,#94a3b8) 60%,transparent);border-radius:9999px}.ResponsiveTable_wrapper__zSVSL::-webkit-scrollbar-track{background:transparent}.ResponsiveTable_table__YSWvl{margin:0;border-collapse:collapse;width:100%;min-width:100%;font-size:var(--fs-xs)}@media (min-width:768px){.ResponsiveTable_table__YSWvl{font-size:calc(var(--fs-base) * .75)}}.ResponsiveTable_table__YSWvl caption{caption-side:bottom;padding:.75rem 0;color:var(--muted-foreground)}.ResponsiveTable_table__YSWvl td,.ResponsiveTable_table__YSWvl th{white-space:nowrap}.BackLink_container__HwTDV{width:100%}.BackLink_alignLeft__MNRKb{text-align:left}.BackLink_alignCenter__ofvci{text-align:center}.BackLink_alignRight__6ZHqA{text-align:right}.BackLink_spacingNone__qox00{margin-top:0}.BackLink_spacingSm__D35Vr{margin-top:var(--space-3)}.BackLink_spacingMd__c8NHF{margin-top:var(--space-6)}.BackLink_spacingLg__pCMjR{margin-top:var(--space-8)}.BackLink_link__c_jAy{display:inline-flex;align-items:center;gap:var(--space-2);font-size:var(--fs-base);font-weight:var(--fw-semibold);color:var(--link-color);text-decoration:none;transition:transform .2s ease}.BackLink_icon__vXZI2{display:inline-flex;align-items:center;font-size:1rem;line-height:1}.BackLink_label__9P3xU{display:inline-flex;align-items:center;line-height:1.4}@media (hover:hover) and (pointer:fine){.BackLink_link__c_jAy{cursor:pointer}.BackLink_link__c_jAy:hover{transform:translateY(-2px)}}