.logo[data-astro-cid-tvrurpns]{font-family:Cormorant Garamond;font-size:5em;text-align:center}.breadcrumbs[data-astro-cid-ilhxcym7]{font-size:.9rem;padding:1rem 0}.breadcrumbs[data-astro-cid-ilhxcym7] ol[data-astro-cid-ilhxcym7]{list-style:none;padding:0;margin:0;display:flex;align-items:center;flex-wrap:wrap}.breadcrumbs[data-astro-cid-ilhxcym7] li[data-astro-cid-ilhxcym7]{display:flex;align-items:center}.separator[data-astro-cid-ilhxcym7]{margin:0 .5rem;color:#888}.current-page[data-astro-cid-ilhxcym7]{color:#333;font-weight:700}a[data-astro-cid-ilhxcym7]{color:#0056b3;text-decoration:none}a[data-astro-cid-ilhxcym7]:hover{text-decoration:underline}footer[data-astro-cid-sz7xmlte]{margin-top:auto;font-family:Cormorant Garamond;text-align:center;align-content:center}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;padding:1rem;line-height:1.5;font-size:large}*{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{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}.hamburger{padding-right:20px;cursor:pointer}.hamburger .line{display:block;width:40px;height:5px;margin-bottom:10px;background-color:#dcdcdc}.katex-display{overflow:auto hidden}.nav-links{width:100%;top:5rem;left:48px;display:none;margin:0;text-align:center}.expanded{display:unset}.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}@media screen and (min-width: 636px){.nav-links{display:block;position:static;width:auto;background:none}.nav-links a{display:inline-block;padding:15px 20px}.hamburger{display:none}}.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}.wrap{display:flex;flex-direction:column;min-height:95vh}.proof{border-left:5px solid oklch(.3 .1 280);margin:5pt;margin:top 0pt;padding:0 10pt}.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}