:root{--nav-color:#FFC72C;--md-text-font:"SanaSansAlt";--md-code-font:"IBM Plex Mono";font-family:var(--md-text-font)}.content{font-family:var(--md-text-font)}pre,code{font-family:var(--md-code-font)}.nav-container{background-color:var(--nav-color)}footer{background-color:var(--nav-color)}blockquote{color:#000;border:none;align-items:left;font-weight:100;font-size:1rem;width:auto;line-height:1.4;position:relative;margin:0;padding:.5rem}blockquote:before,blockquote:after{position:absolute;color:#f1efe6;font-size:8rem;width:1rem;height:4rem}blockquote:before{content:'“';left:-2rem;top:-2rem}.nav-container-blur{background-color:var(--nav-color)}span.TeX-e{position:relative;top:.4ex;left:-.05em;text-transform:uppercase;text-decoration:none}article ul li::before{content:"";width:8px;height:8px;border-radius:2px;margin-bottom:2px;margin-right:10px;margin-left:-1em;background-color:#ffc72c;display:inline-block;transform:rotate(-11deg)}article ul li{list-style:none}@font-face{font-display:swap;font-family:ibm plex mono;font-style:normal;font-weight:400;size-adjust:105%;src:url(../fonts/ibm-plex-mono-v15-latin-regular.woff2)format('woff2')}@font-face{font-display:swap;font-family:ibm plex mono;font-style:italic;font-weight:400;src:url(../fonts/ibm-plex-mono-v15-latin-italic.woff2)format('woff2')}@font-face{font-display:swap;font-family:ibm plex mono;font-style:normal;font-weight:600;src:url(../fonts/ibm-plex-mono-v15-latin-600.woff2)format('woff2')}@font-face{font-display:swap;font-family:ibm plex mono;font-style:italic;font-weight:600;src:url(../fonts/ibm-plex-mono-v15-latin-600italic.woff2)format('woff2')}@font-face{font-family:sanasans;font-weight:600;src:url(../fonts/sansbold.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasans;font-weight:600;font-style:italic;src:url(../fonts/sansbolditalic.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasansalt;font-weight:600;src:url(../fonts/altbold.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasansalt;font-weight:600;font-style:italic;src:url(../fonts/altbolditalic.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasansalt;font-style:italic;src:url(../fonts/altitalic.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasans;font-style:italic;src:url(../fonts/sansitalic.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasans;src:url(../fonts/sansregular.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasansalt;src:url(../fonts/altregular.woff2)format('woff2');font-display:swap}@font-face{font-family:sanasansalt;font-weight:500;src:url(../fonts/altmedium.woff2)format('woff2');font-display:swap}