@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/ba9851c3c22cd980-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/21350d82a1f187e9-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/c5fe6dc8356a8c31-s.woff2) format("woff2");unicode-range:u+1f??}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/19cfc7226ec3afaa-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/df0a9ae256c0569c-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/8e9860b6e62d6359-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Inter_f367f3;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/e4af272ccee01ff0-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Inter_Fallback_f367f3;src:local("Arial");ascent-override:90.49%;descent-override:22.56%;line-gap-override:0.00%;size-adjust:107.06%}.__className_f367f3{font-family:__Inter_f367f3,__Inter_Fallback_f367f3;font-style:normal}.__variable_f367f3{--font-inter:"__Inter_f367f3","__Inter_Fallback_f367f3"}@layer reset, base, layout, components, utilities;@layer reset{*,:after,:before{box-sizing:border-box}html{text-size-adjust:100%;scroll-behavior:smooth}body{margin:0;min-height:100dvh}canvas,img,picture,svg,video{display:block;max-width:100%}button,input,select,textarea{font:inherit;color:inherit}h1,h2,h3,h4,h5,h6,p{overflow-wrap:break-word}}@layer base{:root{color-scheme:light dark;--topbar-h:56px;--sidebar-w:280px;--font-sans:ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,Arial,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--radius-1:8px;--radius-2:12px;--radius-round:999px;--space-1:0.25rem;--space-2:0.5rem;--space-3:0.75rem;--space-4:1rem;--space-5:1.25rem;--space-6:1.5rem;--space-7:2rem;--space-8:2.5rem;--content-max:80ch;--page-max:1180px;--shadow-1:0 1px 2px rgba(0,0,0,.06),0 4px 16px rgba(0,0,0,.06);--shadow-2:0 2px 6px rgba(0,0,0,.1),0 12px 28px rgba(0,0,0,.14);--bg:#f8fafc;--surface:#fff;--surface-2:#f1f5f9;--surface-3:#e2e8f0;--text:#0f172a;--text-muted:#334155;--border:#e2e8f0;--brand:#2563eb;--brand-2:#1d4ed8;--brand-contrast:#fff;--focus:color-mix(in srgb,var(--brand) 70%,#fff);--danger:#b91c1c;--link:var(--brand-2);--link-hover:#1e40af;--code-bg:#0b1220;--code-text:#e5e7eb}@media (prefers-color-scheme:dark){:root{--bg:#0b1220;--surface:#0f172a;--surface-2:#111c33;--surface-3:#172554;--text:#e5e7eb;--text-muted:#cbd5e1;--border:#1e293b;--brand:#60a5fa;--brand-2:#93c5fd;--brand-contrast:#0b1220;--link:#93c5fd;--link-hover:#bfdbfe;--code-bg:#030712;--code-text:#e5e7eb;--shadow-1:0 1px 2px rgba(0,0,0,.35),0 10px 30px rgba(0,0,0,.25);--shadow-2:0 2px 10px rgba(0,0,0,.4),0 24px 50px rgba(0,0,0,.35)}}html[data-theme=light]{color-scheme:light}html[data-theme=dark]{color-scheme:dark}body{font-family:var(--font-sans);color:var(--text);background:var(--bg);line-height:1.7}a{color:var(--link);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}a:hover{color:var(--link-hover)}:focus-visible{outline:3px solid var(--focus);outline-offset:3px;border-radius:6px}h1,h2,h3{line-height:1.2;letter-spacing:-.015em;margin:0 0 var(--space-4)}h1{font-size:clamp(1.8rem,2.4vw,2.5rem);font-weight:750}h2{font-size:clamp(1.35rem,1.6vw,1.8rem);font-weight:700;margin-top:var(--space-8)}h3{font-size:clamp(1.1rem,1.2vw,1.25rem);font-weight:650;margin-top:var(--space-6)}p{margin:0 0 var(--space-4);color:var(--text)}.muted,small{color:var(--text-muted)}hr{border:none;border-top:1px solid var(--border);margin:var(--space-8) 0}code,pre{font-family:var(--font-mono);font-size:.95em}pre{background:var(--code-bg);color:var(--code-text);padding:var(--space-5);border-radius:var(--radius-2);overflow:auto;box-shadow:var(--shadow-1)}code{background:color-mix(in srgb,var(--surface-2) 70%,transparent);padding:.15em .35em;border-radius:6px}.skip-link{position:absolute;top:var(--space-3);left:var(--space-3);z-index:1000;padding:var(--space-2) var(--space-4);background:var(--surface);color:var(--text);border:1px solid var(--border);border-radius:var(--radius-2);box-shadow:var(--shadow-2);transform:translateY(-200%);transition:transform .15s ease;text-decoration:none}.skip-link:focus-visible{transform:translateY(0)}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}}@layer layout{.app-shell{min-height:100dvh;display:grid;grid-template-columns:var(--sidebar-w) minmax(0,1fr);grid-template-rows:var(--topbar-h) 1fr;grid-template-areas:"topbar topbar" "sidebar main"}.topbar{grid-area:topbar;position:-webkit-sticky;position:sticky;top:0;z-index:50;background:color-mix(in srgb,var(--surface) 92%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-bottom:1px solid var(--border)}.topbar__inner{height:var(--topbar-h);max-width:var(--page-max);margin:0 auto;padding:0 var(--space-5);display:flex;align-items:center;justify-content:space-between;gap:var(--space-4)}.brand{display:inline-flex;align-items:center;gap:var(--space-2);font-weight:800;letter-spacing:-.02em;color:var(--text);text-decoration:none}.brand:hover{color:var(--text);text-decoration:underline;text-decoration-thickness:2px}.topbar__menuButton{display:none;border:1px solid var(--border);background:var(--surface);color:var(--text);border-radius:var(--radius-1);padding:var(--space-2) var(--space-3);box-shadow:var(--shadow-1);cursor:pointer}.sidebar{grid-area:sidebar;position:-webkit-sticky;position:sticky;top:var(--topbar-h);height:calc(100dvh - var(--topbar-h));overflow:auto;border-right:1px solid var(--border);background:var(--surface);padding:var(--space-5)}.sidebar__nav{width:100%}.sidebar__list{list-style:none;padding:0;margin:0;display:grid;grid-gap:var(--space-2);gap:var(--space-2)}.sidebar__link{display:block;padding:var(--space-2) var(--space-3);border-radius:var(--radius-1);text-decoration:none;color:var(--text);border:1px solid transparent}.sidebar__link:hover{background:var(--surface-2);border-color:var(--border)}.sidebar__link[aria-current=page]{background:color-mix(in srgb,var(--brand) 16%,var(--surface));border-color:color-mix(in srgb,var(--brand) 35%,var(--border));font-weight:700}.sidebar-overlay{display:none}.main{grid-area:main;padding:var(--space-7) var(--space-6)}.container{max-width:var(--page-max);margin:0 auto}.prose{max-width:var(--content-max)}@media (max-width:920px){.app-shell{grid-template-columns:1fr;grid-template-rows:var(--topbar-h) 1fr;grid-template-areas:"topbar" "main"}.topbar__menuButton{display:inline-flex;align-items:center;justify-content:center;min-width:44px;min-height:44px}.sidebar{position:fixed;inset:var(--topbar-h) auto 0 0;width:min(var(--sidebar-w),88vw);height:calc(100dvh - var(--topbar-h));transform:translateX(-105%);transition:transform .18s ease;box-shadow:var(--shadow-2);z-index:60}.sidebar[data-open=true]{transform:translateX(0)}.sidebar-overlay{display:block;position:fixed;inset:var(--topbar-h) 0 0 0;border:0;padding:0;margin:0;background:rgba(0,0,0,.28);opacity:0;pointer-events:none;transition:opacity .18s ease;z-index:55}.sidebar-overlay[data-open=true]{opacity:1;pointer-events:auto}@media (prefers-reduced-motion:reduce){.sidebar,.sidebar-overlay{transition:none}}}}@layer components{.card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-2);box-shadow:var(--shadow-1);padding:var(--space-6)}.card+.card{margin-top:var(--space-6)}.card--theorem{border-left:4px solid var(--brand);padding-left:calc(var(--space-6) - 4px)}.card--proof{background:var(--surface-2)}.btn{-webkit-appearance:none;-moz-appearance:none;appearance:none;border:1px solid var(--border);background:var(--surface);color:var(--text);border-radius:var(--radius-1);padding:.6rem .9rem;cursor:pointer;box-shadow:var(--shadow-1);text-decoration:none;display:inline-flex;align-items:center;gap:var(--space-2)}.btn:hover{border-color:color-mix(in srgb,var(--brand) 35%,var(--border));background:var(--surface-2)}.btn--primary{background:var(--brand);color:var(--brand-contrast);border-color:color-mix(in srgb,var(--brand) 60%,var(--border))}.btn--primary:hover{background:var(--brand-2)}.table-wrap{overflow-x:auto;border:1px solid var(--border);border-radius:var(--radius-2);background:var(--surface)}table{width:100%;border-collapse:collapse;font-size:.98rem}td,th{text-align:left;padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--border);vertical-align:top}th{font-weight:750;background:var(--surface-2)}.footer{border-top:1px solid var(--border);background:var(--surface);padding:var(--space-7) 0}.footer__inner{display:flex;align-items:center;justify-content:center;padding:0 var(--space-5);color:var(--text-muted)}.sr-only{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}.home_card{display:block;padding:var(--space-8) var(--space-6);border-radius:14px;background:color-mix(in srgb,var(--surface) 92%,var(--brand) 8%);border:1px solid color-mix(in srgb,var(--border) 85%,var(--brand) 15%);transition:background .15s ease,transform .15s ease;text-decoration:none;color:inherit}.home_card:hover{background:color-mix(in srgb,var(--surface) 85%,var(--brand) 15%);transform:translateY(-4px)}.home_card_inner{max-width:75ch}.home_card_title{font-size:1.4rem;font-weight:750;letter-spacing:-.02em;margin-bottom:var(--space-3)}.home_card_description{color:var(--text-muted);line-height:1.6;margin:0}.main_info{max-width:900px;margin:0 auto;padding:var(--space-8) var(--space-6)}.main_header{margin-bottom:var(--space-4)}.main_par{max-width:75ch;margin-bottom:var(--space-8);color:var(--text-muted)}.mapped_cards{display:flex;flex-direction:column}.section_card{display:block;padding:var(--space-8) var(--space-4);border-left:4px solid transparent;border-bottom:1px solid var(--border);text-decoration:none;color:inherit;transition:background .15s ease,border-left-color .15s ease,padding-left .15s ease}.section_card:hover{background:var(--surface-2);border-left-color:var(--brand);padding-left:calc(var(--space-4) + 6px)}.section_card_inner{display:flex;align-items:center;justify-content:space-between}.section_card_title{font-size:1.45rem;font-weight:750;letter-spacing:-.02em;margin:0;color:var(--text)}.katex-display{overflow:auto hidden;padding-bottom:.25rem;margin:.75rem 0}.katex{max-width:100%}.MathJax,mjx-container{max-width:100%;overflow-x:auto;overflow-y:hidden}.header-sec{background:color-mix(in srgb,var(--surface) 92%,transparent);border-bottom:1px solid var(--border)}.nav-link{color:inherit;text-decoration:none}.nav-link:hover{text-decoration:underline;text-decoration-thickness:2px}.proof_container{display:flex;justify-content:center;width:100%}.proof_card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-2);box-shadow:var(--shadow-1);width:min(980px,100%);padding:var(--space-6);min-height:60vh}.button-sec{margin-top:var(--space-6);display:flex;justify-content:space-between;gap:var(--space-3)}.sec_btn,.sec_btn2{-webkit-appearance:none;-moz-appearance:none;appearance:none;border:1px solid var(--border);background:var(--brand);color:var(--brand-contrast);border-radius:var(--radius-1);padding:.6rem .9rem;cursor:pointer;box-shadow:var(--shadow-1)}.sec_btn2:hover,.sec_btn:hover{background:var(--brand-2)}.proof{display:grid;grid-gap:var(--space-4);gap:var(--space-4)}.proof_name{margin:0}.theorem{background:var(--surface);border:1px solid var(--border);border-left:4px solid var(--brand);border-radius:var(--radius-2);padding:var(--space-5);box-shadow:var(--shadow-1)}.proof_content{background:var(--surface-2);border:1px solid var(--border);border-radius:var(--radius-2);padding:var(--space-6)}}