:root{--link-color: #0000ee;--link-visited: #0000ee;--link-hover: #ff0f00;--bg-color: #ffffff;--text-color: #000000;--code-bg-color: #f3f4f4}body[a=dark]{--link-color: #8ab4f8;--link-visited: #a0c5ff;--link-hover: #ff8a65;--bg-color: #000000;--text-color: #ffffff;--code-bg-color: #2d333b}@media(prefers-color-scheme: dark){body[a=auto]{--link-color: #8ab4f8;--link-visited: #a0c5ff;--link-hover: #ff8a65;--bg-color: #000000;--text-color: #ffffff;--code-bg-color: #2d333b}}body{background-color:var(--bg-color);color:var(--text-color)}html{height:100%}body{font-family:Palatino,"Palatino Linotype","Palatino LT STD","Book Antiqua",Georgia,"LXGW WenKai","Noto Serif TC","Noto Serif SC",serif;font-weight:300;font-size:1rem;line-height:1.2;margin:0;min-height:100%}i,em,cite,dfn,address,blockquote{font-family:Palatino,"Palatino Linotype","Palatino LT STD","Book Antiqua",Georgia,"LXGW WenKai","Noto Serif TC","Noto Serif SC",serif}.header{max-width:900px;margin:0 auto;padding:0 1rem}.description{font-size:.8rem}.art-title{font-size:1.8rem;text-align:center;margin-block-start:.67em;margin-block-end:.67em;margin-inline-start:0;margin-inline-end:0}.art-subtitle{font-size:1.48rem;text-align:center;margin-block-start:-0.5em;margin-block-end:.67em;margin-inline-start:0;margin-inline-end:0}.title{font-size:1.8rem;text-align:left;margin-block-start:.67em;margin-block-end:.67em;margin-inline-start:0;margin-inline-end:0}.post-meta{text-align:center;margin-top:-0.5rem;margin-bottom:2.5rem}.back-to-blog{margin:0 0 .6rem 0}.lang-switch{text-align:center;margin-top:-1.8rem;margin-bottom:2rem;font-size:.85rem}.lang-label{opacity:.75}.lang-sep{margin:0 .25rem}.lang-current{opacity:.75}h1,h2,h3,h4,h5{margin-top:1.6rem}hr{margin:1rem 0}p{text-align:justify;hyphens:auto;margin-bottom:1rem}li{margin:.3rem 0}.w{max-width:900px;margin:0 auto;padding:1rem 1rem}.w img{max-width:66%;display:block;margin:1rem auto}.container-vert{direction:rtl;height:100%;width:auto;overflow:auto}hr{text-align:center}table{width:100%;margin:1rem auto;border-collapse:collapse}th,td{border:thin solid var(--text-color);padding:.4rem}code{background-color:var(--code-bg-color);padding:0 2px 0 2px;font-family:Consolas,Monaco,"Courier New",monospace}div.highlighter-rouge code{display:block;overflow-x:auto;padding:1rem}blockquote{font-style:italic;padding:0 1rem;margin:1rem 1rem}blockquote p{margin:0}.nav{max-width:900px;margin:0 auto;padding:0 1rem}.nav-list{list-style-type:none;margin:0}.nav-list-inter{list-style-type:none;margin:0 .3rem 0 .3rem}.navbar-ul{display:inline-block;margin:0;padding:0;margin-left:0}.alignable,.pull-right,.pull-left{display:inline-block}.pull-left{float:left}.pull-right{float:right}.MathJax{overflow-x:auto;overflow-y:hidden}a{text-decoration:none;color:var(--link-color)}a:visited{text-decoration:none;color:var(--link-visited)}a:hover{text-decoration:underline;color:var(--link-hover)}ul.latex-style-toc{list-style:none;padding:0;margin:0}ul.latex-style-toc li{display:flex;align-items:center}ul.latex-style-toc li .post-title{hyphens:auto;margin-right:5px;max-width:60%}ul.latex-style-toc li .dot-fill{flex-grow:1;border-bottom:1.5px dotted var(--text-color);margin:0 5px;height:0}ul.latex-style-toc li .post-date{margin-left:5px}h1{font-size:1.4rem;margin-bottom:1.4rem;counter-increment:section;counter-reset:thm 0 subsection 0}h1.hide-number{counter-increment:section 0}h2{font-size:1.2rem;margin-bottom:1.2rem;counter-increment:subsection;counter-reset:subsubsection}h3{font-size:1rem;margin-bottom:1rem;counter-increment:subsubsection}h1::before{content:counter(section) "  "}h2::before{content:counter(section) "." counter(subsection) "  "}h3::before{content:counter(section) "." counter(subsection) "." counter(subsubsection) "  "}h1.hide-number::before{content:""}h2.hide-number::before{content:""}h3.hide-number::before{content:""}#markdown-toc>li{font-weight:bold}#markdown-toc>li li{font-weight:normal}#markdown-toc>li{list-style:none;counter-increment:toc1;counter-reset:toc2}#markdown-toc>li::before{content:counter(toc1) "  "}#markdown-toc>li>ul>li{list-style:none;counter-increment:toc2;counter-reset:toc3}#markdown-toc>li>ul>li::before{content:counter(toc1) "." counter(toc2) "  "}#markdown-toc>li>ul>li>ul>li{list-style:none;counter-increment:toc3}#markdown-toc>li>ul>li>ul>li::before{content:counter(toc1) "." counter(toc2) "." counter(toc3) "  "}#markdown-toc ul{list-style:none}#markdown-toc{padding:0px;margin-top:-0.3rem;display:inline-block}.theorem{text-align:justify;hyphens:auto;counter-increment:thm;margin:1.3rem 0}.theorem .thm::before{content:"Theorem " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .def::before{content:"Definition " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .proposition::before{content:"Proposition " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .lemma::before{content:"Lemma " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .corollary::before{content:"Corollary " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .example::before{content:"Example " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .exercise::before{content:"Exercise " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem .remark::before{content:"Remark " counter(section) "." counter(thm) ".";font-style:normal;font-weight:bold}.theorem-title::before{content:"("}.theorem-title::after{content:")"}.theorem-title{font-style:normal;font-weight:normal}.theorem{font-style:italic}.proof::before{content:"Proof.";font-style:italic;font-weight:normal}.sketch::before{content:"Proof sketch."}.proof{position:relative;font-style:normal;counter-increment:thm -1}.proof::after{content:"☐";position:absolute;display:inline;right:0;font-size:1rem}/*# sourceMappingURL=main.css.map */