.theorem,.lemma,.proposition,.algorithm,.example,.problem,.question,.definition,.claim,.claim-un,.conjecture,.hypothesis,.fact,.remark{margin:12px 0;padding:5px 5px 5px 10px;display:block}.theorem,.lemma,.proposition{counter-increment:theorem;background-color:var(--global-thm-bg-color);border-left-style:solid;border-left-color:var(--global-thm-line-color)}.claim,.algorithm,.conjecture,.hypothesis,.fact{counter-increment:theorem;font-style:normal;background-color:var(--global-claim-bg-color);border-left-style:solid;border-left-color:var(--global-claim-line-color)}.example,.question,.problem{counter-increment:theorem;font-style:normal;background-color:var(--global-ex-bg-color);border-left-style:solid;border-left-color:var(--global-ex-line-color)}.definition{counter-increment:theorem;font-style:normal;background-color:var(--global-defn-bg-color);border-left-style:solid;border-left-color:var(--global-defn-line-color)}.remark{counter-increment:theorem;font-style:normal;background-color:var(--global-rmk-bg-color);border-left-style:solid;border-left-color:var(--global-rmk-line-color)}.theorem::before{content:'Theorem ' counter(theorem) '. ';font-weight:bold;font-style:normal}.theorem[text]:before{content:'Theorem ' counter(theorem) ' (' attr(text) "). "}.lemma::before{content:'Lemma ' counter(theorem) '. ';font-weight:bold;font-style:normal}.lemma[text]:before{content:'Lemma ' counter(theorem) ' (' attr(text) "). "}.proposition::before{content:'Proposition ' counter(theorem) '. ';font-weight:bold;font-style:normal}.proposition[text]:before{content:'Proposition ' counter(theorem) ' (' attr(text) "). "}.algorithm::before{content:'Algorithm ' counter(theorem) '. ';font-weight:bold;font-style:normal}.algorithm[text]:before{content:'Algorithm ' counter(theorem) ' (' attr(text) "). "}.claim::before{content:'Claim ' counter(theorem) '. ';font-weight:bold;font-style:normal}.claim[text]:before{content:'Claim ' counter(theorem) ' (' attr(text) "). "}.hypothesis::before{content:'Hypothesis ' counter(theorem) '. ';font-weight:bold;font-style:normal}.hypothesis[text]:before{content:'Hypothesis ' counter(theorem) ' (' attr(text) "). "}.conjecture::before{content:'Conjecture ' counter(theorem) '. ';font-weight:bold;font-style:normal}.conjecture[text]:before{content:'Conjecture ' counter(theorem) ' (' attr(text) "). "}.fact::before{content:'Fact ' counter(theorem) '. ';font-weight:bold;font-style:normal}.fact[text]:before{content:'Fact ' counter(theorem) ' (' attr(text) "). "}.example::before{content:'Example ' counter(theorem) '. ';font-weight:bold;font-style:normal}.example[text]:before{content:'Example ' counter(theorem) ' (' attr(text) "). "}.question::before{content:'Question ' counter(theorem) '. ';font-weight:bold;font-style:normal}.question[text]:before{content:'Question ' counter(theorem) ' (' attr(text) "). "}.problem::before{content:'Problem ' counter(theorem) '. ';font-weight:bold;font-style:normal}.problem[text]:before{content:'Problem ' counter(theorem) ' (' attr(text) "). "}.remark::before{content:'Remark ' counter(theorem) '. ';font-weight:bold;font-style:normal}.remark[text]:before{content:'Remark ' counter(theorem) ' (' attr(text) "). "}.definition::before{content:'Definition ' counter(theorem) '. ';font-weight:bold;font-style:normal}
.definition[text]:before{content:'Definition ' counter(theorem) ' (' attr(text) "). "}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof::before{content:'Proof. ' attr(text);font-style:italic}.proof[text]:before{content:attr(text) ". ";font-style:italic}.proof:after{content:'◾️';position:absolute;right:0;bottom:-2px}.claim-un{font-style:normal;background-color:var(--global-claim-bg-color);border-left-style:solid;border-left-color:var(--global-claim-line-color)}.claim-un::before{content:'Claim. ';font-weight:bold;font-style:normal}.claim-un[text]:before{content:'Claim (' attr(text) "). "}.vocab{color:var(--global-vocab-color)}.crossref{color:var(--global-crossref-color);font-weight:bold}.myaqua{color:var(--global-text-aqua-color)}.mypurple{color:var(--global-text-purple-color)}.eqn{counter-increment:equation;display:block;position:relative;margin:12px 0}.eqn::after{content:'(' counter(equation) ')';position:absolute;right:0;top:12px;vertical-align:75%;font-weight:bold}