.image_figure__IQhAg{max-width:100%;display:flex;flex-direction:column;align-items:center;justify-content:center;margin:1.5em 0}.image_figure__IQhAg>*{max-width:100%;height:auto}.page_bounding_box__6sNdZ{display:flex;align-items:flex-start;gap:2.5rem;max-width:1080px;width:100%;margin:0 auto;padding:2rem var(--content-padding)}.page_toc_column__g4hwC{width:200px;flex-shrink:0;position:-webkit-sticky;position:sticky;top:2rem;max-height:calc(100vh - 4rem);overflow-y:auto}.page_center_div__eDM9z{flex:1 1;min-width:0;max-width:720px}@media (max-width:1023px){.page_bounding_box__6sNdZ{flex-direction:column;gap:0;max-width:var(--content-max-width)}.page_toc_column__g4hwC{width:100%;position:static;max-height:none;overflow-y:visible}}.mathblock_center_equation__n6mzv{display:flex;align-items:center;justify-content:center;overflow-x:auto;margin:1.5em 0}.proof_proof__ItcRL{background-color:var(--color-proof-bg);border-left:4px solid var(--color-proof-border)}.proof_hidden__7p3D3,.proof_proof__ItcRL{border-radius:4px;padding:1rem 1.25rem;margin:1.5em 0;cursor:pointer;transition:background-color .2s ease}.proof_hidden__7p3D3{background-color:var(--color-bg-secondary);border-left:4px solid var(--color-border);color:var(--color-text-secondary);font-style:italic}.sidenote_sidenote__Eraoo{float:right;clear:right;width:200px;margin-left:1.5rem;margin-bottom:.75rem;font-size:.82em;line-height:1.5;color:var(--color-text-secondary);border-left:2px solid var(--color-border);padding-left:.75rem}.sidenote_toggle__6h5R0{display:none}.sidenote_content__zlwDB{display:block}@media (max-width:768px){.sidenote_sidenote__Eraoo{float:none;width:100%;margin:1rem 0;border-left:none;padding-left:0;border:1px solid var(--color-border);border-radius:8px;overflow:hidden;background:var(--color-bg-secondary)}.sidenote_toggle__6h5R0{display:flex;width:100%;align-items:center;justify-content:space-between;padding:.5rem .75rem;background:none;border:none;cursor:pointer;font-weight:600;color:var(--color-text);font-size:.85em}.sidenote_content__zlwDB{display:none;padding:.5rem .75rem .75rem}.sidenote_contentOpen__PsgNH{display:block}}.theorem_theorem__YFj2y{background-color:var(--color-theorem-bg);border-left:4px solid var(--color-theorem-border);border-radius:4px;padding:1rem 1.25rem;margin:1.5em 0;transition:background-color .2s ease}.toc_toc__feHDa{font-size:var(--font-size-sm)}.toc_mobileToggle__t0AtZ{display:none}.toc_desktopTitle__Gloj7{font-weight:600;color:var(--color-text-secondary);text-transform:uppercase;font-size:.72em;letter-spacing:.07em;margin-bottom:.75rem}.toc_list__tFmEl{list-style:none;padding:0;margin:0}.toc_item__XOz97{margin-bottom:.4rem;line-height:1.4}.toc_level2__ShGno{padding-left:0}.toc_level3__M5b1j{padding-left:.9rem}.toc_link___an2D{color:var(--color-text-secondary);text-decoration:none;transition:color .15s ease;display:block}.toc_link___an2D:hover{color:var(--color-link);text-decoration:none}@media (max-width:1023px){.toc_toc__feHDa{border:1px solid var(--color-border);border-radius:8px;overflow:hidden;margin-bottom:2rem}.toc_mobileToggle__t0AtZ{display:flex;width:100%;align-items:center;justify-content:space-between;padding:.75rem 1rem;background:var(--color-bg-secondary);border:none;cursor:pointer;font-weight:600;color:var(--color-text);font-size:inherit}.toc_arrow__VqZQv{font-size:.75em;color:var(--color-text-secondary)}.toc_desktopTitle__Gloj7{display:none}.toc_tocBody__ud8Eo{display:none;padding:.75rem 1rem 1rem}.toc_tocBody__ud8Eo.toc_open__k9y_w{display:block}}.video_figure__MBZBj{max-width:100%;display:flex;flex-direction:column;align-items:center;justify-content:center;margin:1.5em 0}.video_figure__MBZBj>*{max-width:100%;height:auto}