/*!
 * LaTeX.css (https://latex.now.sh/)
 *
 * Source: https://github.com/vincentdoerig/latex-css
 * Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
*/@font-face{font-family:'Latin Modern';font-style:normal;font-weight:normal;font-display:swap;src:url("./fonts/LM-regular.woff2") format("woff2"),url("./fonts/LM-regular.woff") format("woff"),url("./fonts/LM-regular.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:italic;font-weight:normal;font-display:swap;src:url("./fonts/LM-italic.woff2") format("woff2"),url("./fonts/LM-italic.woff") format("woff"),url("./fonts/LM-italic.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:normal;font-weight:bold;font-display:swap;src:url("./fonts/LM-bold.woff2") format("woff2"),url("./fonts/LM-bold.woff") format("woff"),url("./fonts/LM-bold.ttf") format("truetype")}@font-face{font-family:'Latin Modern';font-style:italic;font-weight:bold;font-display:swap;src:url("./fonts/LM-bold-italic.woff2") format("woff2"),url("./fonts/LM-bold-italic.woff") format("woff"),url("./fonts/LM-bold-italic.ttf") format("truetype")}@font-face{font-family:'Libertinus';font-style:normal;font-weight:normal;font-display:swap;src:url("./fonts/Libertinus-regular.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:italic;font-weight:normal;font-display:swap;src:url("./fonts/Libertinus-italic.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:normal;font-weight:bold;font-display:swap;src:url("./fonts/Libertinus-bold.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:italic;font-weight:bold;font-display:swap;src:url("./fonts/Libertinus-bold-italic.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:normal;font-weight:600;font-display:swap;src:url("./fonts/Libertinus-semibold.woff2") format("woff2")}@font-face{font-family:'Libertinus';font-style:italic;font-weight:600;font-display:swap;src:url("./fonts/Libertinus-semibold-italic.woff2") format("woff2")}*,*::before,*::after{box-sizing:border-box}:root{--body-color: hsl(0, 0%, 5%);--body-bg-color: hsl(0, 0%, 100%);--link-visited: hsl(0, 70%, 35%);--link-focus-outline: hsl(30, 100%, 50%);--pre-bg-color: hsl(42, 30%, 97%);--kbd-bg-color: hsl(42, 30%, 93%);--kbd-border-color: hsl(42, 25%, 60%);--table-border-color: hsl(0, 0%, 15%);--sidenote-target-border-color: hsl(42, 72%, 64%);--footnotes-border-color: hsl(0, 0%, 30%);--text-indent-size: 1.463rem}.latex-dark{--body-color: hsl(0, 0%, 0%);--body-bg-color: hsl(0, 0%, 100%);--link-visited: hsl(30, 100%, 50%);--link-focus-outline: hsl(30, 100%, 75%);--pre-bg-color: lab(79.46% 0.14 11.29 / 0.654);--kbd-bg-color: hsl(42, 25%, 25%);--kbd-border-color: hsl(42, 15%, 45%);--table-border-color: hsl(0, 0%, 85%);--sidenote-target-border-color: hsl(42, 40%, 55%);--footnotes-border-color: hsl(0, 0%, 50%);--proof-symbol-filter: invert(90%)}@media (prefers-color-scheme: dark){.latex-dark-auto{--body-color: hsl(0, 0%, 90%);--body-bg-color: hsl(0, 0%, 5%);--link-visited: hsl(30, 100%, 50%);--link-focus-outline: hsl(30, 100%, 60%);--pre-bg-color: hsl(42, 25%, 15%);--kbd-bg-color: hsl(42, 25%, 25%);--kbd-border-color: hsl(42, 15%, 45%);--table-border-color: hsl(0, 0%, 85%);--sidenote-target-border-color: hsl(42, 40%, 55%);--footnotes-border-color: hsl(0, 0%, 50%);--proof-symbol-filter: invert(90%)}}body,h1,h2,h3,h4,p,ul[class],ol[class],li,figure,figcaption,dl,dd{margin:0}html{font-size:1rem}@media (prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}body.libertinus{font-family:'Libertinus', Georgia, Cambria, 'Times New Roman', Times, serif, 'STIX Math', 'Latin Modern Math', 'Cambria Math'}body{font-family:'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif, 'STIX Math', 'Latin Modern Math', 'Cambria Math';line-height:1.8;max-width:80ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem definition sidenote-counter;color:var(--body-color);background-color:var(--body-bg-color);text-rendering:optimizeLegibility}p{text-align:justify;-moz-hyphens:auto;-webkit-hyphens:auto;hyphens:auto;margin-top:1rem}.indent-pars p{text-indent:var(--text-indent-size)}.indent-pars p.no-indent,p.no-indent{text-indent:0}.indent-pars ol p,.indent-pars ul p{text-indent:0}.indent-pars h2+p,.indent-pars h3+p,.indent-pars h4+p{text-indent:0}a:not([class]){text-decoration-skip-ink:auto}a,a:visited{color:var(--link-visited)}a:focus{outline-offset:2px;outline:2px solid var(--link-focus-outline)}img{max-width:100%;height:auto;display:block}input,button,textarea,select{font:inherit}textarea{width:100%}article>*+*{margin-top:1em}code,pre,kbd{font-family:Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;font-size:85%}pre{padding:1rem 1.4rem;max-width:100%;overflow:auto;border-radius:4px;background:var(--pre-bg-color)}pre code{font-size:95%;position:relative}kbd{background:var(--kbd-bg-color);border:1px solid var(--kbd-border-color);border-radius:2px;padding:2px 4px;font-size:75%}table{border-collapse:collapse;border-spacing:0;width:auto;max-width:100%;border-top:2.27px solid var(--table-border-color);border-bottom:2.27px solid var(--table-border-color);overflow-x:auto;counter-increment:caption}table tr>th[scope='col']{border-bottom:1.36px solid var(--table-border-color)}table tr>th[scope='row']{border-right:1.36px solid var(--table-border-color)}table>tbody>tr:first-child>td,table>tbody>tr:first-child>th{border-top:1.36px solid var(--table-border-color)}table>tbody>tr:last-child>td,table>tbody>tr:last-child>th{border-bottom:1.36px solid var(--table-border-color)}th,td{text-align:left;padding:0.5rem;line-height:1.1}caption{text-align:left;font-size:0.923em;padding:0 0.25em 0.25em;width:100%;margin-left:0}caption::before{content:"Table " counter(caption) ". ";font-weight:bold}.scroll-wrapper{overflow-x:auto}.scroll-wrapper>table td{white-space:nowrap}h1:first-child{text-align:center}nav ol{counter-reset:item;padding-left:2rem}nav li{display:block}nav li:before{content:counters(item,".") " ";counter-increment:item;padding-right:0.85rem}dl dd{text-align:center}.theorem{counter-increment:theorem;display:block;margin:12px 0;font-style:normal}.theorem::before{content:"Theorem " counter(theorem) ". ";font-weight:bold;font-style:normal}.theorem p{display:inline;margin:0 !important}.slogan{counter-increment:slogan;display:block;margin:12px 0;font-style:bold}.slogan::before{content:'🚩 ';font-weight:bold;font-style:normal}.slogan p{display:inline;margin:0 !important}.question{counter-increment:question;display:block;margin:12px 0;font-style:normal}.question::before{content:'⁉️ ';font-weight:bold;font-style:normal}.question p{display:inline;margin:0 !important}.note{counter-increment:note;display:block;margin:12px 0;font-style:normal}.note::before{content:'📚 ';font-weight:bold;font-style:normal}.note p{display:inline;margin:0 !important}.example{counter-increment:example;display:block;margin:12px 0;font-style:normal}.example::before{content:"Example " counter(example) ". ";font-weight:bold;font-style:normal}.example p{display:inline;margin:0 !important}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:normal}.lemma::before{content:"Lemma " counter(theorem) ". ";font-weight:bold;font-style:normal}.lemma p{display:inline;margin:0 !important}.corollary{counter-increment:theorem;display:block;margin:12px 0;font-style:normal}.corollary::before{content:"Corollary " counter(theorem) ". ";font-weight:bold;font-style:normal}.corollary p{display:inline;margin:0 !important}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof::before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:'◾️';filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.proof p{display:inline;margin:0 !important}.solution{display:block;margin:12px 0;font-style:normal;position:relative}.solution::before{content:"Solution. " attr(title);font-style:italic}.solution:after{content:'◾️';filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.solution p{display:inline;margin:0 !important}.blank{display:block;margin:12px 0;font-style:normal;position:relative}.blank::before{content:"blank. " attr(title);font-style:italic}.blank:after{content:'◾️';filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.blank p{display:inline;margin:0 !important}.definition{counter-increment:definition;display:block;margin:12px 0;margin-bottom:2em;font-style:normal}.definition::before{content:"Definition " counter(definition) ". ";font-weight:bold;font-style:normal}.definition p{display:inline;margin:0 !important}.problem{counter-increment:problem;display:block;margin:12px 0;font-style:normal}.problem::before{content:"Problem " counter(problem) ". ";font-weight:bold;font-style:normal}.problem p{display:inline;margin:0 !important}.proposition{counter-increment:proposition;display:block;margin:12px 0;font-style:normal}.proposition::before{content:"Proposition " counter(proposition) ". ";font-weight:bold;font-style:normal}.proposition p{display:inline;margin:0 !important}.author{margin:0.85rem 0;font-variant-caps:small-caps;text-align:center}.sidenote{font-size:0.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em;text-indent:0}.sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em;text-indent:0}.sidenote:target{border:var(--sidenote-target-border-color) 1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number::after,.sidenote::before{position:relative;vertical-align:baseline}.sidenote-number::after{content:counter(sidenote-counter);font-size:0.7rem;top:-0.5rem;left:0.1rem}.sidenote-number ~ .sidenote::before{content:counter(sidenote-counter) " ";font-size:0.7rem;top:-0.5rem}label.sidenote-toggle:not(.sidenote-number){display:none}blockquote .sidenote{margin-right:-24vw;width:18vw}label.sidenote-toggle{display:inline;cursor:pointer}input.sidenote-toggle{display:none}@media (max-width: 1050px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{display:block;margin:0.5rem 1.25rem 1rem 0.5rem;float:left;left:1rem;clear:both;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:0.4rem}.footnotes{border-top:1px solid var(--footnotes-border-color)}.abstract{margin:2.25rem 0;text-align:left}.abstract>h5{text-align:center !important;font-size:1rem;margin-bottom:-0.2rem}.abstract>div{text-align:left !important}.abstract>div p{text-align:inherit !important;margin-left:0;margin-right:0}.latex span:nth-child(1){text-transform:uppercase;font-size:0.75em;vertical-align:0.28em;margin-left:-0.48em;margin-right:-0.15em;line-height:1ex}.latex span:nth-child(2){text-transform:uppercase;vertical-align:-0.5ex;margin-left:-0.1667em;margin-right:-0.125em;line-height:1ex}h1{font-size:2.5rem;line-height:3.25rem;margin-bottom:1.625rem}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem}h3{font-size:1.4rem;margin-top:2.5rem}h4{font-size:1.2rem;margin-top:2rem}h5{font-size:1rem;margin-top:1.8rem}h6{font-size:1rem;font-style:italic;font-weight:normal;margin-top:2.5rem}h3,h4,h5,h6{line-height:1.625rem}h1+h2{margin-top:1.625rem}h2+h3,h3+h4,h4+h5{margin-top:0.8rem}h5+h6{margin-top:-0.8rem}h2,h3,h4,h5,h6{margin-bottom:0.8rem}@media (max-width: 1050px){body{padding-left:0.5rem !important;padding-right:0.5rem !important;max-width:100%}.sidenote,table,pre{margin-left:0.5rem !important;margin-right:0.5rem !important}}.container{display:flex;flex-wrap:wrap;gap:0px}.content-column{flex:2;min-width:750px}.sidebar-column{position:fixed;left:0;top:0;height:100vh;width:300px;background:white;box-shadow:2px 0 10px rgba(0,0,0,0.1);z-index:1000;overflow-y:auto;padding:1rem;transition:none}.numbered-toc{counter-reset:section;padding-top:20px}.numbered-toc ol{list-style:none;padding-left:1.2rem;margin:0.3rem 0}.numbered-toc li{margin:0.4rem 0;position:relative}.numbered-toc a{display:flex;align-items:center;color:#333;text-decoration:none;padding:0.3rem 0;border-bottom:1px solid #f0f0f0;transition:color 0.2s}.numbered-toc a:hover{color:#ba9f5e}.toc-number{display:inline-block;min-width:2rem;color:#666;font-size:0.9em;margin-right:0.5rem}.toc-title{flex:1}.toc-level-2{margin-left:0}.toc-level-3{margin-left:1rem}.toc-level-4{margin-left:2rem}.numbered-toc a.active{color:#ff8000;font-weight:bold}.sidebar-column{flex:0 0 250px}.sidebar-section{margin-bottom:2rem;padding:1.2rem;background:#f8f8f8;border-radius:8px;box-shadow:0 2px 5px rgba(0,0,0,0.05)}.sidebar-section h3{margin-top:0;border-bottom:1px solid #eee;padding-bottom:0.5rem}.page-navigation{width:100%;text-align:center;margin-top:3rem}main{margin-left:50px}@media (max-width: 1250px){.sidebar-column{display:none !important}.sidebar{display:none !important}.content-column{min-width:100% !important;flex:2 !important}.container{display:block !important}}.highlight{margin:40px 0}.highlight .c{color:#998;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .k{font-weight:bold}.highlight .o{font-weight:bold}.highlight .cm{color:#998;font-style:italic}.highlight .cp{color:#999;font-weight:bold}.highlight .c1{color:#998;font-style:italic}.highlight .cs{color:#999;font-weight:bold;font-style:italic}.highlight .gd{color:#000;background-color:#fdd}.highlight .gd .x{color:#000;background-color:#faa}.highlight .ge{font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:#999}.highlight .gi{color:#000;background-color:#dfd}.highlight .gi .x{color:#000;background-color:#afa}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:#a00}.highlight .kc{font-weight:bold}.highlight .kd{font-weight:bold}.highlight .kp{font-weight:bold}.highlight .kr{font-weight:bold}.highlight .kt{color:#458;font-weight:bold}.highlight .m{color:#099}.highlight .s{color:#d14}.highlight .na{color:#008080}.highlight .nb{color:#0086b3}.highlight .nc{color:#458;font-weight:bold}.highlight .no{color:#008080}.highlight .ni{color:#800080}.highlight .ne{color:#900;font-weight:bold}.highlight .nf{color:#900;font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:#000080}.highlight .nv{color:#008080}.highlight .ow{font-weight:bold}.highlight .w{color:#bbb}.highlight .mf{color:#099}.highlight .mh{color:#099}.highlight .mi{color:#099}.highlight .mo{color:#099}.highlight .sb{color:#d14}.highlight .sc{color:#d14}.highlight .sd{color:#d14}.highlight .s2{color:#d14}.highlight .se{color:#d14}.highlight .sh{color:#d14}.highlight .si{color:#d14}.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .bp{color:#999}.highlight .vc{color:#008080}.highlight .vg{color:#008080}.highlight .vi{color:#008080}.highlight .il{color:#099}html{font-size:1.2rem;scroll-behavior:smooth}body{font-family:"Latin Modern", Georgia, Cambria, "Times New Roman", Times, serif;line-height:1.8;max-width:80ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem;counter-reset:definition;text-rendering:optimizeLegibility;display:flex;flex-direction:column;height:100%}main{flex:1 0 auto}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;margin-top:1rem}h1{font-size:2.5rem;line-height:3.25rem;margin-bottom:1.625rem}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem}h3{font-size:1.4rem;margin-top:2.5rem}h4{font-size:1.2rem;margin-top:2rem}h5{font-size:1rem;margin-top:1.8rem}h6{font-size:1rem;font-style:italic;font-weight:normal;margin-top:2.5rem}h3,h4,h5,h6{line-height:1.625rem}h1+h2{margin-top:1.625rem}h2+h3,h3+h4,h4+h5{margin-top:0.8rem}h5+h6{margin-top:-0.8rem}h2,h3,h4,h5,h6{margin-bottom:0.8rem}.logo{position:relative;margin:0 auto 35px;text-align:center;animation-duration:0.7s;animation-fill-mode:both;animation-name:bounce;-webkit-animation-duration:0.7s;-webkit-animation-fill-mode:both;-webkit-animation-name:bounce}.logo a{background:#ddd url("gravatar_wrapper.png");text-decoration:none;font-weight:700;height:100px;width:100px;font-size:1.5em;border-radius:100%;display:inline-block;text-align:center;line-height:100px;border:5px solid #fff;box-sizing:border-box}.logo a:hover,.logo a:focus{background:#f14e32}.logo a:hover+.logo-prompt,.logo a:focus+.logo-prompt{display:inline-block !important}.logo a .gravatar{margin:5px auto;-webkit-border-radius:50%;-moz-border-radius:50%;border-radius:50%}@media (max-width: 480px){.logo a:hover+.logo-prompt,.logo a:focus+.logo-prompt{display:none !important}}.logo .logo-prompt{position:absolute;display:none;vertical-align:middle;padding:5px;border-radius:3px;background:rgba(0,0,0,0.5);margin-left:15px;font-size:0.8235em;text-align:center;line-height:1.2;top:50%;margin-top:-10px}.logo .logo-prompt:before{content:"";border-width:5px 5px 5px 0;border-style:solid;position:absolute;top:50%;left:-5px;margin-top:-5px}.page-navigation,.footer{text-align:center;max-width:500px;margin:0 auto;font-size:1rem}.page-navigation{margin:50px auto 0 auto}.page-navigation a{display:inline-block;text-decoration:none;border-bottom:none}.page-navigation span{display:inline-block}.footer{margin-top:50px}.footer a{border:none;font-weight:bold}section{max-width:500px;margin:0 auto 50px auto}section ul{list-style:none;margin:0;padding:0}section ul li{margin:25px 0}section ul li .title{max-width:100%;word-wrap:normal !important}section ul li a{border:0;box-sizing:border-box}section ul li .post-date{float:right;margin:0 0 0 20px}section ul li span{display:inline-block;letter-spacing:1px;text-transform:uppercase}@media (min-width: 992px){section ul li a{border-bottom:2px solid transparent}}kbd{border:1px solid #afb3b6;border-radius:2px;padding:2px 4px;font-size:75%}table{border-collapse:collapse;border-spacing:0;width:100%;max-width:100%}th,td{text-align:left;padding:0.5rem}td{border-bottom:1px solid #d9d9d9}thead th{border-bottom:2px solid #b3b3b3}tfoot th{border-top:2px solid #b3b3b3}a:focus{outline-offset:2px;outline:2px solid #1660f3}textarea{width:100%}pre{padding:1rem 1.4rem;max-width:100%;overflow:auto;border-radius:4px}article #markdown-toc,article .markdown-toc{margin-left:2rem;list-style-type:none;counter-reset:toc-item;padding-left:1.5rem}article #markdown-toc li,article .markdown-toc li{display:block;position:relative;counter-increment:toc-item}article #markdown-toc li::before,article .markdown-toc li::before{content:counters(toc-item,".") ". ";position:absolute;left:-2rem;width:1.3rem;text-align:right}article #markdown-toc li ul,article .markdown-toc li ul{counter-reset:toc-item;padding-left:2rem}article ul:not(#markdown-toc):not(.markdown-toc){list-style-type:disc;padding-left:2rem}article ul:not(#markdown-toc):not(.markdown-toc) li::before{content:none !important}.main-container{display:flex;flex-direction:column;align-self:center;width:20rem}.post-list{margin:0;flex:1}.pagination-container{align-self:center}@media print{main{margin-left:-73px !important}.sidebar-column{display:none !important}.footer{display:none !important}h2{font-size:19pt !important}h3{font-size:15pt !important}h4{font-size:13pt !important}body{font-size:0.8em !important;line-height:1.4}@page{size:auto;margin:15mm 5mm;@top-left{content:attr(href, url);font-size:0.8em;color:#666}@bottom-right{content:"PAGE " counter(page);font-size:0.8em}@bottom-left{content:"https://zhangchenchengsjtu.github.io/website/";font-size:0.8em;color:#666}}h1,h2,h3,blockquote{page-break-after:avoid}pre,code{page-break-inside:avoid;white-space:pre-wrap !important}}