html{-webkit-text-size-adjust:100%;line-height:1.15}body{margin:0}main{display:block}h1{margin:.67em 0;font-size:2em}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace;font-size:1em}a{background-color:#0000}abbr[title]{border-bottom:none;text-decoration:underline dotted}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace;font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{margin:0;font-family:inherit;font-size:100%;line-height:1.15}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}button::-moz-focus-inner,[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring{outline:1px dotted buttontext}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;white-space:normal;max-width:100%;padding:0;display:table}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}details{display:block}summary{display:list-item}template,[hidden]{display:none}body{background-color:#947a6d;background-image:url(/_astro/texture.XCFwkPMH.png);flex-direction:column;justify-content:space-between;align-items:center;min-height:100vh;margin:0 20px;font-family:Nunito,Yuanti SC,PingFang SC,Microsoft YaHei,sans-serif;display:flex}@font-face{font-family:Latin Modern;font-style:normal;font-weight:400;font-display:swap;src:url(/_astro/LM-regular.BRwDCEH1.woff2)format("woff2")}@font-face{font-family:Latin Modern;font-style:italic;font-weight:400;font-display:swap;src:url(/_astro/LM-italic.BsZrE28K.woff2)format("woff2")}@font-face{font-family:Latin Modern;font-style:normal;font-weight:700;font-display:swap;src:url(/_astro/LM-bold.CflbQ1SP.woff2)format("woff2")}@font-face{font-family:Latin Modern;font-style:italic;font-weight:700;font-display:swap;src:url(/_astro/LM-bold-italic.CCNCtwis.woff2)format("woff2")}*,:before,:after{box-sizing:border-box}html{font-size:1rem}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}.font-serif{font-family:Latin Modern,Georgia,Cambria,Times New Roman,Times,serif}.article-block{font-family:Latin Modern,Georgia,Cambria,Times New Roman,Times,serif;line-height:1.8}.article-block>:first-child{margin-top:0}.article-block h1,.article-block h2,.article-block h3,.article-block h4,.article-block p,.article-block ul[class],.article-block ol[class],.article-block li,.article-block figure,.article-block figcaption,.article-block dl,.article-block dd{margin:0}.article-block p{text-align:justify;-webkit-hyphens:auto;-moz-hyphens:auto;hyphens:auto;margin-top:1rem}.article-block a:not([class]){text-decoration-skip-ink:auto}.article-block img{max-width:100%;height:auto;display:block}.article-block input,.article-block button,.article-block textarea,.article-block select{font:inherit}.article-block textarea{width:100%}.article-block article>*+*{margin-top:1em}.article-block code,.article-block pre,.article-block kbd{font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:85%}.article-block pre{background:#e8edf2;border-radius:4px;max-width:100%;padding:1rem 1.4rem;overflow:auto}.article-block pre code{font-size:95%;position:relative}.article-block kbd{background:#fff;border:1px solid #afb3b6;border-radius:2px;padding:2px 4px;font-size:75%}.article-block table{border-collapse:collapse;border-spacing:0;counter-increment:caption;border-top:2.27px solid #000;border-bottom:2.27px solid #000;width:auto;max-width:100%;overflow-x:auto}.article-block table tr>th[scope=col]{border-bottom:1.36px solid #000}.article-block table tr>th[scope=row]{border-right:1.36px solid #000}.article-block table>tbody>tr:first-child>td,.article-block table>tbody>tr:first-child>th{border-top:1.36px solid #000}.article-block table>tbody>tr:last-child>td,.article-block table>tbody>tr:last-child>th{border-bottom:1.36px solid #000}.article-block th,.article-block td{text-align:left;padding:.5rem;line-height:1.1}.article-block caption{text-align:left;width:100%;margin-left:0;padding:0 .25em .25em;font-size:.923em}.article-block caption:before{content:"Table " counter(caption) ". ";font-weight:700}.article-block .scroll-wrapper{overflow-x:auto}.article-block .scroll-wrapper>table td{white-space:nowrap}.article-block h1:first-child{text-align:center}.article-block nav ol{counter-reset:item;padding-left:2rem}.article-block nav li{display:block}.article-block nav li:before{content:counters(item, ".") " ";counter-increment:item;padding-right:.85rem}.article-block dl dd{text-align:center}.article-block .theorem{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.article-block .theorem:before{content:"Theorem " counter(theorem) ". ";font-style:normal;font-weight:700}.article-block .lemma{counter-increment:theorem;margin:12px 0;font-style:italic;display:block}.article-block .lemma:before{content:"Lemma " counter(theorem) ". ";font-style:normal;font-weight:700}.article-block .proof{margin:12px 0;font-style:normal;display:block;position:relative}.article-block .proof:before{content:"Proof. " attr(title);font-style:italic}.article-block .proof:after{content:"◾️";position:absolute;bottom:-2px;right:-12px}.article-block .definition{counter-increment:definition;margin:12px 0;font-style:normal;display:block}.article-block .definition:before{content:"Definition " counter(definition) ". ";font-style:normal;font-weight:700}.article-block .author{text-align:center;margin:.85rem 0;font-variant-caps:small-caps}.article-block .sidenote{float:right;clear:right;width:18vw;margin-bottom:1em;margin-right:-20vw;font-size:.8rem}.article-block .sidenote.left{float:left;margin-bottom:1em;margin-left:-20vw}.article-block .sidenote:target{border:1.5px solid #ddd688;padding:0 .5rem;scroll-margin-block-start:10rem}.article-block .sidenote-number{counter-increment:sidenote-counter}.article-block .sidenote-number:after,.article-block .sidenote:before{vertical-align:baseline;position:relative}.article-block .sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}.article-block .sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}.article-block label.sidenote-toggle:not(.sidenote-number){display:none}.article-block blockquote .sidenote{width:18vw;margin-right:-24vw}.article-block label.sidenote-toggle{cursor:pointer;display:inline}.article-block input.sidenote-toggle{display:none}@media (width<=1050px){.article-block label.sidenote-toggle:not(.sidenote-number){display:inline}.article-block .sidenote{display:none}.article-block .sidenote-toggle:checked+.sidenote{float:left;clear:both;width:95%;margin:.5rem 1.25rem 1rem .5rem;display:block;left:1rem}.article-block blockquote .sidenote{width:16vw;margin-right:-25vw}}.article-block .footnotes p{text-align:left;margin-bottom:.4rem;font-size:85%;line-height:1.5}.article-block .footnotes{border-top:1px solid #636363}.article-block .abstract,.article-block .abstract p{text-align:center;margin-top:0}.article-block .abstract{margin:2.25rem 0}.article-block .abstract>h2{margin-bottom:-.2rem;font-size:1rem}.article-block .latex span:first-child{text-transform:uppercase;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;font-size:.75em;line-height:1ex}.article-block .latex span:nth-child(2){text-transform:uppercase;vertical-align:-.5ex;margin-left:-.1667em;margin-right:-.125em;line-height:1ex}.article-block h1{margin-bottom:1.625rem;font-size:2.5rem;line-height:3.25rem}.article-block h2{margin-top:3rem;font-size:1.7rem;line-height:2rem}.article-block h3{margin-top:2.5rem;font-size:1.4rem}.article-block h4{margin-top:2rem;font-size:1.2rem}.article-block h5{margin-top:1.8rem;font-size:1rem}.article-block h6{margin-top:2.5rem;font-size:1rem;font-style:italic;font-weight:400}.article-block h3,.article-block h4,.article-block h5,.article-block h6{line-height:1.625rem}.article-block h1+h2{margin-top:1.625rem}.article-block h2+h3,.article-block h3+h4,.article-block h4+h5{margin-top:.8rem}.article-block h5+h6{margin-top:-.8rem}.article-block h2,.article-block h3,.article-block h4,.article-block h5,.article-block h6{margin-bottom:.8rem}header{padding-bottom:20px}@media screen and (width<=767px){header.padding-for-menu{padding-top:40px}}header>h1{text-align:center;margin:35px 0 20px;font-size:32px}header>h1 a{color:#fff;text-decoration:none}header>.description{text-align:center;color:#ffffffd0;margin:20px 0;font-size:18px}@media screen and (width<=767px){header>.description{display:none}}header .nav-desktop{flex-direction:column;align-items:center;margin-top:20px;display:flex}@media screen and (width<=767px){header .nav-desktop{display:none}}header .nav-desktop__inner{margin:0;padding:0;list-style:none;display:flex}header .nav-desktop__item:not(:last-child){margin-right:-5px}header .nav-desktop__item>a{clip-path:polygon(10px 0,100% 0,calc(100% - 10px) 100%,0 100%);color:#4a3d37;cursor:pointer;background-color:#fff6;padding:5px 17.5px;font-size:16px;text-decoration:none;transition:all .2s;display:block}header .nav-desktop__item>a:hover{color:#251f1b;background-color:#fff9}.nav-open-button{appearance:none;color:#ffffffc0;background-color:#0000001a;border:0;border-radius:50%;width:50px;height:50px;font-size:22px;position:fixed;top:10px;right:10px}.nav-open-button.is-dark{color:#000000c0}.nav-open-button{z-index:998;padding:0;transition:all .2s}.nav-open-button:hover,.nav-open-button:active,.nav-open-button:focus{color:#fff}@media screen and (width>=768px){.nav-open-button{display:none}}.nav-mobile{backdrop-filter:blur(10px);z-index:1000;background:#00000080;width:250px;max-width:100vw;height:100%;transition:all .3s;position:fixed;top:0;right:0;transform:translate(100%)}.nav-mobile.is-opened{transform:translate(0)}.nav-mobile__top{justify-content:space-between;align-items:center;padding:10px 10px 10px 25px;display:flex}.nav-mobile__top>h2{color:#ffffffc0;font-size:20px}.nav-mobile__top>button{appearance:none;color:#ffffffc0;z-index:998;background-color:#0000;border:0;width:50px;height:50px;padding:0;font-size:30px}.nav-mobile__top>button:hover,.nav-mobile__top>button:active,.nav-mobile__top>button:focus{color:#fff}.nav-mobile__inner{margin:0;padding:0;list-style:none}.nav-mobile__item a{color:#ffffffe0;background-color:#0000;width:100%;height:50px;padding:0 25px;font-size:18px;line-height:50px;text-decoration:none;display:block}.nav-mobile__item a:hover,.nav-mobile__item a:active,.nav-mobile__item a:focus{color:#fff;background:#00000026}@media screen and (width>=768px){.nav-mobile{display:none}}.nav-modal{z-index:999;pointer-events:none;background:0 0;width:100%;height:100%;transition:all .3s;position:fixed;top:0;left:0}.nav-modal.is-opened{pointer-events:all;background:#0009}@media screen and (width>=768px){.nav-modal{display:none}}.typed-cursor{animation:.7s infinite typed-blink}@media (prefers-reduced-motion:reduce){.typed-cursor{animation:none}}@keyframes typed-blink{0%,to{opacity:1}50%{opacity:0}}.icon{vertical-align:-.125em;width:1em;height:1em;display:inline-block;overflow:visible}body[data-page=home] .text-link{flex-direction:column;align-items:center;display:flex}body[data-page=home] .text-link__inner{text-align:center;margin:-5px 0 0;padding:0;list-style:none}body[data-page=home] .text-link__item{margin-top:5px;display:inline-block}body[data-page=home] .text-link__item:not(:last-child){margin-right:-5px}body[data-page=home] .text-link__item>a{clip-path:polygon(10px 0,100% 0,calc(100% - 10px) 100%,0 100%);color:#4a3d37;cursor:pointer;background-color:#fff6;padding:5px 17.5px;font-size:16px;text-decoration:none;transition:all .2s;display:block}body[data-page=home] .text-link__item>a:hover{color:#251f1b;background-color:#fff9}body[data-page=home] .text-link__description{color:#ffffffe0;opacity:0;text-align:center;min-height:30px;margin-top:5px;padding:0 20px;font-size:16px;line-height:26px;transition:all .3s}body[data-page=home] .text-link__description--show{opacity:1}@media screen and (width<=767px){body[data-page=home] .text-link__description{display:none}}body[data-page=home] #home-links{display:none}body[data-page=links] main{max-width:768px}body[data-page=links] .page-title{color:#ffffffe0;justify-content:center;align-items:center;margin:0;padding-top:30px;font-size:28px;display:flex}body[data-page=links] .page-title:before,body[data-page=links] .page-title:after{content:"⬥";color:#ffffff60;font-size:24px}body[data-page=links] .page-title:before{margin-right:5px}body[data-page=links] .page-title:after{margin-left:5px}body[data-page=links] .text-link-list{margin:0;padding:30px 0 20px;list-style:none}body[data-page=links] .text-link-list__item a{color:#fff;font-size:20px;font-weight:700;line-height:30px;text-decoration:none}body[data-page=links] .text-link-list__item p{color:#ffffff80;margin:10px 0;font-size:16px;line-height:26px}body[data-page=links] .back-button{justify-content:center;padding-bottom:20px;display:flex}body[data-page=links] .back-button__inner{color:#ffffffe0;background-color:#ffffff1a;border:0;border-radius:20px;height:40px;padding:0 30px;line-height:40px;text-decoration:none;transition:all .2s}body[data-page=links] .back-button__inner:hover,body[data-page=links] .back-button__inner:focus,body[data-page=links] .back-button__inner:active{color:#fff;background-color:#fff3}body[data-page=links] .not-found{text-align:center;color:#ffffffe0;padding-bottom:10px;line-height:26px}body[data-page=links] .not-found .page-title{padding-bottom:10px}body[data-page=links] .not-found__null{margin:20px 0;font-size:22px}body[data-page=links] .not-found__null code{color:#fff;font-weight:700;display:inline-block;position:relative}body[data-page=links] .not-found__null code:before,body[data-page=links] .not-found__null code:after{content:attr(data-text);opacity:.8;position:absolute;inset:0}body[data-page=links] .not-found__null code:before{color:#6cf;animation:2.5s step-end infinite glitch}body[data-page=links] .not-found__null code:after{color:#f6a;animation:2.5s step-end infinite reverse glitch}@media (prefers-reduced-motion:reduce){body[data-page=links] .not-found__null code:before,body[data-page=links] .not-found__null code:after{display:none}}body[data-page=links] .not-found__redirect{color:#fff9;margin-bottom:30px}@keyframes glitch{0%,to{clip-path:inset(0 0 100%);transform:translate(0)}10%{clip-path:inset(10% 0 60%);transform:translate(-2px,1px)}20%{clip-path:inset(50% 0 20%);transform:translate(2px,-1px)}30%{clip-path:inset(0 0 100%);transform:translate(0)}70%{clip-path:inset(70% 0 5%);transform:translate(1px,2px)}75%{clip-path:inset(0 0 100%);transform:translate(0)}}body[data-page=academic]{margin:0}body[data-page=academic] header,body[data-page=academic] footer{margin:0 20px}body[data-page=academic] .academic-container{background-color:#eee;background-image:url(/_astro/texture.XCFwkPMH.png);width:100%;max-width:768px;box-shadow:.25em .25em 1em .25em #0000001f}body[data-page=academic] .academic-container a,body[data-page=academic] .academic-container a:visited{color:#94451e;text-decoration:none}body[data-page=academic] .academic-container a:hover{text-decoration:underline}body[data-page=academic] .academic-container a:focus{outline-offset:2px;border-radius:2px;outline:2px solid #94451eb3}body[data-page=academic] .user-profile{padding:25px}@media screen and (width>=768px){body[data-page=academic] .user-profile{display:flex}body[data-page=academic] .user-profile__avatar{flex-shrink:0}}body[data-page=academic] .user-profile__avatar{margin-right:25px}@media screen and (width<=767px){body[data-page=academic] .user-profile__avatar{justify-content:center;padding-bottom:25px;display:flex}}body[data-page=academic] .user-profile__avatar>img{object-fit:cover;border:4px solid #947a6d;border-radius:50%;width:140px;height:140px;display:block;box-shadow:0 5px 14px #0000001f}body[data-page=academic] .user-profile__description{margin:-5px 0;font-size:16px;line-height:26px}body[data-page=academic] .article-block{padding:0 25px 25px}body[data-page=academic] .article-block h2:not(:first-child){margin-top:2rem}body[data-page=academic] .article-block h3:not(h2+h3){margin-top:.7rem}body[data-page=academic] .article-block .code-link{margin-right:.25em}footer .pgp-key{text-align:center;margin:10px 0;line-height:26px}footer .pgp-key,footer .pgp-key a{color:#ffffffe0;text-decoration:none}footer .pgp-key a:hover,footer .pgp-key a:active,footer .pgp-key a:focus{color:#fff}footer .social-icons{justify-content:center;display:flex}footer .social-icons>a{color:#4a3d37;background-color:#fff3;border-radius:50%;justify-content:center;align-items:center;width:45px;height:45px;font-size:18px;transition:all .2s;display:flex}footer .social-icons>a:hover{color:#251f1b;background-color:#fff6}footer .social-icons>a:not(:last-child){margin-right:10px}footer .copyright{text-align:center;color:#fff9;margin:15px 0;padding-bottom:5px;font-size:14px}footer .copyright,footer .copyright a{color:#fff9;text-decoration:none}footer .copyright a:hover,footer .copyright a:active,footer .copyright a:focus{color:#fff9}