.theorem-environment{font-style:italic;margin-top:1em}.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{font-style:normal;position:relative}.Proof:after{content:'∎';position:absolute;right:0px;bottom:0px}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:'.'}.csl-entry{display:table;width:100%;table-layout:auto}.csl-left-margin{display:table-cell;padding-right:0.5em;white-space:nowrap;width:1px}.csl-right-inline{display:table-cell}.csl-right-inline a{word-break:break-all}