*,*::before,*::after{box-sizing:border-box}.body{margin:0}a{text-decoration:none}.menu__list,.translation-list,.pagination{list-style-type:none;padding-inline-start:0}ul:has(>li>input[type=checkbox]){list-style-type:none;padding-inline-start:1em}blockquote{margin:0}.body{margin-left:20px;margin-right:20px;padding-bottom:2rem}@media(min-width:940px){.body{width:900px;margin-left:auto;margin-right:auto}}@media(max-width:768px){.body{margin-left:15px;margin-right:15px}.header{margin-bottom:1.5rem}.footer{margin-top:2rem;padding-top:1.5rem}}:root,:root[data-theme=light]{--background-color:#fffff8;--background-color1:#f7f7f0;--foreground-color:#1a1a1a;--foreground-color3:#5a5a5a;--accent-color:#2e5cb8}:root[data-theme=dark]{--background-color:#1e1e1e;--background-color1:#2a2a2a;--foreground-color:#e8e8e0;--foreground-color3:#a8a8a0;--accent-color:#6b9bd1}@media(prefers-color-scheme:dark){:root:not([data-theme]){--background-color:#1e1e1e;--background-color1:#2a2a2a;--foreground-color:#e8e8e0;--foreground-color3:#a8a8a0;--accent-color:#6b9bd1}}.body{background-color:var(--background-color);color:var(--foreground-color)}h1,h2,h3,h4,h5,h6{color:var(--foreground-color)}a{color:var(--accent-color)}.header{border-bottom:1px solid var(--background-color1)}.footer{border-top:1px solid var(--background-color1)}blockquote{background-color:var(--background-color1)}[dir=rtl] blockquote{border-right:.5rem solid var(--accent-color)}[dir=ltr] blockquote{border-left:.5rem solid var(--accent-color)}:not(pre)>code{background-color:var(--background-color1)}hr{background:var(--background-color1)}table{background-color:var(--background-color1)}td,th{border:1px solid var(--background-color)}figcaption{color:var(--foreground-color3)}.bg{color:#586e75;background-color:#f7f7f0}.chroma{color:#586e75;background-color:#f7f7f0;-webkit-text-size-adjust:none}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#e3ddcc}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#859900}.chroma .kc{color:#859900;font-weight:700}.chroma .kd{color:#859900}.chroma .kn{color:#dc322f;font-weight:700}.chroma .kp{color:#859900}.chroma .kr{color:#859900}.chroma .kt{color:#859900;font-weight:700}.chroma .n{color:#268bd2}.chroma .na{color:#268bd2}.chroma .nc{color:#cb4b16}.chroma .no{color:#268bd2}.chroma .nd{color:#268bd2}.chroma .ni{color:#268bd2}.chroma .ne{color:#268bd2}.chroma .nl{color:#268bd2}.chroma .nn{color:#268bd2}.chroma .nx{color:#268bd2}.chroma .py{color:#268bd2}.chroma .nt{color:#268bd2;font-weight:700}.chroma .nb{color:#cb4b16}.chroma .bp{color:#cb4b16}.chroma .nv{color:#268bd2}.chroma .vc{color:#268bd2}.chroma .vg{color:#268bd2}.chroma .vi{color:#268bd2}.chroma .vm{color:#268bd2}.chroma .nf{color:#268bd2}.chroma .fm{color:#268bd2}.chroma .l{color:#2aa198}.chroma .ld{color:#2aa198}.chroma .s{color:#2aa198}.chroma .sa{color:#2aa198}.chroma .sb{color:#2aa198}.chroma .sc{color:#2aa198}.chroma .dl{color:#2aa198}.chroma .sd{color:#2aa198}.chroma .s2{color:#2aa198}.chroma .se{color:#2aa198}.chroma .sh{color:#2aa198}.chroma .si{color:#2aa198}.chroma .sx{color:#2aa198}.chroma .sr{color:#2aa198}.chroma .s1{color:#2aa198}.chroma .ss{color:#2aa198}.chroma .m{color:#2aa198;font-weight:700}.chroma .mb{color:#2aa198;font-weight:700}.chroma .mf{color:#2aa198;font-weight:700}.chroma .mh{color:#2aa198;font-weight:700}.chroma .mi{color:#2aa198;font-weight:700}.chroma .il{color:#2aa198;font-weight:700}.chroma .mo{color:#2aa198;font-weight:700}.chroma .ow{color:#859900}.chroma .c{color:#93a1a1;font-style:italic}.chroma .ch{color:#93a1a1;font-style:italic}.chroma .cm{color:#93a1a1;font-style:italic}.chroma .c1{color:#93a1a1;font-style:italic}.chroma .cs{color:#93a1a1;font-style:italic}.chroma .cp{color:#93a1a1;font-style:italic}.chroma .cpf{color:#93a1a1;font-style:italic}.chroma .g{color:#d33682}.chroma .gd{color:#d33682}.chroma .ge{color:#d33682}.chroma .gr{color:#d33682}.chroma .gh{color:#d33682}.chroma .gi{color:#d33682}.chroma .go{color:#d33682}.chroma .gp{color:#d33682}.chroma .gs{color:#d33682}.chroma .gu{color:#d33682}.chroma .gt{color:#d33682}.chroma .gl{color:#d33682}@media(prefers-color-scheme:dark){.bg{color:#f8f8f2;background-color:#2a2a2a}.chroma{color:#f8f8f2;background-color:#2a2a2a;-webkit-text-size-adjust:none}.chroma .err{color:#960050;background-color:#1e0010}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#3c3d38}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#66d9ef}.chroma .kc{color:#66d9ef}.chroma .kd{color:#66d9ef}.chroma .kn{color:#f92672}.chroma .kp{color:#66d9ef}.chroma .kr{color:#66d9ef}.chroma .kt{color:#66d9ef}.chroma .na{color:#a6e22e}.chroma .nc{color:#a6e22e}.chroma .no{color:#66d9ef}.chroma .nd{color:#a6e22e}.chroma .ne{color:#a6e22e}.chroma .nx{color:#a6e22e}.chroma .nt{color:#f92672}.chroma .nf{color:#a6e22e}.chroma .fm{color:#a6e22e}.chroma .l{color:#ae81ff}.chroma .ld{color:#e6db74}.chroma .s{color:#e6db74}.chroma .sa{color:#e6db74}.chroma .sb{color:#e6db74}.chroma .sc{color:#e6db74}.chroma .dl{color:#e6db74}.chroma .sd{color:#e6db74}.chroma .s2{color:#e6db74}.chroma .se{color:#ae81ff}.chroma .sh{color:#e6db74}.chroma .si{color:#e6db74}.chroma .sx{color:#e6db74}.chroma .sr{color:#e6db74}.chroma .s1{color:#e6db74}.chroma .ss{color:#e6db74}.chroma .m{color:#ae81ff}.chroma .mb{color:#ae81ff}.chroma .mf{color:#ae81ff}.chroma .mh{color:#ae81ff}.chroma .mi{color:#ae81ff}.chroma .il{color:#ae81ff}.chroma .mo{color:#ae81ff}.chroma .o{color:#f92672}.chroma .ow{color:#f92672}.chroma .or{color:#f92672}.chroma .p{color:#f8f8f2}.chroma .c{color:#75715e}.chroma .ch{color:#75715e}.chroma .cm{color:#75715e}.chroma .c1{color:#75715e}.chroma .cs{color:#75715e}.chroma .cp{color:#75715e}.chroma .cpf{color:#75715e}.chroma .gd{color:#f92672}.chroma .ge{font-style:italic}.chroma .gi{color:#a6e22e}.chroma .gs{font-weight:700}.chroma .gu{color:#75715e}}:root[data-theme=dark] .bg{color:#f8f8f2;background-color:#2a2a2a}:root[data-theme=dark] .chroma{color:#f8f8f2;background-color:#2a2a2a;-webkit-text-size-adjust:none}:root[data-theme=dark] .chroma .err{color:#960050;background-color:#1e0010}:root[data-theme=dark] .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}:root[data-theme=dark] .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}:root[data-theme=dark] .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}:root[data-theme=dark] .chroma .hl{background-color:#3c3d38}:root[data-theme=dark] .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}:root[data-theme=dark] .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}:root[data-theme=dark] .chroma .line{display:flex}:root[data-theme=dark] .chroma .k{color:#66d9ef}:root[data-theme=dark] .chroma .kc{color:#66d9ef}:root[data-theme=dark] .chroma .kd{color:#66d9ef}:root[data-theme=dark] .chroma .kn{color:#f92672}:root[data-theme=dark] .chroma .kp{color:#66d9ef}:root[data-theme=dark] .chroma .kr{color:#66d9ef}:root[data-theme=dark] .chroma .kt{color:#66d9ef}:root[data-theme=dark] .chroma .na{color:#a6e22e}:root[data-theme=dark] .chroma .nc{color:#a6e22e}:root[data-theme=dark] .chroma .no{color:#66d9ef}:root[data-theme=dark] .chroma .nd{color:#a6e22e}:root[data-theme=dark] .chroma .ne{color:#a6e22e}:root[data-theme=dark] .chroma .nx{color:#a6e22e}:root[data-theme=dark] .chroma .nt{color:#f92672}:root[data-theme=dark] .chroma .nf{color:#a6e22e}:root[data-theme=dark] .chroma .fm{color:#a6e22e}:root[data-theme=dark] .chroma .l{color:#ae81ff}:root[data-theme=dark] .chroma .ld{color:#e6db74}:root[data-theme=dark] .chroma .s{color:#e6db74}:root[data-theme=dark] .chroma .sa{color:#e6db74}:root[data-theme=dark] .chroma .sb{color:#e6db74}:root[data-theme=dark] .chroma .sc{color:#e6db74}:root[data-theme=dark] .chroma .dl{color:#e6db74}:root[data-theme=dark] .chroma .sd{color:#e6db74}:root[data-theme=dark] .chroma .s2{color:#e6db74}:root[data-theme=dark] .chroma .se{color:#ae81ff}:root[data-theme=dark] .chroma .sh{color:#e6db74}:root[data-theme=dark] .chroma .si{color:#e6db74}:root[data-theme=dark] .chroma .sx{color:#e6db74}:root[data-theme=dark] .chroma .sr{color:#e6db74}:root[data-theme=dark] .chroma .s1{color:#e6db74}:root[data-theme=dark] .chroma .ss{color:#e6db74}:root[data-theme=dark] .chroma .m{color:#ae81ff}:root[data-theme=dark] .chroma .mb{color:#ae81ff}:root[data-theme=dark] .chroma .mf{color:#ae81ff}:root[data-theme=dark] .chroma .mh{color:#ae81ff}:root[data-theme=dark] .chroma .mi{color:#ae81ff}:root[data-theme=dark] .chroma .il{color:#ae81ff}:root[data-theme=dark] .chroma .mo{color:#ae81ff}:root[data-theme=dark] .chroma .o{color:#f92672}:root[data-theme=dark] .chroma .ow{color:#f92672}:root[data-theme=dark] .chroma .or{color:#f92672}:root[data-theme=dark] .chroma .p{color:#f8f8f2}:root[data-theme=dark] .chroma .c{color:#75715e}:root[data-theme=dark] .chroma .ch{color:#75715e}:root[data-theme=dark] .chroma .cm{color:#75715e}:root[data-theme=dark] .chroma .c1{color:#75715e}:root[data-theme=dark] .chroma .cs{color:#75715e}:root[data-theme=dark] .chroma .cp{color:#75715e}:root[data-theme=dark] .chroma .cpf{color:#75715e}:root[data-theme=dark] .chroma .gd{color:#f92672}:root[data-theme=dark] .chroma .ge{font-style:italic}:root[data-theme=dark] .chroma .gi{color:#a6e22e}:root[data-theme=dark] .chroma .gs{font-weight:700}:root[data-theme=dark] .chroma .gu{color:#75715e}:root[data-theme=light] .bg{color:#586e75;background-color:#f7f7f0}:root[data-theme=light] .chroma{color:#586e75;background-color:#f7f7f0;-webkit-text-size-adjust:none}:root[data-theme=light] .chroma .lnlinks{outline:none;text-decoration:none;color:inherit}:root[data-theme=light] .chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}:root[data-theme=light] .chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}:root[data-theme=light] .chroma .hl{background-color:#e3ddcc}:root[data-theme=light] .chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}:root[data-theme=light] .chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}:root[data-theme=light] .chroma .line{display:flex}:root[data-theme=light] .chroma .k{color:#859900}:root[data-theme=light] .chroma .kc{color:#859900;font-weight:700}:root[data-theme=light] .chroma .kd{color:#859900}:root[data-theme=light] .chroma .kn{color:#dc322f;font-weight:700}:root[data-theme=light] .chroma .kp{color:#859900}:root[data-theme=light] .chroma .kr{color:#859900}:root[data-theme=light] .chroma .kt{color:#859900;font-weight:700}:root[data-theme=light] .chroma .n{color:#268bd2}:root[data-theme=light] .chroma .na{color:#268bd2}:root[data-theme=light] .chroma .nc{color:#cb4b16}:root[data-theme=light] .chroma .no{color:#268bd2}:root[data-theme=light] .chroma .nd{color:#268bd2}:root[data-theme=light] .chroma .ni{color:#268bd2}:root[data-theme=light] .chroma .ne{color:#268bd2}:root[data-theme=light] .chroma .nl{color:#268bd2}:root[data-theme=light] .chroma .nn{color:#268bd2}:root[data-theme=light] .chroma .nx{color:#268bd2}:root[data-theme=light] .chroma .py{color:#268bd2}:root[data-theme=light] .chroma .nt{color:#268bd2;font-weight:700}:root[data-theme=light] .chroma .nb{color:#cb4b16}:root[data-theme=light] .chroma .bp{color:#cb4b16}:root[data-theme=light] .chroma .nv{color:#268bd2}:root[data-theme=light] .chroma .vc{color:#268bd2}:root[data-theme=light] .chroma .vg{color:#268bd2}:root[data-theme=light] .chroma .vi{color:#268bd2}:root[data-theme=light] .chroma .vm{color:#268bd2}:root[data-theme=light] .chroma .nf{color:#268bd2}:root[data-theme=light] .chroma .fm{color:#268bd2}:root[data-theme=light] .chroma .l{color:#2aa198}:root[data-theme=light] .chroma .ld{color:#2aa198}:root[data-theme=light] .chroma .s{color:#2aa198}:root[data-theme=light] .chroma .sa{color:#2aa198}:root[data-theme=light] .chroma .sb{color:#2aa198}:root[data-theme=light] .chroma .sc{color:#2aa198}:root[data-theme=light] .chroma .dl{color:#2aa198}:root[data-theme=light] .chroma .sd{color:#2aa198}:root[data-theme=light] .chroma .s2{color:#2aa198}:root[data-theme=light] .chroma .se{color:#2aa198}:root[data-theme=light] .chroma .sh{color:#2aa198}:root[data-theme=light] .chroma .si{color:#2aa198}:root[data-theme=light] .chroma .sx{color:#2aa198}:root[data-theme=light] .chroma .sr{color:#2aa198}:root[data-theme=light] .chroma .s1{color:#2aa198}:root[data-theme=light] .chroma .ss{color:#2aa198}:root[data-theme=light] .chroma .m{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .mb{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .mf{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .mh{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .mi{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .il{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .mo{color:#2aa198;font-weight:700}:root[data-theme=light] .chroma .ow{color:#859900}:root[data-theme=light] .chroma .c{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .ch{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .cm{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .c1{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .cs{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .cp{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .cpf{color:#93a1a1;font-style:italic}:root[data-theme=light] .chroma .g{color:#d33682}:root[data-theme=light] .chroma .gd{color:#d33682}:root[data-theme=light] .chroma .ge{color:#d33682}:root[data-theme=light] .chroma .gr{color:#d33682}:root[data-theme=light] .chroma .gh{color:#d33682}:root[data-theme=light] .chroma .gi{color:#d33682}:root[data-theme=light] .chroma .go{color:#d33682}:root[data-theme=light] .chroma .gp{color:#d33682}:root[data-theme=light] .chroma .gs{color:#d33682}:root[data-theme=light] .chroma .gu{color:#d33682}:root[data-theme=light] .chroma .gt{color:#d33682}:root[data-theme=light] .chroma .gl{color:#d33682}pre:not(.chroma),.bg,.chroma,.highlight,:root[data-theme=dark] .bg,:root[data-theme=dark] .chroma,:root[data-theme=dark] .highlight,:root[data-theme=light] .bg,:root[data-theme=light] .chroma,:root[data-theme=light] .highlight{background-color:var(--background-color1)}.html{font-size:17px}.body{font-family:-apple-system,BlinkMacSystemFont,segoe ui,roboto,helvetica neue,Arial,sans-serif;line-height:1.5}p,ul,ol,h1,h2,h3,h4,h5,h6{overflow-wrap:break-word}h1,h2,h3,h4,h5,h6{font-weight:600;letter-spacing:-.02em}h1{font-size:2.2em;margin-bottom:.6em;margin-top:.4em;line-height:1.2}h2{font-size:1.7em;margin-top:1.8em;margin-bottom:.8em;border-bottom:1px solid var(--background-color1);padding-bottom:.4em;line-height:1.3}h3{font-size:1.4em;margin-top:1.5em;margin-bottom:.6em;line-height:1.3}h4{font-size:1.2em;margin-top:1.3em;margin-bottom:.5em;font-weight:600;font-style:italic}@media(max-width:768px){.html{font-size:16px}h1{font-size:1.8em;line-height:1.3}h2{font-size:1.5em;margin-top:1.5em}h3{font-size:1.3em}h4{font-size:1.15em}}p{margin-bottom:1.2em;text-align:justify;hyphens:auto}@media(max-width:768px){p{text-align:left;hyphens:none}}a{text-decoration:none;transition:all .2s ease;border-bottom:1px solid transparent}a:hover{border-bottom:1px solid var(--accent-color)}.toc{margin-block:1rem}.toc__summary{font-weight:bolder;cursor:pointer}blockquote{padding:1rem 1.5rem;margin:1.5em 0;font-style:italic;position:relative}blockquote p:last-child{margin-bottom:0}ul,ol{margin-bottom:1.2em;padding-left:2em}ul li,ol li{margin-bottom:.5em;line-height:1.6}ul li>ul,ul li>ol,ol li>ul,ol li>ol{margin-top:.5em;margin-bottom:.5em}hr{border:none;height:1px}figure{margin-inline:0}.heading__anchor{display:none}.heading:hover>.heading__anchor{display:inline}.table-wrapper{overflow-x:auto;margin-block:1rem}.table-wrapper>table{word-break:keep-all;border-collapse:collapse}.table-wrapper>table td,.table-wrapper>table th{padding:.5rem;text-align:start}svg,img,video,iframe{max-width:100%}.menu__list{display:flex;flex-direction:row;gap:.5rem;flex-wrap:wrap}.menu__link--active{font-weight:bolder}.pagination{display:flex;gap:1rem}.page-item.active{font-weight:bolder}.page-nav{display:flex;flex-direction:column;margin-block:1rem}.section-post-title,.term-post-title{margin-block-start:0}.home-post-title{margin-block-end:0}.summary{margin-block-start:0}:not(pre)>code{padding:.15em .4em;font-family:sf mono,Monaco,cascadia code,roboto mono,Consolas,courier new,monospace;font-size:.9em;border-radius:3px;font-weight:500}div.highlight{overflow-x:auto;margin-block:1rem}div.highlight>div.chroma>table.lntable{padding-inline-end:.4rem}div.highlight>pre.chroma{padding-inline:.4rem}pre:not(.chroma){overflow-x:auto;padding:1.2rem 1.5rem;border-radius:5px;line-height:1.5;border:1px solid var(--background-color1)}pre{font-family:sf mono,Monaco,cascadia code,roboto mono,Consolas,courier new,monospace;font-size:.88rem;tab-size:4}div.highlight{border-radius:5px;border:1px solid var(--background-color1)}div.highlight>pre.chroma{border-radius:5px;padding:1.2rem 1.5rem}div.highlight>div.chroma>table.lntable{border-radius:5px}@media(max-width:768px){div.highlight>pre.chroma{padding:.8rem 1rem;font-size:.85rem}pre:not(.chroma){padding:.8rem 1rem;font-size:.85rem}:not(pre)>code{font-size:.85em;padding:.12em .3em}}.footer{font-size:smaller}.contact-links{display:flex;flex-wrap:wrap;gap:.8em;margin-top:1.5em}.contact-links a{background:var(--accent-color);color:var(--background-color);padding:.6em 1.2em;border-radius:4px;font-size:.9em;border:none;font-weight:500;transition:all .2s ease}.contact-links a:hover{opacity:.85;transform:translateY(-1px);box-shadow:0 2px 8px rgba(0,0,0,.15)}.katex-display{margin:1.5em 0;overflow-x:auto;overflow-y:hidden}.katex{font-size:1.05em}.theorem,.lemma,.proposition,.corollary,.definition,.remark,.proof{margin:1.5em 0;padding:1em 1.2em;border-left:3px solid var(--accent-color);background-color:var(--background-color1);border-radius:0 4px 4px 0}.theorem .theorem-title,.theorem .lemma-title,.theorem .definition-title,.lemma .theorem-title,.lemma .lemma-title,.lemma .definition-title,.proposition .theorem-title,.proposition .lemma-title,.proposition .definition-title,.corollary .theorem-title,.corollary .lemma-title,.corollary .definition-title,.definition .theorem-title,.definition .lemma-title,.definition .definition-title,.remark .theorem-title,.remark .lemma-title,.remark .definition-title,.proof .theorem-title,.proof .lemma-title,.proof .definition-title{font-weight:600;font-style:italic;margin-bottom:.5em}.proof{border-left-color:var(--foreground-color3)}.proof::after{content:'\25A1';float:right;font-size:1.2em;line-height:1}table{margin:1.5em auto;border-collapse:collapse;width:100%;max-width:100%;font-size:.95em}table thead{border-bottom:2px solid var(--foreground-color)}table thead th{font-weight:600;padding:.75rem 1rem}table tbody tr{border-bottom:1px solid var(--background-color1)}table tbody tr:last-child{border-bottom:none}table tbody tr:hover{background-color:var(--background-color1)}table tbody td{padding:.75rem 1rem}.footnotes{margin-top:3em;padding-top:1.5em;border-top:1px solid var(--background-color1);font-size:.9em}.footnotes ol{padding-left:1.5em}.footnotes li{margin-bottom:.5em}@media(max-width:768px){table{font-size:.85em;display:block;overflow-x:auto;-webkit-overflow-scrolling:touch}table thead th{padding:.6rem .75rem}table tbody td{padding:.6rem .75rem}.table-wrapper{margin-inline:-20px;padding-inline:20px}a{padding:.2em 0;display:inline-block}.menu__list{gap:1rem}.contact-links a{padding:.7em 1.3em;min-height:44px;display:inline-flex;align-items:center;justify-content:center}.pagination{gap:1.2rem}.pagination a,.pagination span{padding:.5em .8em;min-width:44px;min-height:44px;display:inline-flex;align-items:center;justify-content:center}blockquote{padding:.8rem 1.2rem;margin:1.2em 0}ul,ol{padding-left:1.5em}figure{margin-inline:-15px}figure img,figure video,figure iframe{width:100%;height:auto}figure figcaption{padding-inline:15px;font-size:.9em}img,video,iframe{border-radius:4px}hr{margin-block:1.5rem}.page-nav{gap:1rem}.page-nav a{padding:.6em 0}}.katex-display{margin:1.8em 0;padding:.5em 0;overflow-x:auto;overflow-y:hidden;text-align:center}.katex-display::-webkit-scrollbar{height:8px}.katex-display::-webkit-scrollbar-track{background:var(--background-color1);border-radius:4px}.katex-display::-webkit-scrollbar-thumb{background:var(--foreground-color3);border-radius:4px}.katex{font-size:1.05em}.katex .katex-html{vertical-align:middle}.equation-number{float:right;color:var(--foreground-color3);font-style:italic;margin-left:1em}.theorem,.lemma,.proposition,.corollary{margin:1.8em 0;padding:1.2em 1.5em;background-color:rgba(var(--accent-rgb),.03);border-left:4px solid var(--accent-color);border-radius:0 6px 6px 0}.theorem .label,.lemma .label,.proposition .label,.corollary .label{font-weight:700;font-style:italic;color:var(--accent-color);margin-right:.5em}.theorem .title,.lemma .title,.proposition .title,.corollary .title{font-weight:600;font-style:italic}.theorem p:last-child,.lemma p:last-child,.proposition p:last-child,.corollary p:last-child{margin-bottom:0}.definition,.remark,.example,.note{margin:1.8em 0;padding:1.2em 1.5em;background-color:var(--background-color1);border-left:4px solid var(--foreground-color3);border-radius:0 6px 6px 0}.definition .label,.remark .label,.example .label,.note .label{font-weight:700;font-style:italic;color:var(--foreground-color);margin-right:.5em}.definition .title,.remark .title,.example .title,.note .title{font-weight:600;font-style:italic}.definition p:last-child,.remark p:last-child,.example p:last-child,.note p:last-child{margin-bottom:0}.proof{margin:1.5em 0;padding:1em 1.2em;position:relative}.proof .label{font-weight:600;font-style:italic;margin-right:.5em}.proof::after{content:'\25A1';position:absolute;bottom:1em;right:1.2em;font-size:1.1em;line-height:1;color:var(--foreground-color3)}.proof p:last-child{margin-bottom:0;padding-right:2em}.algorithm{margin:1.8em 0;padding:1.5em;background-color:var(--background-color1);border:1px solid var(--foreground-color3);border-radius:6px}.algorithm .algorithm-title{font-weight:700;text-align:center;margin-bottom:1em;padding-bottom:.5em;border-bottom:1px solid var(--foreground-color3)}.algorithm .algorithm-input,.algorithm .algorithm-output{margin:.8em 0;font-style:italic}.algorithm .algorithm-input strong,.algorithm .algorithm-output strong{font-style:normal;font-weight:600}.algorithm pre,.algorithm code{background-color:initial;border:none}.matrix,.array{display:inline-block;vertical-align:middle}.citation{color:var(--accent-color);font-weight:500}.citation:hover{border-bottom-color:var(--accent-color)}.bibliography{margin-top:3em;padding-top:2em;border-top:2px solid var(--background-color1)}.bibliography h2,.bibliography h3{margin-top:0}.bibliography .bib-entry{margin-bottom:1.2em;padding-left:2em;text-indent:-2em}.bibliography .bib-entry .bib-label{font-weight:600;margin-right:.5em}ol.math-steps,ul.math-steps{counter-reset:step-counter;list-style:none;padding-left:0}ol.math-steps li,ul.math-steps li{counter-increment:step-counter;margin-bottom:1em;padding-left:3em;position:relative}ol.math-steps li::before,ul.math-steps li::before{content:"(" counter(step-counter)")";position:absolute;left:0;font-weight:600;color:var(--accent-color)}.assumptions,.conditions{margin:1.5em 0;padding:1em 1.2em;background-color:var(--background-color1);border-left:3px solid var(--foreground-color3);border-radius:0 4px 4px 0;font-size:.95em}.assumptions .label,.conditions .label{font-weight:600;font-variant:small-caps;letter-spacing:.05em;margin-bottom:.5em}.numbered{counter-increment:equation-counter}.numbered::after{content:"(" counter(equation-counter)")";margin-left:1em;color:var(--foreground-color3)}@media(max-width:768px){.katex-display{font-size:.9em;margin:1.2em 0;padding:.3em 0}.katex{font-size:1em}.theorem,.lemma,.proposition,.corollary,.definition,.remark,.example,.note{padding:.9em 1em;margin:1.2em 0;border-left-width:3px}.proof{padding:.8em 1em;margin:1.2em 0}.proof::after{position:static;display:block;text-align:right;margin-top:.5em}.proof p:last-child{padding-right:0}.algorithm{padding:1.2em;margin:1.2em 0}.algorithm .algorithm-title{font-size:.95em}.bibliography{padding-top:1.5em}.bibliography .bib-entry{padding-left:1.5em;text-indent:-1.5em;font-size:.9em}ol.math-steps li,ul.math-steps li{padding-left:2.5em;font-size:.95em}}.theme-toggle{display:inline-flex;align-items:center;justify-content:center;background:0 0;border:2px solid var(--foreground-color3);border-radius:6px;width:40px;height:40px;cursor:pointer;padding:0;margin-left:1rem;transition:all .2s ease;position:relative}.theme-toggle:hover{border-color:var(--accent-color);background-color:var(--background-color1);transform:scale(1.05)}.theme-toggle:active{transform:scale(.95)}.theme-toggle:focus{outline:2px solid var(--accent-color);outline-offset:2px}.theme-toggle__icon{color:var(--foreground-color);transition:all .3s ease}.theme-toggle__icon--sun{display:none}.theme-toggle__icon--moon{display:block}.title-container{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:.5rem}.title-container .site-title{margin:0;flex:auto}.title-container .language{flex:none}.title-container .theme-toggle{flex:none}@media(max-width:768px){.theme-toggle{width:36px;height:36px;margin-left:.5rem}.theme-toggle__icon{width:18px;height:18px}.title-container{gap:.3rem}}body{counter-reset:sidenote-counter}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number::after{content:counter(sidenote-counter);font-size:75%;vertical-align:super;color:var(--accent-color);font-weight:600;margin-left:.1rem;margin-right:.15rem}span.sidenote{display:inline-block;padding:.8rem 1rem;margin:.5rem 0;background-color:var(--background-color1);border-left:3px solid var(--accent-color);border-radius:4px;font-size:.9em;line-height:1.5;color:var(--foreground-color3);width:100%;box-sizing:border-box}span.sidenote::before{content:counter(sidenote-counter)". ";font-weight:700;margin-right:.4rem;color:var(--accent-color)}@media(min-width:960px){span.sidenote{display:block;position:relative;float:right;clear:right;transform:translateY(-50%);width:30%;margin:0;margin-bottom:1.2rem;margin-top:1.2rem;margin-right:-36%;padding:.8rem 1rem;padding-top:.5rem;padding-bottom:.5rem;box-sizing:border-box;text-align:left;background-color:var(--background-color1);border-radius:6px;font-size:85%;line-height:1.5;color:var(--foreground-color3);border:none;border-left:3px solid var(--accent-color)}span.sidenote::before{content:counter(sidenote-counter)". ";font-weight:700;margin-right:.4rem;color:var(--accent-color)}span.sidenote a{color:var(--accent-color)}span.sidenote code{font-size:90%}}span.sidenote small{font-size:100%}.home.posts .content .sidenote{display:none}.header{padding:8px 16px;font-family:Arial,sans-serif}.title-container{display:flex;justify-content:space-between;align-items:center;margin-bottom:16px}.site-title{font-size:48px;margin:0;color:#333}.menu.language{padding:8px 16px;font-family:Arial,sans-serif}.menu__list.language__list{display:flex;justify-content:flex-start;list-style:none;padding:0;margin:0;gap:16px;flex-wrap:wrap}.menu__item{margin:0}.menu__link{text-decoration:none;color:#007bff;font-size:24px}.menu__link:hover{text-decoration:underline}.language-selector{position:relative}.language__button{padding:8px 16px;background:0 0;border:none;cursor:pointer;font-size:26px;display:flex;align-items:center;gap:8px;color:#333}.language__arrow{font-size:26px}.language__dropdown{display:none;position:absolute;top:100%;right:0;background:#fff;border-radius:4px;box-shadow:0 2px 8px rgba(0,0,0,.1);list-style:none;padding:8px 0;margin:0;min-width:150px;z-index:1000}.language__item{padding:0}.language__link{display:flex;align-items:center;justify-content:space-between;padding:8px 16px;text-decoration:none;color:#333;font-size:26px}.language__link:hover{background:#f0f0f0}.language__check{color:#007bff;font-size:24px}.language-selector.active .language__dropdown{display:block}.quote-container{max-width:1400px;margin:20px auto;font-family:-apple-system,BlinkMacSystemFont,segoe ui,roboto,helvetica neue,Arial,sans-serif}.quote-container h1{font-size:2em;color:var(--foreground-color);text-align:center;margin-bottom:20px}.quote{border-left:5px solid var(--accent-color);background-color:var(--background-color1);padding:20px;margin:20px 0;border-radius:5px;box-shadow:0 2px 5px rgba(0,0,0,.1)}.quote p{font-style:italic;font-size:1.1em;color:var(--foreground-color);margin:0 0 10px}.quote .attribution{font-weight:700;font-size:1em;color:var(--foreground-color3);text-align:right}@media(max-width:768px){.quote-container{margin:15px 0}.quote-container h1{font-size:1.6em;margin-bottom:15px}.quote{padding:15px;margin:15px 0;border-left-width:4px}.quote p{font-size:1em}.quote .attribution{font-size:.9em}}