div.html ol ol>li,div.html ol>li,li.custom-item,ul#citations,ul.neighbours{list-style-type:none}ul.neighbours{padding-left:0!important}ul.neighbours li{padding:0;margin:0}div.html h1,div.html h2,div.html h3{margin-bottom:1rem}ul.neighbours li.left{float:left}ul.neighbours li.left a:before{content:"\ab";margin-right:.3em}ul.neighbours li.right{float:right}ul.neighbours li.right a:after{content:"\bb";margin-left:.3em}div.html{-webkit-hyphens:auto;-ms-hyphens:auto;hyphens:auto;text-align:justify;padding-right:.5rem}div.html div.equation::-webkit-scrollbar{display:none}div.html ol ol>li:before,div.html ol>li:before{position:absolute;display:inline-block;text-align:right;font-style:normal}p+div.equation{margin-top:-1rem}div.html h1{font-size:1.6rem;font-weight:700}div.html h2{font-size:1.4rem}div.html h3{font-size:1.2rem}div.html ol li p:only-child,div.html ul li p:only-child{margin-bottom:.3rem}div.html ol{counter-reset:ol}div.html ol>li:before{counter-increment:ol;content:"(" counter(ol,decimal) ") ";left:0;width:1.5em}div.html ol ol{counter-reset:olol}div.html ol ol>li:before{counter-increment:olol;content:"(" counter(olol,lower-alpha) ") ";left:3em;width:2em}div.html ul.tree{text-align:left}div.html article.env-lemma,div.html article.env-proposition,div.html article.env-theorem{font-style:italic}div.html a.environment-identifier{font-style:normal;font-weight:700;color:#000;text-decoration:none}div.html a.environment-identifier span.named,p.slogan strong{font-weight:400}div.html a.environment-identifier:hover,p.slogan strong{text-decoration:underline}div.html article.env-proof{margin-top:1rem;margin-bottom:1rem}div.html article.env-proof span.qed{float:right;margin-top:0}div.html div.equation{overflow-x:-moz-scrollbars-none;display:flex;align-items:center}div.html div.equation>div{margin:.5em auto}div.html div.equation span.equation-label{float:left;margin-right:1rem}div.html div.equation span.equation-label::before{content:"("}div.html div.equation span.equation-label::after{content:")"}div.html article a.btn{margin-left:.3em;font-style:normal}div.preview{margin-left:1.5em}span.toggle{display:block}span.toggle input{margin-right:.5em}span.toggle label{margin-bottom:.2em}p.slogan:before{content:"Slogan: ";font-weight:700}p.history:before{content:"Historical remark: ";font-weight:700}p.reference:before{content:"Reference: ";font-weight:700}table#history tr:nth-child(odd) td:nth-child(1){background-image:url(/static/images/plus.svg);background-repeat:no-repeat;background-position:right .4rem;padding-right:1rem}table#history tr:nth-child(odd) td.clicked:nth-child(1){background-image:url(/static/images/minus.svg)}table#history tr:nth-child(odd) td:nth-child(2){width:7rem}table#history tr:nth-child(odd) td:nth-child(3){width:5rem}table#history tr:nth-child(even) td{border-top:none}table#history tr:nth-child(even):hover{background-color:transparent}table#history pre.commit-message{margin-top:1rem;font-size:.8rem}div.information ul.tag-info{list-style-type:none;padding-left:0}div.information ul.tag-info li{margin-bottom:.5rem;margin-left:0;padding-left:0}div.information ul.tag-info li a{background-repeat:no-repeat;padding-left:1.5rem}li.tag-history a{background-image:url(../images/clock.svg)}li.tag-statistics a{background-image:url(../images/graph.svg)}li.tag-dependencies a{background-image:url(../images/dependency.svg)}li.custom-item[data-marker]:before{content:attr(data-marker)!important}li.custom-item p{display:inline-block}ul#citations{font-size:.9rem;padding-left:0}ul#citations li{margin-bottom:.4rem}button.clipboard{-webkit-appearance:none;background-color:#fff}button.clipboard:hover{background-color:beige}ol+span.qed,ul+span.qed{margin-top:-2.5rem!important}