@import url("https://fonts.googleapis.com/css2?family=DM+Mono:wght@300&family=DM+Sans&family=EB+Garamond:ital,wght@0,200;0,500;0,800;1,500&family=Patua+One&display=swap");@import url("https://cdn.jsdelivr.net/gh/aaaakshat/cm-web-fonts@latest/fonts.css");pre{padding:1rem;margin-top:0;margin-bottom:3rem;overflow:auto;font-size:1.2rem;font-family:"Iosevka",monospace;font-size:1.2rem;font-weight:400;font-size:1rem}pre [data-linenos]{padding:1rem 0;padding-left:2rem}pre code{font-family:"Iosevka",monospace;font-size:1.2rem;font-weight:400}pre table td{padding:0;font-size:1rem}pre mark{display:block;background-color:rgba(254,252,232,0.9)}pre table{width:100%;border-collapse:collapse}body{transition:all 0.2s;display:flex;min-height:100vh;margin:0;justify-content:center;line-height:1.5;margin:0;padding:0;width:100%;box-sizing:border-box}@media (min-width: 1025px){body{max-width:80rem;margin:0 auto}}body.theme-light{color:#0c1a28;background:#f8f3ee}body.theme-light .subtitle{color:#768288}body.theme-light.theme-light a{color:#4880ff}body.theme-light.theme-light a:hover{color:#e94423}body.theme-light.theme-dark a{color:#ff9a4d}body.theme-light.theme-dark a:hover{color:#1adfbb}body.theme-dark{color:#fcf8e1;background:#1f1f24}body.theme-dark .subtitle{color:#bebaa3}body.theme-dark.theme-light a{color:#4880ff}body.theme-dark.theme-light a:hover{color:#e94423}body.theme-dark.theme-dark a{color:#ff9a4d}body.theme-dark.theme-dark a:hover{color:#1adfbb}body .katex{font-size:1.2rem;font-family:"Iosevka",monospace;font-weight:normal}body div.site{width:85%;position:relative;padding-bottom:7rem;min-height:calc(100vh - 7rem)}body div.site>.footer-wrapper{width:100%;position:absolute;bottom:0;font-family:"DM Sans",sans-serif;margin:0 auto;text-align:center;font-size:1.2rem}body div.site>.footer-wrapper.theme-light{border-top:1px solid #0c1a28}body div.site>.footer-wrapper.theme-dark{border-top:1px solid #fcf8e1}body div.site>.footer-wrapper.theme-light a{color:#4880ff}body div.site>.footer-wrapper.theme-light a:hover{color:#e94423}body div.site>.footer-wrapper.theme-dark a{color:#ff9a4d}body div.site>.footer-wrapper.theme-dark a:hover{color:#1adfbb}header{font-family:"DM Sans",sans-serif;display:flex;flex-flow:column nowrap;width:100%;margin-top:2rem;margin-bottom:2rem}header #name::after{content:"";display:block;width:72px;height:2px;margin:0.5rem 0 0 0}header #name.theme-light::after{background-color:#4880ff}header #name.theme-dark::after{background-color:#ff9a4d}header nav{font-size:1.2rem;margin-bottom:0.5rem}header h1{margin:0;padding:0;width:100%;box-sizing:border-box;font-size:calc(3rem - 0.5rem)}header ul{padding-left:0;margin-bottom:0}header ul li{display:inline-block;margin-right:1rem}header ul li a{text-decoration:none}header ul li a.theme-light{color:#4880ff}header ul li a.theme-light:hover{color:#e94423}header ul li a.theme-dark{color:#ff9a4d}header ul li a.theme-dark:hover{color:#1adfbb}div.theme-light.annotation-title{display:flex;text-align:right}div.theme-light.annotation-title>*{font-family:"Iosevka",monospace;font-size:1.2rem;font-weight:400;font-weight:bold;color:#768288;padding:0}div.theme-light.annotation-title>.language-name{text-align:left;flex:1}div.theme-light.annotation-title>.context{flex:1;text-align:right}div.theme-dark.annotation-title{display:flex;text-align:right}div.theme-dark.annotation-title>*{font-family:"Iosevka",monospace;font-size:1.2rem;font-weight:400;font-weight:bold;color:#bebaa3;padding:0}div.theme-dark.annotation-title>.language-name{text-align:left;flex:1}div.theme-dark.annotation-title>.context{flex:1;text-align:right}div.title-block{font-family:"DM Sans",sans-serif;text-align:center}div.title-block>h1.title{font-size:3rem;margin:0 auto;display:block}div.title-block>p.subtitle{font-weight:300;margin-top:-0.5rem;margin-bottom:4rem}div.toc{max-height:14rem;display:block;padding-right:1rem;overflow:auto;box-sizing:content-box;font-family:"Iosevka",monospace;font-size:1.2rem;font-weight:400}div.toc.theme-light{box-shadow:0.5rem 0.5rem 0 #0c1a28;border:1px solid #0c1a28}div.toc.theme-dark{box-shadow:0.5rem 0.5rem 0 #fcf8e1;border:1px solid #fcf8e1}div.toc ul a.theme-light{color:#4880ff}div.toc ul a.theme-light:hover{color:#e94423}div.toc ul a.theme-dark{color:#ff9a4d}div.toc ul a.theme-dark:hover{color:#1adfbb}div.toc h3{font-size:calc(3rem - 1.5rem);position:absolute;margin-top:-2.1rem}div.toc ul{padding:0 0 0 2rem}div.toc ul{padding-left:3rem}div.annotation-wrapper{display:inline-block;width:100%;margin:3rem auto 0 auto}div.annotation-content{margin:0 auto}@media (min-width: 1025px){div.annotation-content{max-width:80%}}@media (min-width: 481px) and (max-width: 1024px){div.annotation-content{max-width:90%}}@media (max-width: 480px){div.annotation-content{max-width:100%}}div.math-wrapper{font-family:"Iosevka",monospace;font-size:calc(1.2rem * 1.3);font-weight:normal;display:block;margin:0 auto;font-size:1.2rem}div.math-wrapper.theme-light>ul{padding:1rem 4rem;border-left:4px solid #e94423;border-right:4px solid #e94423}@media (max-width: 480px){div.math-wrapper.theme-light>ul{padding:1rem 1rem}div.math-wrapper.theme-light>ul ul{list-style-type:"- "}}div.math-wrapper.theme-dark>ul{padding:1rem 4rem;border-left:4px solid #1adfbb;border-right:4px solid #1adfbb}@media (max-width: 480px){div.math-wrapper.theme-dark>ul{padding:1rem 1rem}div.math-wrapper.theme-dark>ul ul{list-style-type:"- "}}div.math-wrapper ul{list-style:none}div.math-wrapper>ul{margin:0 auto;padding-left:0rem;list-style:none}@media (max-width: 480px){div.math-wrapper>ul{padding-left:0}}div.math-wrapper>ul li p{margin:0}div.math-wrapper h2{text-align:center}div.math-wrapper h2 span.katex{font-size:calc(3rem * 0.75)}div.boxed{overflow:auto;box-sizing:content-box;margin:4rem}div.boxed.theme-light{box-shadow:0.5rem 0.5rem 0 #0c1a28;border:1px solid #0c1a28}div.boxed.theme-dark{box-shadow:0.5rem 0.5rem 0 #fcf8e1;border:1px solid #fcf8e1}div.boxed ul a.theme-light{color:#4880ff}div.boxed ul a.theme-light:hover{color:#e94423}div.boxed ul a.theme-dark{color:#ff9a4d}div.boxed ul a.theme-dark:hover{color:#1adfbb}div.boxed h3{font-size:calc(3rem - 1.5rem);position:absolute;margin-top:-2.1rem}div.boxed ul{padding:0 0 0 2rem}div.boxed p{padding:0 2rem}div.aside-wrapper{width:100%;margin:0}article{margin-top:2rem}article,section{font-family:"DM Sans",sans-serif;font-size:1.2rem}article h1,section h1{font-size:3rem}article h2,section h2{font-size:calc(3rem - 1rem)}article h3,section h3{font-size:calc(3rem - 1.5rem)}article h4,section h4{font-size:calc(3rem - 1.6rem)}article h5,section h5{font-size:calc(3rem - 1.7rem)}article h6,section h6{font-size:calc(3rem - 1.8rem)}article h1,article h2,article h3,article h4,article h5,article h6,section h1,section h2,section h3,section h4,section h5,section h6{margin-bottom:0.4rem}.def-wrapper{width:100%;display:flex;justify-content:center}dl{display:inline-block;padding:0.5rem 1rem}dl.theme-light{border-left:5px solid #4880ff;border-right:5px solid #4880ff}dl.theme-dark{border-left:5px solid #ff9a4d;border-right:5px solid #ff9a4d}@media (min-width: 1025px){dl{margin:2rem 20%}}@media (min-width: 481px) and (max-width: 1024px){dl{margin:0 10%}}@media (max-width: 480px){dl{margin:0}}dl dt{display:block;font-weight:bold}dl dd{display:inline-block;font-style:italic;margin:0 2rem}img{width:100%;margin:0 auto}aside{max-height:10rem;overflow:auto;box-sizing:content-box;display:inline-block}aside.theme-light{box-shadow:0.5rem 0.5rem 0 #0c1a28;border:1px solid #0c1a28}aside.theme-dark{box-shadow:0.5rem 0.5rem 0 #fcf8e1;border:1px solid #fcf8e1}aside ul a.theme-light{color:#4880ff}aside ul a.theme-light:hover{color:#e94423}aside ul a.theme-dark{color:#ff9a4d}aside ul a.theme-dark:hover{color:#1adfbb}aside h3{font-size:calc(3rem - 1.5rem);position:absolute;margin-top:-2.1rem}aside ul{padding:0 0 0 2rem}@media (min-width: 1025px){aside{max-width:30rem;float:right;margin:3rem 0 2rem 3rem}}@media (min-width: 481px) and (max-width: 1024px){aside{float:right;margin:3rem 0 1rem 1rem}}@media (max-width: 480px){aside{margin:3rem 0 1rem 0}}aside p{padding:0 1rem}.callout-container{width:auto;display:flex;justify-content:center}.callout{border-left:6px solid}.callout.info{background-color:#e3edf2;border-color:#3eaaca;padding:1rem 2rem;margin:1rem 0 1rem 0;width:100%;color:#1f1f24}.callout.info .callout-header{color:#3eaaca;font-weight:bold;font-size:1.4rem;letter-spacing:2px}.callout.info .callout-header h3{text-transform:lowercase;margin:0 0 1rem 0;padding:0;padding-bottom:0.2rem;border-bottom:1px solid #3eaaca}.callout.info .callout-header ::before{content:"📘";margin-right:.8rem}.callout.error{background-color:#fdf7f7;border-color:#ff4747;padding:1rem 2rem;margin:1rem 0 1rem 0;width:100%;color:#1f1f24}.callout.error .callout-header{color:#ff4747;font-weight:bold;font-size:1.4rem;letter-spacing:2px}.callout.error .callout-header h3{text-transform:lowercase;margin:0 0 1rem 0;padding:0;padding-bottom:0.2rem;border-bottom:1px solid #ff4747}.callout.error .callout-header ::before{content:"❗";margin-right:.8rem}.callout.note{background-color:#f3f8f3;border-color:#22bd03;padding:1rem 2rem;margin:1rem 0 1rem 0;width:100%;color:#1f1f24}.callout.note .callout-header{color:#22bd03;font-weight:bold;font-size:1.4rem;letter-spacing:2px}.callout.note .callout-header h3{text-transform:lowercase;margin:0 0 1rem 0;padding:0;padding-bottom:0.2rem;border-bottom:1px solid #22bd03}.callout.note .callout-header ::before{content:"🐢";margin-right:.8rem}.callout.warning{background-color:#fcf8f2;border-color:#d6c102;padding:1rem 2rem;margin:1rem 0 1rem 0;width:100%;color:#1f1f24}.callout.warning .callout-header{color:#d6c102;font-weight:bold;font-size:1.4rem;letter-spacing:2px}.callout.warning .callout-header h3{text-transform:lowercase;margin:0 0 1rem 0;padding:0;padding-bottom:0.2rem;border-bottom:1px solid #d6c102}.callout.warning .callout-header ::before{content:"⚠️";margin-right:.8rem}.cited-content{margin:0 auto;padding:1rem}cite{display:block;text-align:right;font-style:italic;font-size:1.2rem}#toggle-theme{width:3rem;position:fixed;top:1rem;right:1rem}#toggle-theme.theme-dark{filter:invert(100%)}table{width:100%;margin:0 auto}@media (min-width: 1025px){table{max-width:60rem}}@media (min-width: 481px) and (max-width: 1024px){table{max-width:90%}}@media (max-width: 480px){table{max-width:100%}}div.columns{display:flex;flex-direction:row;flex-wrap:wrap;justify-content:space-between;margin:0 auto}@media (min-width: 1025px){div.columns{max-width:60rem}}@media (min-width: 481px) and (max-width: 1024px){div.columns{max-width:90%}}@media (max-width: 480px){div.columns{max-width:100%}}div.columns>.column{box-sizing:border-box;margin:0 auto}div.columns>.column>pre{width:fit-content}abbr::after{content:none}dfn{text-decoration:underline}dfn:hover{background-color:rgba(0,217,255,0.267)}[role=definition]{overflow:auto;box-sizing:content-box;position:absolute;display:block;visibility:hidden;font-size:20px;font-family:Iosevka, monospace;padding:0.5rem 1rem;border-radius:10px}.theme-light[role=definition]{box-shadow:0.5rem 0.5rem 0 #0c1a28;border:1px solid #0c1a28}.theme-dark[role=definition]{box-shadow:0.5rem 0.5rem 0 #fcf8e1;border:1px solid #fcf8e1}[role=definition] ul a.theme-light{color:#4880ff}[role=definition] ul a.theme-light:hover{color:#e94423}[role=definition] ul a.theme-dark{color:#ff9a4d}[role=definition] ul a.theme-dark:hover{color:#1adfbb}[role=definition] h3{font-size:calc(3rem - 1.5rem);position:absolute;margin-top:-2.1rem}[role=definition] ul{padding:0 0 0 2rem}.theme-dark[role=definition]{background-color:#2f2f32}blockquote{border-left:5px solid #2b5277;padding-left:1rem;margin:1rem 4rem}footer.neighbors{margin:2rem 0;padding:0 1rem;display:flex;justify-content:space-between;align-items:center}@media (min-width: 1025px){footer.neighbors{max-width:60rem}}@media (min-width: 481px) and (max-width: 1024px){footer.neighbors{max-width:90%}}@media (max-width: 480px){footer.neighbors{max-width:100%}}.neighbor-title{text-align:center;border-bottom:2px solid #2b5277;margin-bottom:1rem}