html{background-color:#110841;color:#dcdcdc;font-family:palatino,Cormorant Garamond,"Noto Serif JP","Noto Serif Armenian","Libertinus Serif",serif}body{margin:0 auto;width:100%;max-width:80ch;min-height:100vh;padding:1rem;line-height:1.5;font-size:large}footer{margin-top:auto;font-family:Cormorant Garamond,palatino;text-align:center;align-content:center}*{box-sizing:border-box}a{text-decoration:none;color:#8cc3fc}a[href^="http://"]:after,a[href^="https://"]:after{font-family:"Font Awesome 6 Free";font-weight:900;content:" ";margin-left:5px;font-size:.8em}a[href$=".pdf"]:after{font-family:"Font Awesome 6 Free";font-weight:900;content:" ";margin-left:5px}blockquote{background-color:#26245e;border-left:5px solid rgb(220,220,220);margin:0;padding:10pt}.c-txt{color:#dcdcdc;display:inline-block;text-decoration:none}.c-txt.line{padding-bottom:7px;position:relative}.c-txt.line:before{background:#dcdcdc;content:"";width:100%;height:1px;position:absolute;left:0;bottom:0;transform-origin:right top;transform:scaleX(0);transition:transform .3s}.c-txt.line:hover:before{transform-origin:center top;transform:scale(1)}figure{text-align:center}h1,h2,h3,h4,h5,h6{scroll-margin-top:90px}h1{margin:1rem 0;font-size:2rem}h2,h3,h4{margin:1rem 0 0}.heading-anchor{visibility:hidden;font-size:1rem;margin-left:.3rem}h2:hover .heading-anchor,h3:hover .heading-anchor{visibility:visible}.logo{position:fixed;top:0;left:0;right:10pt;width:100%;z-index:80;font-family:Cormorant Garamond,palatino;font-size:3em;text-align:center;margin-top:0;padding-top:0;background-color:#110841}.header{position:fixed;top:0;left:0;right:0;width:100%;z-index:80;display:flex;justify-content:space-between;align-items:center;padding:20px;background-color:#1108418c;backdrop-filter:blur(10px);-webkit-backdrop-filter:blur(10px);-webkit-mask-image:linear-gradient(to bottom,rgba(0,0,0,1) 0%,rgba(0,0,0,1) 70%,rgba(0,0,0,0) 100%);mask-image:linear-gradient(to bottom,#000 0% 70%,#0000)}.hamburger{padding:10px;cursor:pointer;position:fixed;top:25px;right:20px;z-index:100}.hamburger .line{display:block;width:30px;height:2px;margin-bottom:7px;background-color:#dcdcdc;transition:all .3s ease}.hamburger .line:last-child{margin-bottom:0}.hamburger.active .line:nth-child(1){transform:translateY(9px) rotate(45deg)}.hamburger.active .line:nth-child(2){opacity:0}.hamburger.active .line:nth-child(3){transform:translateY(-9px) rotate(-45deg)}.katex-display{overflow:auto hidden}nav{align-self:flex-start;padding:0;margin:0;line-height:1.5}.nav-links{position:fixed;top:80px;left:0;width:100%;z-index:90;background-color:#1108418c;margin:0;text-align:center;padding-bottom:100px;backdrop-filter:blur(10px);-webkit-mask-image:linear-gradient(to bottom,rgba(0,0,0,1) 0%,rgba(0,0,0,1) 70%,rgba(0,0,0,0) 100%);mask-image:linear-gradient(to bottom,#000 0% 70%,#0000);opacity:0;visibility:hidden;transform:translateY(-10px);transition:opacity .3s ease,transform .3s ease,visibility .3s ease}.nav-links.expanded{opacity:1;visibility:visible;transform:translateY(0)}.nav-links a{display:block;text-align:center;padding:10px 0;text-decoration:none;font-size:2rem;font-weight:700;cursor:pointer;transition:.2s cubic-bezier(.45,0,.55,1);font-family:Cormorant Garamond;font-variant-caps:small-caps}.nav-links a:before{content:"";width:100%;height:2px;position:absolute;left:0;bottom:0;transform-origin:right top;transform:scaleX(0);transition:transform .3s}.wrap{display:flex;flex-direction:column;min-height:95vh;padding-top:60px;box-sizing:border-box}@media screen and (min-width: 636px){.wrap{display:flex;flex-direction:column;min-height:95vh;padding-top:130px;box-sizing:border-box}h1,h2,h3,h4,h5,h6{scroll-margin-top:20px}.logo{position:absolute;font-family:Cormorant Garamond,palatino;font-size:5em;text-align:center;background-color:#110841cc}.nav-links{position:fixed;top:0;right:0;height:100vh;left:auto;width:250px;padding-right:25px;padding-top:100px;z-index:90;background-color:#1108418c;margin:0;text-align:left;padding-left:40pt;backdrop-filter:blur(10px);-webkit-mask-image:linear-gradient(to left,rgba(0,0,0,1) 0%,rgba(0,0,0,1) 80%,rgba(0,0,0,0) 100%);mask-image:linear-gradient(to left,#000 0% 80%,#0000);opacity:0;visibility:hidden;transform:translate(20px);transition:opacity .3s ease,transform .3s ease,visibility .3s ease}.nav-links.expanded{opacity:1;visibility:visible;transform:translate(0)}.nav-links a{display:block;width:fit-content;text-align:left;padding:10px 0;text-decoration:none;font-size:2rem;font-weight:700;cursor:pointer;transition:.2s cubic-bezier(.45,0,.55,1);font-family:Cormorant Garamond;font-variant-caps:small-caps}}.breadcrumbs{font-size:.9rem;padding-top:10pt}.breadcrumbs ol{list-style:none;padding:0;margin:0;display:flex;align-items:center;flex-wrap:wrap}.breadcrumbs li{display:flex;align-items:center}.separator{margin:0 .5rem;color:#888}.current-page{font-weight:700}.responsive-iframe{width:600px;height:350px;max-width:100%;align-items:center}.tags{color:#8cc3fc;display:flex;flex-wrap:wrap}.tag{color:#8cc3fc;text-decoration:underline;margin:.1em;font-size:1em;padding:0 1em 0 0}.tag:before{content:"#"}.toc ol{list-style:none;counter-reset:toc;padding-left:32px;list-style-type:circle}.toc ol li{counter-increment:toc;list-style-type:none;list-style:circle}.proof{border-left:5px solid oklch(.3 .1 280);margin:5pt;margin:top 0pt;padding:0 10pt}p{text-indent:1rem}p.no-indent,.no-indent-wrapper p{text-indent:0}.ref-table{width:100%;table-layout:fixed;border-collapse:collapse}.ref-table th{width:90px;vertical-align:top;text-align:left;padding-right:10px;white-space:nowrap}.ref-table td{vertical-align:top;word-break:normal;overflow-wrap:break-word;word-wrap:break-word}.thm{border-color:#dcdcdc;border-style:dotted;margin:10pt;padding:10pt}.def{border-left:5px solid rgb(220,220,220);margin:5pt;margin:top 0pt;padding:0 10pt}pre.astro-code{padding:1.5rem;border-radius:.5rem;overflow-x:auto;font-size:.9rem;font-family:JetBrains Mono,Fira Code,monospace;margin:1.5em 0}pre.astro-code code{background-color:transparent;padding:0}details{border-radius:.5rem;padding:.5rem 1rem;margin:1.5rem 0}details>summary{cursor:pointer;font-weight:700;padding-left:.2rem}details>summary:hover{opacity:.8}details[open]>summary{margin-bottom:1rem}details pre.astro-code{margin:0}:not(pre)>code{background-color:#2d333b;color:#adbac7;padding:.2em .4em;border-radius:.25rem;font-family:JetBrains Mono,Fira Code,Consolas,monospace;font-size:.85em}