img.display {
    padding-left:       5em;
}

img.inline {
    display:            inline-block;
}

.no-underline {
    text-decoration:    none;
}

td.replist {
    padding:            10px;
    font-size:          150%;
    font-family:        monospace;
}

.proposition, .proof, .corollary, .lemma {
    margin-top:         2em;
    margin-left:        2em;
}

.proposition::before, .proof::before, .corollary::before, .lemma::before {
    margin-left:        -1.5em;
    white-space:        pre-wrap;
    font-size:          larger;
    font-weight:        bold;
}

.proposition[num]::before {
    content:            "Proposition " attr(num) ":\A";
}

.proof::before {
    content:            "Proof:\A";
}

.lemma::before {
    content:            "Lemma:\A";
}

.lemma[num]::before {
    content:            "Lemma " attr(num) ":\A";
}

.corollary::before {
    content:            "Corollary:\A";
}

.corollary[num]::before {
    content:            "Corollary " attr(num) ":\A";
}

.reference:before {
    font-weight:        bold;
}

.reference[num]:before {
    content:            "proposition " attr(num);
}

.reference[num][cor=""]:before {
    content:            "corollary of proposition " attr(num);
}

.reference[num][cor!=""]:before {
    content:            "corollary " attr(cor) " of proposition " attr(num);
}

hr.aside {
    margin-top:         2em;
}

.index {
    text-align:         right;
    width:              100%;
}

.index hr {
    border-top:         1px solid #80e0e0;
}

.index a {
    color:              white;
    background-color:   #80e0e0;
    padding:            5px;
    text-decoration:    none;
}

.index a:hover {
    background-color:   #80c0c0;
}