:root{--post-content-width:min(calc(100% - 5mm),700px);--font-huge:20pt;--font-large:18pt;--font-normal:14pt;--font-small:12pt;--font-tiny:11pt;--list-bullet-padding:2em;--code-bg-color:rgba(85,87,88,0.08);--figure-bg-color:rgba(85,85,85,0.08)}@media print{:root{--post-content-width:100%}}@font-face{font-family:'Libertinus Sans';src:url(../fonts/LibertinusSans-Regular.woff2) format('opentype');font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:'Libertinus Sans';src:url(../fonts/LibertinusSans-Bold.woff2) format('opentype');font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:'Libertinus Sans';src:url(../fonts/LibertinusSans-Italic.woff2) format('opentype');font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-Regular.woff2) format('opentype');font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-Bold.woff2) format('opentype');font-weight:bold;font-style:normal;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-Italic.woff2) format('opentype');font-weight:normal;font-style:italic;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-BoldItalic.woff2) format('opentype');font-weight:bold;font-style:italic;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-Semibold.woff2) format('opentype');font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:'Libertinus Serif';src:url(../fonts/LibertinusSerif-SemiboldItalic.woff2) format('opentype');font-weight:600;font-style:italic;font-display:swap}@font-face{font-family:'Libertinus Keyboard';font-style:normal;src:url(../fonts/LibertinusKeyboard-Regular.woff2) format('opentype');font-display:swap}@font-face{font-family:'Libertinus Math';font-style:normal;src:url(../fonts/LibertinusMath-Regular.woff2) format('opentype')}@font-face{font-family:'Fira Mono';src:url(../fonts/FiraMono-Regular.ttf) format('truetype');font-weight:normal;font-style:normal;font-display:swap}@font-face{font-family:'Fira Mono';src:url(../fonts/FiraMono-Medium.ttf) format('truetype');font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:'Fira Mono';src:url(../fonts/FiraMono-Bold.ttf) format('truetype');font-weight:700;font-style:normal;font-display:swap}body{font-family:'Libertinus Sans',sans-serif;color:black;font-size:var(--font-normal);hyphens:auto;padding-left:5px;padding-right:5px;text-align:justify;box-sizing:border-box}div.author,div.date{font-size:var(--font-small)}math{font-family:'Libertinus Math'}div#footer{border-top:solid 2px black;color:#555;font-size:var(--font-tiny);margin-top:30px;padding:12px 0px 12px 0px;text-align:right}h1{font-size:var(--font-huge)}.post-container>h1{font-size:var(--font-huge);text-align:left;text-decoration:underline}.post-container>h2{font-size:var(--font-large);text-align:left;text-decoration:underline}div.info{color:#555;font-size:var(--font-tiny);font-style:italic}.container{max-width:800px;margin:auto;display:flex;flex-direction:row;justify-content:space-evenly;align-items:flex-start;flex-wrap:wrap;gap:10px}#content{font-family:'Libertinus Serif',sans-serif;font-size:var(--font-normal)}#content>h1{font-family:'Libertinus Sans',sans}#content h2{font-family:'Libertinus Sans',sans}div.sourceCode>pre{line-height:normal;border-radius:3px;padding-left:0.5em;padding-bottom:0.4em}code{border-radius:3px;padding:2px;margin:-2px 0px -2px 0px}.post-container{width:100%}.post-container>p{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>dl{width:calc(var(--post-content-width) - var(--list-bullet-padding));margin-left:auto;margin-right:auto}.post-container>ul{width:calc(var(--post-content-width) - var(--list-bullet-padding));margin-left:auto;margin-right:auto}.post-container>ol{width:calc(var(--post-content-width) - var(--list-bullet-padding));margin-left:auto;margin-right:auto}.post-container>blockquote{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>div{width:var(--post-content-width);margin-left:auto;margin-right:auto;padding:0px}.post-container>.info{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>nav{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h1{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h2{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h3{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h4{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h5{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>h6{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>.sourceCode{width:var(--post-content-width);margin-left:auto;margin-right:auto}.post-container>pre{width:var(--post-content-width);margin-left:auto;margin-right:auto}#footer{width:var(--post-content-width);margin-left:auto;margin-right:auto}#content>h1{width:var(--post-content-width);margin-left:auto;margin-right:auto}nav{margin-top:20px}nav>ul{margin-top:5px}.toc-section-number{margin-right:1mm}.header-section-number{margin-right:1mm;text-decoration:none}ul,ol{padding-left:var(--list-bullet-padding)}blockquote{border-left:5px solid gray;box-sizing:border-box;padding-left:5px;color:gray}.leftcol{flex:1;padding:5px;min-width:min(99%,200px);height:auto;text-align:center}.rightcol{flex:3;padding:5px;min-width:min(99%,500px);position:relative}img.start{max-width:100%}img.profile{border-radius:3px;max-width:min(100%,350px)}.institution{color:gray;font-size:var(--font-small);margin-top:-10px}.social-container{margin-top:-18px;display:flex;flex-direction:row;justify-content:space-evenly;gap:10px}img.icon{width:25px}.latex-container{margin-left:2mm;margin-right:2mm;padding-left:0px;padding-right:0px;display:flex;flex-direction:row;flex-wrap:wrap;justify-content:center;gap:2cm;align-items:center}div.latex-container>img{max-width:100%}div.post-container>figure{width:100%;padding-top:5px;padding-bottom:5px}figure{margin-left:0px;margin-right:0px;margin-bottom:1cm}figure>p{width:100%}p+p.indent{margin-top:0}pre.fancyvrb{margin-top:1em}p.indent{text-indent:1.45em}figcaption{font-family:'Libertinus Sans',sans;max-width:calc(0.8*var(--post-content-width));text-align:center;margin-left:auto;margin-right:auto;padding-top:5mm}figure>img{max-width:100%}.scholar{filter:invert(29%) sepia(71%) saturate(1623%) hue-rotate(173deg) brightness(101%) contrast(101%)}.mastodon{filter:invert(28%) sepia(93%) saturate(4464%) hue-rotate(241deg) brightness(100%) contrast(83%)}.unsplash{}.inline-icon{display:inline-flex;align-self:center;height:1.3em;width:1.3em;bottom:-0.200em;position:relative}img.inline{vertical-align:bottom}div.csl-bib-body{}div.csl-entry{clear:both}.hanging div.csl-entry{margin-left:2em;text-indent:-2em}div.csl-left-margin{min-width:2em;float:left}div.csl-right-inline{margin-left:2em;padding-left:0em}div.csl-indent{margin-left:2em}.references a{display:block;text-overflow:ellipsis;width:99%;white-space:nowrap;overflow:hidden}span.par{font-weight:bold;font-family:'Libertinus Sans',sans}