@media screen and (min-width:114ex){body{width:110ex}}@media screen and (max-width:113ex){body{width:97%}}#site-title a{color:#000;text-decoration:none;border:0}#article-title{font-size:1.5em;line-height:1.2em;border-bottom:1px solid #000;margin-bottom:0px}@media print{.hide-on-print{display:none!important}}.theorem-environment{color:#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:'◾️';position:absolute;right:-12px;bottom:-2px}table.postindex{width:100%}.info{margin-top:20px;color:#999}.info a{text-decoration:none;border-bottom:1px #999 dotted;color:#999}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}article{width:100%;float:left}article p+p{text-indent:1.5em}nav{margin:10px 0 10px 0;position:relative}nav ul{list-style:none;margin:0;padding:0}nav ul li{display:inline;margin:0 15px 0 0;padding:3px 0 3px 0;position:relative;border:0}nav ul li a{border:0}.gist{font-size:inherit!important}.gist-file{border:none!important;margin-left:0em!important;margin-top:1em!important;margin-bottom:1em!important;margin-right:0em!important}.gist .blob-code{line-height:inherit!important;padding:0px 0px!important}.gist .blob-num{line-height:inherit!important;padding:0px 0px!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 0!important;border:0!important;border-bottom:none!important;border-radius:0px!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:#000!important}