@charset "utf-8"; :root{--block-background:#faf7f0;--output-background:#faf7f0;--small:14px;--normal:19px;--text-color:hsv(0,0%,20%)}@font-face{font-family:charter;font-style:normal;font-weight:normal;font-stretch:normal;src:url(/assets/font/charter_regular.woff2) format('woff2')}@font-face{font-family:charter;font-style:italic;font-weight:normal;font-stretch:normal;src:url(/assets/font/charter_italic.woff2) format('woff2')}@font-face{font-family:charter;font-style:normal;font-weight:bold;font-stretch:normal;src:url(/assets/font/charter_bold.woff2) format('woff2')}@font-face{font-family:charter;font-style:italic;font-weight:bold;font-stretch:normal;src:url(/assets/font/charter_bold_italic.woff2) format('woff2')}html{font-family:Charter,serif;font-weight:400;font-style:normal;font-size:var(--normal);color:var(--text-color);background-color:var(--block-background)}.franklin-content .row{display:block}.franklin-content .left{float:left;margin-right:15px}.franklin-content .right{float:right}.franklin-content .container img{width:auto;padding-left:0;border-radius:10px}.franklin-content .footnote{position:relative;top:-0.5em;font-size:70%}.franklin-content .page-foot a{text-decoration:none;color:#a6a2a0;text-decoration:underline}.page-foot{font-size:80%;font-family:Charter,serif;color:#a6a2a0;text-align:center;margin-top:6em;border-top:1px solid lightgrey;padding-top:2em;margin-bottom:4em}.franklin-toc li{margin:.6rem 0}.franklin-content{position:relative;padding-left:12.5%;padding-right:12.5%;line-height:1.45em}@media (min-width:940px){.franklin-content{width:705px;margin-left:auto;margin-right:auto}}@media (max-width:480px){.franklin-content{padding-left:6%;padding-right:6%}}.franklin-content h1{font-size:24px}.franklin-content h2{font-size:22px}.franklin-content h3{font-size:20px}.franklin-content h1,h2,h3,h4,h5,h6{text-align:left}.franklin-content h1{padding-bottom:.5em;border-bottom:3px double lightgrey;margin-top:1.5em;margin-bottom:1em}.franklin-content h2{padding-bottom:.3em;border-bottom:1px solid lightgrey;margin-top:2em;margin-bottom:1em}.franklin-content h1 a{color:inherit}.franklin-content h1 a:hover{text-decoration:none}.franklin-content h2 a{color:inherit}.franklin-content h2 a:hover{text-decoration:none}.franklin-content h3 a{color:inherit}.franklin-content h3 a:hover{text-decoration:none}.franklin-content h4 a{color:inherit}.franklin-content h4 a:hover{text-decoration:none}.franklin-content h5 a{color:inherit}.franklin-content h5 a:hover{text-decoration:none}.franklin-content h6 a{color:inherit}.franklin-content h6 a:hover{text-decoration:none}.franklin-content table{margin-left:auto;margin-right:auto;border-collapse:collapse;text-align:center}.franklin-toc ol ol{list-style-type:lower-alpha}.franklin-content th,td{font-size:var(--small);padding:10px;border:1px solid black}.franklin-content blockquote{background:var(--block-background);border-left:7px solid #a8a8a8;margin:1.5em 10px;padding:.5em 10px;font-style:italic}.franklin-content blockquote p{display:inline}.franklin-content li p{margin:10px 0}.franklin-content a{color:oklch(0.588 .158 241.966);text-decoration:none}.franklin-content a:hover{text-decoration:underline}.franklin-content .eqref a{color:green}.franklin-content .bibref a{color:green}.franklin-content sup{font-size:70%;vertical-align:super;line-height:0}.franklin-content table.fndef{margin:0;margin-bottom:10px}.franklin-content .fndef tr,td{padding:0;border:0;text-align:left}.franklin-content .fndef tr{border-left:2px solid lightgray}.franklin-content .fndef td.fndef-backref{vertical-align:top;font-size:70%;padding-left:5px}.franklin-content .fndef td.fndef-content{font-size:80%;padding-left:10px;width:100%}.franklin-content img{width:70%;text-align:center;padding-left:10%}.franklin-content .img-small img{width:50%;text-align:center;padding-left:20%}body{counter-reset:eqnum}.katex{font-size:1em !important}.katex-display .katex{display:inline-block;white-space:normal}.katex-display::after{counter-increment:eqnum;content:"(" counter(eqnum) ")";position:relative;float:right;padding-right:5px}.nonumber .katex-display::after{counter-increment:nothing;content:""}code{background-color:var(--block-background);padding:.1em .2em;border-radius:2px;font-size:var(--small)}.hljs{font-size:var(--small);line-height:1.35em;border-radius:10px}.hljs-meta{font-weight:bold}.hljs-meta.shell_{color:crimson}.hljs-meta.prompt_{color:#19b333}.code-output{background:var(--output-background);border:1px dashed #dbdbdb}.franklin-content .colbox-blue{background-color:#eef3f5;padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-left:5px;margin-top:5px;margin-bottom:5px;border-left:5px solid #4c9cf1}.franklin-content{counter-reset:definition proposition lemma}.definition{background-color:oklch(0.936 .032 17.717);padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-top:5px;margin-bottom:5px;border-left:5px solid oklch(0.577 .245 27.325)}.definition::before{counter-increment:definition;padding-top:5px;padding-bottom:5px;content:"Definition " counter(definition) " ";font-weight:bold;color:oklch(0.577 .245 27.325)}.definition>.deftitle{display:inline;color:oklch(0.577 .245 27.325)}.prop{background-color:#eef3f5;padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-top:5px;margin-bottom:5px;border-left:5px solid oklch(0.588 .158 241.966)}.prop>.proptitle{display:inline;color:oklch(0.588 .158 241.966)}.prop::before{counter-increment:proposition;content:"Proposition " counter(proposition) ":";font-weight:bold;color:oklch(0.588 .158 241.966)}.lemma{background-color:oklch(90.2% .063 306.703 / 43.98%);padding-top:5px;padding-right:10px;padding-left:10px;padding-bottom:5px;margin-top:5px;margin-bottom:5px;border-left:5px solid oklch(0.627 .265 303.9)}.lemma::before{counter-increment:lemma;content:"Lemma " counter(lemma) ":";font-weight:bold;color:oklch(0.627 .265 303.9)}.proof{padding-left:10px}