/*!
 * 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")}*,*::before,*::after{box-sizing:border-box}a:link{text-decoration:none}body,h1,h2,h3,h4,p,ul[class],ol[class],li,figure,figcaption,dl,dd{margin:0}li{margin:10px 0}html{font-size:1rem;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;color:#1b1818;background-color:#f9fafb;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}a:not([class]){text-decoration-skip-ink:auto}a,a:visited{color:#a00}a:focus{outline-offset:2px;outline:2px solid #1660f3}img{max-width:100%;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:#e8edf2}pre code{font-size:95%;position:relative}kbd{background:#fff;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}h1:first-child{text-align:center}article .markdown-toc ol,article ul{counter-reset:item;padding-left:2rem}article .markdown-toc ol li,article ul li{display:block}article .markdown-toc ol li:before,article ul 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:italic}.theorem::before{content:"Theorem " counter(theorem) ". ";font-weight:bold;font-style:normal}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.lemma::before{content:"Lemma " counter(theorem) ". ";font-weight:bold;font-style:normal}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof::before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";position:absolute;right:-12px;bottom:-2px}.definition{counter-increment:definition;display:block;margin:12px 0;font-style:normal}.definition::before{content:"Definition " counter(definition) ". ";font-weight:bold;font-style:normal}.author{margin:0.85rem 0;font-variant-caps:small-caps;text-align:center}.abstract,.abstract p{text-align:center}.abstract{margin:2.25rem 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}iframe{display:block}.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");color:#000;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:#666;background:rgba(0,0,0,0.5);margin-left:15px;color:#fff;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;border-color:transparent #666;border-color:transparent rgba(0,0,0,0.5);position:absolute;top:50%;left:-5px;margin-top:-5px}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{text-decoration:none;border:0;color:#000;box-sizing:border-box}section ul li .post-date{float:right;margin:0 0 0 20px}section ul li span{display:inline-block;color:#757575;letter-spacing:1px;text-transform:uppercase}@media (min-width: 992px){section ul li a{border-bottom:2px solid transparent}section ul li a:hover{border-color:#000}}iframe{margin:45px 0 !important}ul,ol{padding-left:50px}ul li,ol li{word-wrap:break-word}ul img,ol img{margin:40px 0;border-radius:5px}sup{vertical-align:top;position:relative;top:-0.5em;margin-left:1px}time{color:#555}iframe{width:100%}mark{background:#fffc76;padding:0 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;color:#777}.footer a{border:none;font-weight:bold}.video-container{margin-bottom:100px;position:relative;padding-bottom:56.25%}.video-container iframe{position:absolute;top:0;left:0;width:100%;height:100%}@keyframes bounce{0%{transform:translate3d(0, -1000px, 0)}60%{transform:translate3d(0, 25px, 0)}75%{transform:translate3d(0, -10px, 0)}90%{transform:translate3d(0, 5px, 0)}100%{transform:none}}@-webkit-keyframes bounce{0%{-webkit-transform:translate3d(0, -1000px, 0)}60%{-webkit-transform:translate3d(0, 25px, 0)}75%{-webkit-transform:translate3d(0, -10px, 0)}90%{-webkit-transform:translate3d(0, 5px, 0)}100%{-webkit-transform:none}}.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}