@media print{.hide-on-print{display:none!important}}.theorem-environment{color:var(--text,#000);padding:0 0;margin:0.6em 0;font-style:italic}.theorem-header{font-weight:bold;font-style:normal}.theorem-header .index:before{content:' '}.theorem-header .name:before{content:' ('}.theorem-header .name:after{content:')'}.theorem-header:after{content:'.\2002\2002'}.theorem-header+p{display:inline}.Proof .type{font-style:italic;font-weight:normal}.Proof{padding:0 0;font-style:normal;position:relative}.Proof:after{content:'\25fe';position:absolute;right:-12px;bottom:-2px}table.postindex{width:100%}table.postindex cite{font-style:normal}table.postindex td.right{text-align:right;width:11ex}.header-section-number{margin-right:10px}.header-section-number:after{content:'.'}table.sourceCode,tr.sourceCode,td.lineNumbers,td.sourceCode{margin:0;padding:0;vertical-align:baseline;border:none}table.sourceCode{width:100%;line-height:100%}td.lineNumbers{text-align:right;padding-right:4px;padding-left:4px}td.sourceCode{padding-left:5px}code>span.kw{font-weight:bold}code>span.dt{text-decoration:underline}code>span.co{font-style:italic}code>span.al{font-weight:bold}code>span.er{font-weight:bold}dt{font-weight:normal;font-style:italic}dd{margin:0;padding:0 0 0.5em 0}.csl-left-margin{display:inline}.csl-right-inline{display:inline}.gist{font-size:inherit!important}.gist-file{border:none!important;margin:1em 0!important}.gist .blob-code{line-height:inherit!important;padding:0!important}.gist .blob-num{line-height:inherit!important;padding:0!important;display:none}.gist .blob-code-inner{font-size:90%!important}.gist .highlight{line-height:inherit!important;font-size:inherit!important}.gist-data{padding:0!important;border:0!important;border-bottom:none!important;border-radius:0!important}.gist .gist-meta{display:none}.gist .pl-k{font-weight:bold}.gist .pl-en{font-style:italic;font-weight:bold}.gist .pl-c{color:#999!important;font-style:italic}.gist .pl-c1,.gist .pl-s,.gist .pl-v,.gist .pl-smi,.gist .pl-e,.gist .pl-k,.gist .pl-en{color:var(--text,#000)!important}