/**
* style.css
* Code adapted from: https://github.com/vincentdoerig/latex-css
* Licensed under the MIT license (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE)
*/

@font-face{font-family:Libertinus;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/Libertinus-regular.woff2) format('woff2'),url(/fonts/Libertinus-regular.woff) format('woff'),url(/fonts/Libertinus-regular.ttf) format('truetype')}@font-face{font-family:Libertinus;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/Libertinus-italic.woff2) format('woff2'),url(/fonts/Libertinus-italic.woff) format('woff'),url(/fonts/Libertinus-italic.ttf) format('truetype')}@font-face{font-family:Libertinus;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/Libertinus-bold.woff2) format('woff2'),url(/fonts/Libertinus-bold.woff) format('woff'),url(/fonts/Libertinus-bold.ttf) format('truetype')}*,:after,:before{box-sizing:border-box}body,dd,dl,figcaption,figure,ol[class],p,ul[class]{margin:0}li{margin:0;clear:left}html{font-size:1rem}body{font-family:Libertinus,Georgia,Cambria,'Times New Roman',Times,serif;line-height:1.8;max-width:120ch;min-height:100vh;overflow-x:hidden;margin:0 auto;padding:2rem 1.25rem;counter-reset:theorem;counter-reset:definition;counter-reset:sidenote-counter;color:#1b1818;background-color:#fff;text-rendering:optimizeLegibility}p{text-align:justify;hyphens:auto;-webkit-hyphens:auto;-moz-hyphens:auto;-epub-hyphens:auto;margin-top:1rem}img{max-width:100%;height:auto;display:block}button,input,select,textarea{font:inherit}textarea{width:100%}footer{text-align:center;margin-left:auto;margin-right:auto;position:absolute;left:0;right:0;bottom:1.5em;font-size:90%}.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:.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:700;font-style:normal}.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.lemma:before{content:'Lemma ' counter(theorem) '. ';font-weight:700;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:700;font-style:normal}.author{margin:.85rem 0;font-variant:small-caps;text-align:center}.subtitle{margin:0 0;font-variant:small-caps;text-align:center}.circular--square{display:block;margin-left:auto;margin-right:auto;margin-bottom:.75rem;border-radius:50%;width:170px}.menu{margin-top:0;margin-right:1.25rem;font-variant:small-caps;position:relative;text-align:right;top:0;right:0}.sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em}.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:.7rem;top:-.5rem;left:.1rem}.sidenote-number~.sidenote:before{content:counter(sidenote-counter) ' ';font-size:.7rem;top:-.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:1500px){label.sidenote-toggle:not(.sidenote-number){display:inline}.sidenote{display:none}.sidenote-toggle:checked+.sidenote{display:block;margin:.5rem 1.25rem 1rem .5rem;float:left;left:1rem;clear:both;width:95%}blockquote .sidenote{margin-right:-25vw;width:16vw}}h1{font-size:2.5rem;line-height:3.25rem;margin:0}h2{font-size:1.7rem;line-height:2rem;margin-top:3rem;margin-bottom:.8rem}h3{margin-top:2.5rem;margin-bottom:.8rem;line-height:1.625rem}h4{margin-top:2rem;margin-bottom:.8rem;line-height:1.625rem}h5{margin-top:1.8rem;margin-bottom:.8rem;line-height:1.625rem}h6{font-style:italic;font-weight:400;margin-top:2.5rem;margin-bottom:.8rem;line-height:1.625rem}fieldset{display:block;margin-left:2px;margin-right:2px;padding:.35em .75em .625em .75em;border:2px groove}.table{display:table}.tr{display:table-row}.td{display:table-cell;vertical-align:middle;padding-right:1.75em}.td.right{text-align:right;vertical-align:middle;padding-right:.75em}.tdTight1{display:table-cell;vertical-align:middle;padding-right:.75em}.spacer{display:table-row;height:5px}.numInput{width:80px}.numInputErr{border-color:#e41a1c;border-style:solid;border-radius:4px;outline-color:#e41a1c;width:80px}.numOutput{width:80px}.container{display:flex;text-align:center;justify-content:center;align-items:center}.center{width:800px;height:662px}.center2{width:500px;padding-left:2.75em}.center3{width:850px;height:440px}.block{display:block;width:80px}.block2{width:80px}.block3{display:block;width:80px;height:33px}.block4{margin-top:3px;display:block;width:80px}.switch{position:relative;display:inline-block;margin-top:2px;width:52px;height:26px}.switch input{opacity:0;width:0;height:0}.slider{position:absolute;cursor:pointer;top:0;left:0;right:0;bottom:0;background-color:#ccc;-webkit-transition:.4s;-moz-transition:.4s;-o-transition:.4s;transition:.4s}.slider:before{position:absolute;content:'';height:20px;width:20px;left:3px;bottom:3px;background-color:#fff;-webkit-transition:.4s;-moz-transition:.4s;-o-transition:.4s;transition:.4s}input:enabled+.slider:hover{background-color:#bebebe}input:checked+.slider{background-color:grey}input:checked+.slider:before{-webkit-transform:translateX(26px);-moz-transform:translateX(26px);-ms-transform:translateX(26px);-o-transform:translateX(26px);transform:translateX(26px)}input:checked:enabled+.slider:hover{background-color:#727272}.slider.round{border-radius:26px}.slider.round:before{border-radius:50%}.loaderBackground{display:none}.startButton{display:block;width:80px;height:32px;line-height:28px;border-width:.01em;border-style:solid;border-color:grey;border-radius:.02em;background-color:#efefef;text-align:center}.startButton:hover:enabled{border-color:#000;background-color:#e5e5e5}.startButton:disabled{color:grey;outline:0}.loaderBackground{display:block;width:80px;height:32px;line-height:30px;border-width:.01em;border-style:solid;border-color:grey;border-radius:.02em;background-color:#e5e5e5;text-align:center;justify-content:center}.hidden{display:none}.loader{margin-top:7px;display:block;border:2px solid #f3f3f3;border-radius:50%;border-top:2px solid grey;border-right:2px solid grey;border-bottom:2px solid grey;width:16px;height:16px;-moz-animation:spin .3s linear infinite;-webkit-animation:spin .3s linear infinite;animation:spin .3s linear infinite}@-webkit-keyframes spin{0%{-webkit-transform:rotate(0);transform:rotate(0)}100%{-webkit-transform:rotate(360deg);transform:rotate(360deg)}}@keyframes spin{0%{transform:rotate(0)}100%{transform:rotate(360deg)}}.inherit{color:inherit}.scrollWrapper{display:block;overflow-x:auto;white-space:nowrap}.upshift{margin-top:-25px}.over415{display:block}.below415{display:none}@media screen and (max-width:415px){.over415{display:none}.below415{display:block}}a:link,a:visited{color:#265c83}a:hover{color:#00a4e5}a:active{color:#007be6;outline-offset:2px;outline:2px solid #007be6}.divider{position:relative;margin-bottom:15px;height:1px}.div-transparent:before{content:"";position:absolute;top:0;left:20%;right:20%;width:60%;height:1px;background-image:linear-gradient(to right,transparent,#1b1818,transparent)}@media screen and (max-width:415px){.div-transparent:before{left:5%;right:5%;width:90%}}.div-dot:after{content:"";position:absolute;z-index:1;top:-7px;left:calc(50% - 7px);width:14px;height:14px;background:#1b1818;border-radius:50%;border:5px solid #fff}.div-rhombus:after{content:"";position:absolute;z-index:1;top:-5px;left:calc(50% - 5px);width:10px;height:10px;-webkit-transform:rotate(45deg);-moz-transform:rotate(45deg);-ms-transform:rotate(45deg);-o-transform:rotate(45deg);transform:rotate(45deg);background:#1b1818;border:1px solid #1b1818;box-shadow:inset 0 0 0 2px #fff,0 0 0 4px #fff}.wrapper{position:relative;padding-bottom:200px;min-height:100vh}