@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/55c55f0601d81cf3-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_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/26a46d62cd723877-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/97e0cb1ae144a2a9-s.woff2) format("woff2");unicode-range:u+1f??}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/581909926a08bbc8-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_d65c78;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_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/6d93bde91c0c2823-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_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/a34f9d1faa5f3315-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_d65c78;src:local("Arial");ascent-override:90.49%;descent-override:22.56%;line-gap-override:0.00%;size-adjust:107.06%}.__className_d65c78{font-family:__Inter_d65c78,__Inter_Fallback_d65c78;font-style:normal}:root{--color-bg:#fff;--color-bg-secondary:#f5f5f7;--color-text:#1d1d1f;--color-text-secondary:#6e6e73;--color-link:#06c;--color-link-hover:#049;--color-border:#d2d2d7;--color-code-bg:#f0f0f2;--color-theorem-bg:#eef6ff;--color-theorem-border:#3b82f6;--color-proof-bg:#f0fdf4;--color-proof-border:#22c55e;--color-tag-bg:#e8e8ed;--color-tag-text:#1d1d1f;--content-max-width:720px;--content-padding:clamp(1rem,3vw,2rem);--font-size-base:clamp(1rem,0.95rem + 0.25vw,1.125rem);--font-size-sm:clamp(0.875rem,0.85rem + 0.15vw,0.9375rem);--font-size-lg:clamp(1.25rem,1.15rem + 0.5vw,1.5rem);--font-size-xl:clamp(1.5rem,1.3rem + 1vw,2rem);--font-size-2xl:clamp(1.75rem,1.5rem + 1.25vw,2.5rem);--line-height:1.7;--heading-line-height:1.3}[data-theme=dark]{--color-bg:#1a1a1a;--color-bg-secondary:#2a2a2a;--color-text:#e5e5e5;--color-text-secondary:#a0a0a0;--color-link:#6bb8ff;--color-link-hover:#9dd1ff;--color-border:#3a3a3a;--color-code-bg:#2a2a2e;--color-theorem-bg:#1a2332;--color-theorem-border:#3b82f6;--color-proof-bg:#1a2e1a;--color-proof-border:#22c55e;--color-tag-bg:#333338;--color-tag-text:#e5e5e5}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--color-bg:#1a1a1a;--color-bg-secondary:#2a2a2a;--color-text:#e5e5e5;--color-text-secondary:#a0a0a0;--color-link:#6bb8ff;--color-link-hover:#9dd1ff;--color-border:#3a3a3a;--color-code-bg:#2a2a2e;--color-theorem-bg:#1a2332;--color-theorem-border:#3b82f6;--color-proof-bg:#1a2e1a;--color-proof-border:#22c55e;--color-tag-bg:#333338;--color-tag-text:#e5e5e5}}*,:after,:before{box-sizing:border-box;margin:0;padding:0}html{-webkit-text-size-adjust:100%}body{background-color:var(--color-bg);color:var(--color-text);font-size:var(--font-size-base);line-height:var(--line-height);transition:background-color .2s ease,color .2s ease}h1,h2,h3,h4,h5,h6{line-height:var(--heading-line-height);font-weight:600;margin-top:1.5em;margin-bottom:.5em}h1{font-size:var(--font-size-2xl)}h2{font-size:var(--font-size-xl)}h3{font-size:var(--font-size-lg)}p{margin-bottom:1em}a{color:var(--color-link);text-decoration:none}a:hover{color:var(--color-link-hover);text-decoration:underline}code{padding:.15em .35em;border-radius:4px;font-size:.9em}code,pre{background-color:var(--color-code-bg)}pre{padding:1em;border-radius:8px;overflow-x:auto;margin:1.5em 0}pre code{background:none;padding:0;border-radius:0;font-size:.875em}blockquote{border-left:3px solid var(--color-border);padding-left:1em;margin:1.5em 0;color:var(--color-text-secondary);font-style:italic}ol,ul{padding-left:1.5em;margin-bottom:1em}li{margin-bottom:.25em}hr{border:none;border-top:1px solid var(--color-border);margin:2em 0}img,video{max-width:100%;height:auto}table{width:100%;border-collapse:collapse;margin:1.5em 0}td,th{border:1px solid var(--color-border);padding:.5em .75em;text-align:left}th{background-color:var(--color-bg-secondary);font-weight:600}.katex{color:var(--color-text)}.header_header__Awatn{display:flex;align-items:center;justify-content:space-between;max-width:var(--content-max-width);width:100%;margin:0 auto;padding:1rem var(--content-padding)}.header_nav___1UFd{display:flex;gap:1.5rem}.header_nav___1UFd a{font-weight:500}.header_themeToggle__VIeqq{background:none;border:1px solid var(--color-border);border-radius:8px;padding:.4rem .6rem;cursor:pointer;font-size:1.1rem;line-height:1;color:var(--color-text);transition:background-color .2s ease}.header_themeToggle__VIeqq:hover{background-color:var(--color-bg-secondary)}