.theorem-environment {
    font-style: italic;
    margin-top: 1em;
    padding: 0.5em;
    background-color: whitesmoke;
}

.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 {
    background: none;
    font-style: normal;
    position: relative;
}

.Proof:after {
    content: "∎";
    position: absolute;
    right: 0px;
    bottom: 0px;
}

.Proof span.theorem-header span.name {
    font-weight: normal;
    font-style: italic;
}

.Proof span.theorem-header span.name:before {
    content: " ";
}

.Proof span.theorem-header span.name:after {
    content: " ";
}

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;
}