:root{--bg_h:#f9f5d7;--bg:#fbf1c7;--bg_s:#f2e5bc;--bg1:#ebdbb2;--bg2:#d5c4a1;--bg3:#bdae93;--bg4:#a89984;--fg:#282828;--fg1:#3c3836;--fg2:#504945;--fg3:#665c54;--fg4:#7c6f64;--red:#9d0006;--green:#79740e;--yellow:#b57614;--blue:#076678;--purple:#8f3f71;--aqua:#427b58;--orange:#af3a03;--gray:#928374;--red-dim:#cc2412;--green-dim:#98971a;--yellow-dim:#d79921;--blue-dim:#458598;--purple-dim:#b16286;--aqua-dim:#689d6a;--orange-dim:#d65d0e;--gray-dim:#7c6f64}.darkmode{--bg_h:#1d2021;--bg:#282828;--bg_s:#32302f;--bg1:#3c3836;--bg2:#504945;--bg3:#665c54;--bg4:#7c6f64;--fg:#fbf1c7;--fg1:#ebdbb2;--fg2:#d5c4a1;--fg3:#bdae93;--fg4:#a89984;--red:#fb4934;--green:#b8bb26;--yellow:#fabd2f;--blue:#83a598;--purple:#d3869b;--aqua:#8ec07c;--gray:#928374;--orange:#fe8019;--red-dim:#cc2412;--green-dim:#98971a;--yellow-dim:#d79921;--blue-dim:#458588;--purple-dim:#b16286;--aqua-dim:#689d6a;--gray-dim:#a89984;--orange-dim:#d65d0e}#main>h1{text-align:center}#main .post-heading{text-align:center}#main .post-heading .publish-metadata{color:var(--text-secondary);font-size:large;padding-top:.5rem;margin-bottom:1rem}#main .post-heading .publish-metadata svg{margin-right:.1em;margin-left:.1em}#main .tag{background-color:var(--bg_s);border-radius:.25rem;padding:.2em .3em}#main a.tag{text-decoration:none}#main a.tag:hover,#main a.tag:focus{text-decoration:underline}#main summary>b{cursor:pointer}#main .toc{background-color:var(--bg_s);border:var(--fg4)1px dashed;border-radius:.25rem;display:inline-block;margin:1rem;padding:.5rem 1rem}#main .toc a{color:var(--fg)}#main .toc a:hover{text-decoration:underline}#main .toc li>ul{margin-left:1.5rem}#main .toc ul{list-style:none}#main .toc:target{background-color:var(--bg_s)}#main .warning{background-color:var(--red);color:#fff;font-size:1.1rem;margin:2rem 0;padding:1rem 0;text-align:center;border-radius:.25rem}#main .content{padding-top:1rem}#main #back-to-top{bottom:20px;right:20px;font-size:16px;border:none;outline:none;background-color:var(--bg_s);color:var(--fg);cursor:pointer;padding:1rem;border-radius:.25rem;margin:2rem 15vw 1rem}#main #back-to-top:hover{background-color:var(--bg_h)}.post-taxonomy-line{}.post-taxonomy-line .link.tag{display:inline-block;margin-bottom:.2rem}.math-heading{display:inline;margin:0;margin-right:.25em}.math-body{margin:0;display:inline}.math-body p{display:inline;margin:0}.math-note{font-weight:400;font-style:normal;margin-left:0}.math-note::after{content:"."}.style-plain .math-heading{font-weight:600;font-style:normal}.style-plain .math-body{font-style:italic}.style-defn .math-heading{font-weight:600;font-style:normal}.style-defn .math-body{font-style:normal}.style-remark .math-heading{font-weight:400;font-style:italic}.style-remark .math-body{font-style:normal}.proof-env,.solution-env{margin:1.2rem 0}.proof-heading,.solution-heading{display:inline;margin-right:.25em}.proof-body,.solution-body{display:inline;font-style:normal}.proof-title,.solution-title{font-style:italic;font-weight:400}.proof-note,.solution-note{font-style:normal;font-weight:400}.proof-qed::before,.solution-qed::before{content:"□";font-size:.9em;margin-left:.4em}.math-env+.proof-env,.math-env+.solution-env{margin-top:-.75rem}.proof-env+.proof-env,.solution-env+.solution-env{margin-top:-.75rem}body{counter-reset:fig}.fig-env{counter-increment:fig;margin:1.5rem auto;text-align:center}.fig-content{}.fig-label{font-weight:600}.fig-caption{margin-top:.5rem;font-size:.9rem;text-align:center}.quiver-wrapper{margin:0 0;overflow:visible;text-align:center}.quiver-wrapper iframe{display:block;margin:0 auto}.bib-env{margin:0;font-size:.95rem}.bib-list{list-style:none;margin:0;padding:0}.bib-list li{margin-bottom:.25rem}.bib-label{font-weight:500;margin-right:.35em}.bib-cite{text-decoration:none;color:inherit}.bib-cite:hover{text-decoration:underline}.link .arrow-icon{font-family:"noto sans symbols 2",-apple-system,BlinkMacSystemFont,segoe ui,noto sans,system-ui,sans-serif;font-size:1em;line-height:1;margin-right:0;display:inline-block}