: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}.grid-container{display:block}body{counter-reset:h1 h2 h3 h4 thm fig}h1{counter-increment:h1;counter-reset:h2 h3 h4 thm fig}h2{counter-increment:h2;counter-reset:h3 h4 thm fig}h3{counter-increment:h3;counter-reset:h4 thm fig}h4{counter-increment:h4;counter-reset:thm fig}.thm-env{counter-increment:thm;margin:0 0}.thm-env[data-level="1"] .thm-title::before{content:attr(data-label)" " counter(thm)"."}.thm-env[data-level="2"] .thm-title::before{content:attr(data-label)" " counter(h2)"." counter(thm)"."}.thm-env[data-level="3"] .thm-title::before{content:attr(data-label)" " counter(h2)"." counter(h3)"." counter(thm)"."}.thm-env[data-level="4"] .thm-title::before{content:attr(data-label)" " counter(h2)"." counter(h3)"." counter(h4)"." counter(thm)"."}.thm-heading{display:inline;margin:0;margin-right:.25em}.thm-body{margin:0;display:inline}.thm-body p{display:inline;margin:0}.thm-note{font-weight:400;font-style:normal;margin-left:0}.thm-note::after{content:"."}.thm-plain .thm-heading{font-weight:600;font-style:normal}.thm-plain .thm-body{font-style:italic}.thm-defn .thm-heading{font-weight:600;font-style:normal}.thm-defn .thm-body{font-style:normal}.thm-remark .thm-heading{font-weight:400;font-style:italic}.thm-remark .thm-body{font-style:normal}.proof-env,.solution-env{margin:1.2rem 0}.proof-heading,.solution-heading{}.proof-body,.solution-body{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}.fig-env{counter-increment:fig;margin:1.5rem auto;text-align:center}.fig-content{}.fig-caption{margin-top:.5rem;font-size:.9rem;text-align:center}.fig-env[data-level="1"] .fig-label::before{content:"Figure " counter(fig)": ";font-weight:600}.fig-env[data-level="2"] .fig-label::before{content:"Figure " counter(h2)"." counter(fig)": ";font-weight:600}.fig-env[data-level="3"] .fig-label::before{content:"Figure " counter(h2)"." counter(h3)"." counter(fig)": ";font-weight:600}.fig-env[data-level="4"] .fig-label::before{content:"Figure " counter(h2)"." counter(h3)"." counter(h4)"." counter(fig)": ";font-weight:600}.quiver-wrapper{margin:0 0;overflow:visible;text-align:center}.quiver-wrapper iframe{display:block;margin:0 auto}.bib-env{margin:1.5rem 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}