@charset "UTF-8";:root{--border-width:max(calc(1rem / 15), 1.5px)}@font-face{font-family:latin modern sans;src:url(../fonts/lmsans-boldoblique.woff2)format("woff2");font-weight:700;font-style:oblique}@font-face{font-family:latin modern sans;src:url(../fonts/lmsans-bold.woff2)format("woff2");font-weight:700;font-style:normal}@font-face{font-family:latin modern sans;src:url(../fonts/lmsans-oblique.woff2)format("woff2");font-weight:400;font-style:oblique}@font-face{font-family:latin modern sans;src:url(../fonts/lmsans-regular.woff2)format("woff2");font-weight:400;font-style:normal}@font-face{font-family:latin modern roman;src:url(../fonts/lmroman-bolditalic.woff2)format("woff2");font-weight:700;font-style:italic}@font-face{font-family:latin modern roman;src:url(../fonts/lmroman-bold.woff2)format("woff2");font-weight:700;font-style:normal}@font-face{font-family:latin modern roman;src:url(../fonts/lmroman-italic.woff2)format("woff2");font-weight:400;font-style:italic}@font-face{font-family:latin modern roman;src:url(../fonts/lmroman-regular.woff2)format("woff2");font-weight:400;font-style:normal}@font-face{font-family:latin modern mono;src:url(../fonts/lmmono-italic.woff2)format("woff2");font-weight:400;font-style:italic}@font-face{font-family:latin modern mono;src:url(../fonts/lmmono-regular.woff2)format("woff2");font-weight:400;font-style:normal}*,*::before,*::after{box-sizing:border-box}html,body{margin:0;overscroll-behavior:none}html{font-size:16px;-webkit-text-size-adjust:100%}body{font-family:latin modern roman,serif;line-height:1.4;padding:0 1.5rem;overflow-wrap:break-word;min-height:100vh;display:flex;flex-direction:column;overscroll-behavior-y:none}nav,main,footer{width:100%;max-width:40rem;margin:0 auto;padding:.5rem 0;align-self:center}main{flex:1}nav a{font-family:latin modern sans,sans-serif;display:flex;align-items:center;min-width:0}nav a>span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}nav a::before,nav a::after{font-family:latin modern mono,monospace;font-size:120%}nav a::before{margin-right:.5rem}nav a::after{margin-left:.5rem}.nav-with-banner{position:relative;width:calc(100% + 2 * 1rem + 2 * var(--border-width));max-width:calc(40rem + 2 * 1rem + 2 * var(--border-width));margin:auto -1rem;padding:3rem 1rem .5rem;background-size:auto 100%;background-position:100% 100%;background-repeat:no-repeat;border-radius:0 0 .3rem .3rem;border:var(--border-width)solid #d0d7de;border-top:none}.nav-with-banner::before{content:"";position:absolute;top:0;left:0;right:0;bottom:0;background-color:rgba(255,255,255,.6);z-index:1;border-bottom-left-radius:calc(.3rem - var(--border-width));border-bottom-right-radius:calc(.3rem - var(--border-width))}.nav-with-banner .nav-content{position:relative;min-height:4rem;z-index:2}.nav-content{max-width:40rem;margin:0 auto;display:flex;flex-direction:column;gap:.5rem}.nav-site-links{display:flex;gap:.5rem;height:1.85rem;min-width:0}.nav-site-links a{padding-left:.4rem;padding-right:.4rem;padding-bottom:.1rem;border:var(--border-width)solid #000;border-radius:.3rem;color:#000;background:#fff}.nav-site-links a.nav-home{flex-shrink:0}.nav-site-links a.nav-home::before{content:"\21A4  "}.nav-site-links a.nav-list{min-width:3rem}.nav-site-links a.nav-list::before{content:"\2195  "}.nav-site-links a.nav-download{min-width:3rem}.nav-site-links a.nav-download::before{content:"\2726  "}.nav-page-navigation{display:flex;justify-content:space-between;gap:.5rem;height:1.65rem;min-width:0}.nav-page-navigation a.nav-ref{min-width:3rem}.nav-page-navigation a.nav-ref::before{content:"\21A3  "}.nav-page-navigation a.nav-prev{min-width:3rem}.nav-page-navigation a.nav-prev::before{content:"\2190  "}.nav-page-navigation a.nav-next{min-width:3rem;text-align:right;margin-left:auto}.nav-page-navigation a.nav-next::after{content:"\2192  "}.footer-nav{margin:2rem auto 0;padding:.5rem 0;max-width:40rem;width:100%}.footer-nav .nav-help-container{display:flex;justify-content:space-between}.footer-nav .prev-help{text-align:left}.footer-nav .next-help{text-align:right;margin-left:auto}.footer-nav .nav-content{padding:0}footer{margin-top:2rem;font-size:.8125rem;display:grid;grid-template-columns:1fr auto 1fr;align-items:end}.footer-left{grid-column:1;display:flex;flex-direction:column}.footer-middle{grid-column:2;font-family:latin modern mono,monospace;text-align:center}.footer-right{grid-column:3;max-width:4.375rem;justify-self:end}.tile-grid{display:flex;flex-wrap:wrap;gap:1rem;max-width:40rem}.tile{flex:0 0 calc(50% - .5rem);border:var(--border-width)solid #000;border-radius:.3rem;overflow:hidden}@media(max-width:44rem){.tile{flex-basis:100%}}.tile-link:hover{opacity:.5}.tile-banner{padding:1rem 1rem .6rem;position:relative;background-size:auto 100%;background-position:100% 100%;background-repeat:no-repeat;border:var(--border-width)solid #d0d7de;border-width:0 0 var(--border-width)}.tile-banner::before{content:"";position:absolute;top:0;left:0;right:0;bottom:0;background-color:rgba(255,255,255,.6);z-index:1}.tile-banner>*{position:relative;z-index:2}.tile-banner h3{margin:0;font-size:1.3rem}.tile-banner p{margin:0;font-size:.9rem;font-weight:400}.tile-info{padding:1rem;font-family:latin modern mono,monospace;font-weight:400}.tile-keywords{font-size:.9rem;margin:0}.tile-keywords{font-weight:400;height:3.6rem;overflow:hidden}@media(max-width:44rem){.tile-keywords{height:2.4rem}}img{max-width:100%}main img{display:block;margin:0 auto;border-radius:.3rem}.profile-picture{margin-top:1.375rem;margin-left:2rem;flex-shrink:0}.profile-picture img{height:13.125rem;width:auto;border:var(--border-width)solid #d0d7de;border-radius:.3rem}@media(max-width:44rem){.profile-picture{margin:1rem 0;order:-1}.profile-picture img{width:100%;max-width:540px;height:auto}}.background-image{opacity:.3}.tags{font-family:latin modern mono,monospace;margin-bottom:.5rem;text-align:left;display:flex;gap:.3rem;overflow-x:auto;white-space:nowrap;padding-bottom:.1rem}.tag{padding:.1rem .6rem .2rem;border-radius:2rem;border:.05rem solid #a4a4a4;font-size:.8rem;display:inline-block;flex-shrink:0;background-color:#fafafa}.home-header{display:flex;align-items:flex-start;justify-content:space-between;margin-bottom:1rem}@media(max-width:44rem){.home-header{flex-direction:column;align-items:center}}.home-header-content{flex:1;min-width:0;text-align:justify;hyphens:auto}.home-header-content h1{display:inline-block;font-size:2.5rem;border-bottom:.125rem solid #000;height:3rem;margin-bottom:.75rem}.home-header-content .subtitle{font-size:1.2rem;display:flex;flex-wrap:wrap;gap:.7rem;margin-bottom:1.5rem;align-items:center}.home-header-content p{margin:.5rem 0}.welcome-content{margin:1rem 0 3.75rem}.home-content{margin:2.5rem auto 3.75rem}#typing-animation-container{font-family:latin modern sans,sans-serif;min-height:1.2em;display:flex;align-items:center;flex-wrap:nowrap;width:100%}#typing-text{white-space:pre;flex-shrink:0}#cursor{display:inline-block;background-color:#5c78e2;position:relative;width:2px;height:1em;margin-left:1px;vertical-align:middle;opacity:1}#cursor.blinking-cursor{animation:blink 1s step-end infinite}#cursor.loading-bar{box-sizing:border-box;width:0;height:1em;background-color:rgba(92,120,226,.3);border:2px solid #5c78e2;vertical-align:middle;animation:none;opacity:1;margin-left:0;transition-property:width,opacity;transition-duration:.5s;transition-timing-function:ease-in-out}@keyframes blink{0%,100%{opacity:1}50%{opacity:0}}#typing-animation-container .logo-tex{display:inline-block;height:.9em;width:auto;vertical-align:-.5rem;margin-left:2px;opacity:0;transition:opacity .5s ease-in-out}#typing-animation-container .logo-tex.visible{opacity:1}#typing-animation-container .anzamuel-logo-inline{display:inline-block;height:.9em;width:auto;vertical-align:-.075em;margin-left:2px;opacity:0;transition:opacity .5s ease-in-out}#typing-animation-container .anzamuel-logo-inline.visible{opacity:1}h1,h2,h3,h4,h5,h6{text-align:left;font-family:latin modern sans,sans-serif}h1{margin-bottom:.1rem}article,.welcome-content{text-align:justify;hyphens:auto}article h1,article h2,article h3,article h4,article h5,article h6,.welcome-content h1,.welcome-content h2,.welcome-content h3,.welcome-content h4,.welcome-content h5,.welcome-content h6{margin-block:3rem 1rem}article h1,.welcome-content h1{font-size:2rem;margin-block-start:.83rem}article p,.welcome-content p{margin:.5rem 0}p{margin:2rem 0}.welcome-content p{margin:1rem 0}.welcome-content p:first-of-type{margin:.5rem 0}.welcome-content p:last-of-type{margin:.5rem 0}.subtitle{font-size:.9rem;margin-top:0;margin-bottom:2.1rem}h2#toc{margin-bottom:0}.help{font-size:.8rem;color:#666;display:block;margin-top:0;font-family:latin modern mono,monospace}header:not(:has(.subtitle)) h1{margin-bottom:1.5rem}strong,b{font-family:latin modern sans,sans-serif;font-weight:700}a{color:inherit;text-decoration:none;font-weight:700;font-family:latin modern sans,sans-serif}a:hover{opacity:.5}.social-link{font-family:latin modern roman,serif}.entry-info{font-family:latin modern mono,monospace;margin:0;display:flex;justify-content:flex-end;gap:.5rem;align-items:center}.entry-info time{font-style:italic;text-align:right}.lecture-title{text-align:left;margin-right:auto}.lecture-info{text-align:justify;hyphens:auto}.lecture-info p{margin-top:1rem;margin-bottom:1rem}.lecture-info p:first-child{margin-top:2rem}ul,ol,li{padding:0;margin:.4rem 0}ul,ol{list-style:none;position:relative}ul li::before{display:inline-block;width:1rem;content:"•"}ul.emoji-list li{margin-left:2rem}ul.emoji-list li::before{position:absolute;left:0;font-size:.9rem;transform:translateY(.15rem);content:attr(value)}ol{counter-reset:list-counter}ol li::before{display:inline-block;width:1.5rem;content:counter(list-counter)".";counter-increment:list-counter}ul.entry-list li::before{display:none}ol.entry-list>li::before{font-weight:700}ol.entry-list .show-more{font-family:latin modern mono,monospace}.entry-date{font-family:latin modern mono,monospace;margin-right:.25rem}ol.chapter-list{font-family:latin modern sans,sans-serif}ol.chapter-list>li{margin:1rem 0}ol.chapter-list>li::before{font-weight:700}ol.section-list{margin:0 0 0 1.5rem;font-family:latin modern sans,sans-serif}ol.section-list>li{margin:0}ol.section-list>li::before{width:2.3rem;content:attr(value)}ol.section-list>li>a{font-weight:400}ol.section-list a{font-weight:400}li:has(input[type=checkbox])::before{display:none}pre{background-color:#fafafa;padding:1rem;border-radius:.3rem;border:.1rem solid #d0d0d0;font-size:87.5%;white-space:pre-wrap}code{font-family:latin modern mono,monospace;word-wrap:break-word;overflow-wrap:break-word}blockquote{background-color:#fafafa;border:.1rem solid #d0d0d0;margin-left:0;margin-right:0;padding:1rem;border-radius:.3rem}blockquote p{margin:0}mark{background-color:#fff0c4;padding:.1em .4em;margin:0 -.1em;border-radius:.3em;box-decoration-break:clone;-webkit-box-decoration-break:clone}table{display:block;overflow-x:auto;width:100%;max-width:fit-content;margin:2rem auto;border-collapse:collapse}th,td{border:.05rem solid #000;padding:.4rem}hr{font-family:latin modern mono,monospace;margin:2rem 0;text-align:center;border:0}hr::before{content:'/////'}hr::after{content:attr(data-content)"/////"}.symbol-copy::before{content:"\00A9"}.logo-tex{border-radius:0;display:inline;height:1em;vertical-align:middle}.marktex-output{text-align:left}.amsthm,.proof{margin:2rem auto;position:relative}.recap{background-color:rgba(0,0,0,3%);border-left:.15rem dashed rgba(0,0,0,.1);padding:1rem;margin:1.5rem 0}.definition,.proposition{background-color:rgba(0,0,0,3%);border-left:.15rem solid rgba(0,0,0,.1);padding:1rem;margin:1.5rem 0}.lemma,.theorem{background-color:rgba(0,0,0,3%);border:.15rem solid rgba(0,0,0,.1);padding:1rem;margin:1.5rem 0}.example{padding:0 1rem;margin:2rem -1rem}.proof{border:.15rem solid rgba(0,0,0,5%);padding:1rem;margin:1.5rem 0}.proof em{font-style:italic}.section{margin-top:3rem;list-style:none;cursor:pointer}.section::-webkit-details-marker{display:none}.section h2{display:block;margin:0}.collapse-toggle{font-size:.8rem;color:#666;cursor:pointer;display:block;margin-top:.2rem;font-family:latin modern mono,monospace}.collapse-toggle:hover{opacity:.5}details:not([open]) .collapse-toggle::before{content:"[expand]"}details[open] .collapse-toggle::before{content:"[collapse]"}figure{margin:2rem 0}figcaption{text-align:center;margin:.5rem 1rem;max-width:90%;font-size:.9rem}ul.itemize>li{padding-left:1rem}ul.itemize>li::before{margin-left:-1rem}ol.enumerate>li{padding-left:1.5rem}ol.enumerate>li::before{margin-left:-1.5rem}.katex{font-size:1em!important}.katex-display{overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch}.katex-punctuation-wrapper{white-space:nowrap}