body{background-color:#fff;color:#333;font-family:noto sans,Roboto,lucida grande,san francisco,sans-serif;font-size:1em;line-height:1.3em}.skipNav{position:relative;left:-1000em;font-size:0}#Container{margin:0 10px;text-align:center}#Content{border-top:none;margin:auto;padding:.3em;text-align:left;width:100%;max-width:55em}a:visited{color:#666}h1,h2,h3,h4,h5,h6{color:#333;font-family:"noto serif","pt serif",Miller,serif}h1{font-size:200%}h2{font-size:173%}h3{font-size:144%}h4{font-size:120%}h5,h6{font-size:100%}h1#pageName{line-height:1em;margin:.2em 0;padding:0}#svg_logo{float:left;margin:.5em .25em 0 -.625em;width:1.5em;height:1.625em}a.nav,a:link.nav,a:visited.nav{background-color:#fff;color:#000}table{border:double #000;border-collapse:collapse}td{border:thin solid #888;padding:3px}th{padding:3px}li{margin-bottom:.5em}.newWikiWord{background-color:#ddd}.newWikiWord a:hover{background-color:#fff}.deleteWikiWord{background-color:#fcc;border:3px solid blue;padding:2px}.badWikiWord{background-color:#fcc;border:1px solid blue;padding:1px}.deleteWikiWord:hover,.deleteWikiWord a:hover{background-color:#f88}form#navigationSearchForm{display:inline}form#navigationSearchForm input{font-size:80%}.navigation{color:#555;font-size:90%;margin-top:.3em}.navigation a:hover{background-color:#000;color:#fff;text-decoration:none}.navigation a{color:#000;font-weight:700}.navigation small a{font-size:90%;font-weight:400}.navOn{color:#444;font-weight:700;text-decoration:none}div.help{font-family:noto sans,Roboto,lucida grande,san francisco,sans-serif;font-size:75%}div.inputBox{background-color:#eee;font-family:noto sans,Roboto,lucida grande,san francisco,sans-serif;font-size:80%;margin-bottom:1.5em;padding:.3em}blockquote{display:block;font-size:90%;font-style:italic;line-height:1.5em;margin:0 0 1.5em;padding:0 2.5em}pre{background-color:#ddd;font-size:90%;overflow:auto;padding:1em}ol.setup{font-family:"noto serif","pt serif",Miller,serif;font-size:110%;margin-top:1em;padding-left:1.5em}.byline,.revisedby{color:#666;font-size:.8em;font-style:italic;margin-bottom:1em;padding-top:1px}p.show_diff{background:#eee;padding:3px;border:1px solid silver;font-size:.85em}span.webName{font-size:.5em}span.views,span.linked{font-size:.85em}.views a,.linked a{font-weight:400}span.revisions{font-size:.95em}#allPages,#wantedPages{float:left;width:280px}#allPages{margin-right:30px}#allPages h2,#wantedPages h2{font-size:1.2em}#allPages label{font-size:.8em}.pageType{font-size:.75em;font-style:italic}p.pageStats,span.unlock{font-size:.85em}.diffdel,del.diffmod,.diffdel *,del.diffmod *{background-color:#faa;text-decoration:line-through}.diffins,ins.diffmod,.diffins *,ins.diffmod *{background-color:#afa;text-decoration:underline}.diffmod,.diffmod *{border:2px solid #fe0}#footer{color:#666;font-size:.75em;font-style:italic;line-height:1.2em;padding-top:2em;text-align:right}#footer a:link,#footer a:visited{color:#777;font-style:italic}#footer a:hover{color:#fff}div.web_normal{padding:4px}div.web_protected{padding:4px;background-color:#ddd}div.inputFieldWithPrompt{margin:.75em 0}div.errorExplanation{background-color:#ffa;color:#900;font-style:italic;font-weight:700;margin:1.5em 0;padding:1em;width:100%}div.errorExplanation h2{display:none}div.errorExplanation ul{border:none;margin:.5em 0 0 2em;padding:0}div.fieldWithErrors input{border:1px solid #900}div.info{background-color:#ddd;font-weight:700;margin-top:.5em;padding:.5em;width:100%}div#editFormButtons{margin:.5em 0 0}div#editFormButtons span{white-space:nowrap}div#editForm textarea#content{}div#MarkupHelp{float:right;margin-top:.5em;width:25%}div#MarkupHelp table{border-bottom:3px solid #bbb;border-left:3px solid #999;border-right:3px solid #bbb;border-top:3px solid #999;margin-bottom:0}div#MarkupHelp td{border:1px solid #999;border-width:1px 0;font-size:80%;margin:0;padding:.2em;vertical-align:top;white-space:nowrap}div#MarkupHelp td.arrow{color:#666;padding:0 .75em 0 0}div#MarkupHelp h3{font-size:90%;font-weight:700;margin:0 0 5px;padding:5px 0 0}div#MarkupHelp p{font-size:70%}div.rightHandSide{border-left:1px dotted #ccc;border-bottom:1px dotted #ccc;float:right;font-size:80%;margin-left:.7em;padding-left:1.5em;width:25%}.newsList{margin-top:1.5em}.newsList p{margin-bottom:2.5em}.property{color:#666;font-size:80%}a,li span{color:#000}a:hover,a.nav:hover,a:hover math{background-color:#000;color:#fff}a:hover.existingWikiWord,a:visited:hover.existingWikiWord{background-color:#008;color:#fff}a:hover.existingWikiWord[title]{background-color:#707;color:#fff}.web_protected a:hover.existingWikiWord[title],.web_normal a:hover.existingWikiWord[title]{background-color:#000;color:#fff}div.errorExplanation p,div.errorExplanation li{border:none;margin:0;padding:0}textarea#content{font-size:1em;line-height:1.125}ul#sortable_pages{list-style-type:none;padding-left:0}ul#sortable_pages li{border:1px solid #fff}ul#sortable_pages li:hover,ul#sortable_pages li:focus{border:1px solid blue}merror{display:inline;font-size:1em}math[display=block]{overflow:auto}math{white-space:nowrap}.maruku-eq-number{float:right}.maruku-equation{text-align:center}.blockquotesource{margin-left:1em}fieldset.search{display:inline;border:none;padding:0;margin:0;top:5px;position:relative}span.keyboard{background:#ccc;color:#000;border:outset 2px;font-family:noto sans,Roboto,lucida grande,san francisco,sans-serif;font-size:.7em;margin-left:5px;padding:1px 2px}.centeredfigure{position:relative;margin:auto;text-align:center}body{counter-reset:theorem}.un_theorem,.num_theorem,.un_lemma,.num_lemma,.un_prop,.num_prop,.un_cor,.num_cor{font-style:italic}span.theorem_label{font-style:normal;font-weight:700}.proof span.theorem_label{font-style:italic}.tombstone{text-align:right}[mathvariant=bold] *{font-style:normal;font-variant:normal;font-weight:700}[mathvariant=italic] *{font-style:italic;font-variant:normal;font-weight:400}[mathvariant=bold-italic] *{font-style:italic;font-variant:normal;font-weight:700}[mathvariant=sans-serif] *{font-style:normal;font-variant:normal;font-weight:400}[mathvariant=bold-sans-serif] *{font-style:normal;font-variant:normal;font-weight:700}[mathvariant=sans-serif-italic] *{font-style:italic;font-variant:normal;font-weight:400}[mathvariant=sans-serif-bold-italic] *{font-style:italic;font-variant:normal;font-weight:700}[actiontype=toggle]:hover{text-shadow:#ccc 2px 2px 5px}.maruku_toc ul{list-style:none}[actiontype=toggle]:hover{text-shadow:#ccc 2px 2px 5px}.nlab_toc ul{list-style:none}math{font-family:STIX Two Math}mtext{font-family:STIX Two Text}.mathscript{font-variant-alternates:styleset(ss01);font-feature-settings:"ss01" on}@font-face{font-family:STIX Two Text;src:local('STIX Two Text'),local('STIX2Text-Regular'),url(../fonts/STIX2Text-Regular.woff2),url(../fonts/STIX2Text-Regular.woff)}@font-face{font-family:STIX Two Text;src:local('STIX Two Text Bold'),local('STIX2Text-Bold'),url(../fonts/STIX2Text-Bold.woff2),url(../fonts/STIX2Text-Bold.woff);font-weight:700}@font-face{font-family:STIX Two Text;src:local('STIX Two Text Italic'),local('STIX2Text-Italic'),url(../fonts/STIX2Text-Italic.woff2),url(../fonts/STIX2Text-Italic.woff);font-style:italic}@font-face{font-family:STIX Two Text;src:local('STIX Two Text Bold Italic'),local('STIX2Text-BoldItalic'),url(../fonts/STIX2Text-BoldItalic.woff2),url(../fonts/STIX2Text-BoldItalic.woff);font-weight:700;font-style:italic}@font-face{font-family:STIX Two Math;src:local('STIX Two Math'),local('STIX2Math'),url(../fonts/STIX2Math.woff2),url(../fonts/STIX2Math.woff)}