*,*::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}@media(min-width:940px){.body{width:900px;margin-left:auto;margin-right:auto}}: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:#3c3836;background-color:#fbf1c7}.chroma{color:#3c3836;background-color:#fbf1c7}.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:#e1d8b3}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#9d9b9a}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#9d9b9a}.chroma .line{display:flex}.chroma .k{color:#af3a03}.chroma .kc{color:#af3a03}.chroma .kd{color:#af3a03}.chroma .kn{color:#af3a03}.chroma .kp{color:#af3a03}.chroma .kr{color:#af3a03}.chroma .kt{color:#b57614}.chroma .na{color:#79740e;font-weight:700}.chroma .nb{color:#b57614}.chroma .no{color:#d3869b}.chroma .ni{color:#b57614}.chroma .ne{color:#fb4934}.chroma .nf{color:#b57614}.chroma .nl{color:#9d0006}.chroma .nt{color:#9d0006}.chroma .s{color:#79740e}.chroma .sa{color:#79740e}.chroma .sb{color:#79740e}.chroma .sc{color:#79740e}.chroma .dl{color:#79740e}.chroma .sd{color:#79740e}.chroma .s2{color:#79740e}.chroma .se{color:#79740e}.chroma .sh{color:#79740e}.chroma .si{color:#79740e}.chroma .sx{color:#79740e}.chroma .sr{color:#79740e}.chroma .s1{color:#79740e}.chroma .ss{color:#076678}.chroma .m{color:#8f3f71}.chroma .mb{color:#8f3f71}.chroma .mf{color:#8f3f71}.chroma .mh{color:#8f3f71}.chroma .mi{color:#8f3f71}.chroma .il{color:#8f3f71}.chroma .mo{color:#8f3f71}.chroma .o{color:#af3a03}.chroma .ow{color:#af3a03}.chroma .c{color:#928374;font-style:italic}.chroma .ch{color:#928374;font-style:italic}.chroma .cm{color:#928374;font-style:italic}.chroma .c1{color:#928374;font-style:italic}.chroma .cs{color:#928374;font-style:italic}.chroma .cp{color:#427b58}.chroma .cpf{color:#427b58;font-style:italic}.chroma .gd{color:#282828;background-color:#9d0006}.chroma .ge{color:#076678;text-decoration:underline}.chroma .gr{background-color:#9d0006;font-weight:700}.chroma .gh{color:#79740e;font-weight:700}.chroma .gi{color:#282828;background-color:#79740e}.chroma .go{color:#504945}.chroma .gu{color:#79740e;font-weight:700}.chroma .gt{background-color:#3c3836;font-weight:700}@media(prefers-color-scheme:dark){.bg{color:#ebdbb2;background-color:#282828}.chroma{color:#ebdbb2;background-color:#282828}.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:#3d3d3d}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#756d59}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#756d59}.chroma .line{display:flex}.chroma .k{color:#fe8019}.chroma .kc{color:#fe8019}.chroma .kd{color:#fe8019}.chroma .kn{color:#fe8019}.chroma .kp{color:#fe8019}.chroma .kr{color:#fe8019}.chroma .kt{color:#fabd2f}.chroma .na{color:#b8bb26;font-weight:700}.chroma .nb{color:#fabd2f}.chroma .no{color:#d3869b}.chroma .ni{color:#fabd2f}.chroma .ne{color:#fb4934}.chroma .nf{color:#fabd2f}.chroma .nl{color:#fb4934}.chroma .nt{color:#fb4934}.chroma .s{color:#b8bb26}.chroma .sa{color:#b8bb26}.chroma .sb{color:#b8bb26}.chroma .sc{color:#b8bb26}.chroma .dl{color:#b8bb26}.chroma .sd{color:#b8bb26}.chroma .s2{color:#b8bb26}.chroma .se{color:#b8bb26}.chroma .sh{color:#b8bb26}.chroma .si{color:#b8bb26}.chroma .sx{color:#b8bb26}.chroma .sr{color:#b8bb26}.chroma .s1{color:#b8bb26}.chroma .ss{color:#83a598}.chroma .m{color:#d3869b}.chroma .mb{color:#d3869b}.chroma .mf{color:#d3869b}.chroma .mh{color:#d3869b}.chroma .mi{color:#d3869b}.chroma .il{color:#d3869b}.chroma .mo{color:#d3869b}.chroma .o{color:#fe8019}.chroma .ow{color:#fe8019}.chroma .c{color:#928374;font-style:italic}.chroma .ch{color:#928374;font-style:italic}.chroma .cm{color:#928374;font-style:italic}.chroma .c1{color:#928374;font-style:italic}.chroma .cs{color:#928374;font-style:italic}.chroma .cp{color:#8ec07c}.chroma .cpf{color:#8ec07c;font-style:italic}.chroma .gd{color:#282828;background-color:#fb4934}.chroma .ge{color:#83a598;text-decoration:underline}.chroma .gr{background-color:#fb4934;font-weight:700}.chroma .gh{color:#b8bb26;font-weight:700}.chroma .gi{color:#282828;background-color:#b8bb26}.chroma .go{color:#504945}.chroma .gu{color:#b8bb26;font-weight:700}.chroma .gt{background-color:#fb4934;font-weight:700}}pre:not(.chroma),.bg,.chroma,.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}p{margin-bottom:1.2em;text-align:justify;hyphens:auto}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}.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}.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:transparent;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:.95em}.theorem,.lemma,.proposition,.corollary,.definition,.remark,.example,.note{padding:1em 1.2em}.proof::after{position:static;display:block;text-align:right;margin-top:.5em}}.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:none}@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:arial,sans-serif}.quote-container h1{font-size:2em;color:#333;text-align:center;margin-bottom:20px}.quote{border-left:5px solid #007bff;background-color:#f8f9fa;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:#333;margin:0 0 10px}.quote .attribution{font-weight:700;font-size:1em;color:#555;text-align:right}