.theorem {
display: block;
font-style: italic;
}
.theorem:before {
content: "Theorem. ";
font-weight: bold;
font-style: normal;
}
.theorem[type="named"]:before {
content: "Theorem (" attr(name) ") ";
}

.theorem[type="numbered"]:before {
content: "Theorem " attr(number) ". ";
}

.theorem[type="named_and_numbered"]:before {
content: "Theorem " attr(number) " (" attr(name) ") ";
}

.lemma {
display: block;
font-style: italic;
}
.lemma:before {
content: "Lemma. ";
font-weight: bold;
font-style: normal;
}
.lemma[type="named"]:before {
content: "Lemma (" attr(name) ") ";
}

.lemma[type="numbered"]:before {
content: "Lemma " attr(number) ". ";
}

.lemma[type="named_and_numbered"]:before {
content: "Lemma " attr(number) " (" attr(name) ") ";
}

.corollary {
display: block;
font-style: italic;
}
.corollary:before {
content: "Corollary. ";
font-weight: bold;
font-style: normal;
}
.corollary[type="named"]:before {
content: "Corollary (" attr(name) ") ";
}

.corollary[type="numbered"]:before {
content: "Corollary " attr(number) ". ";
}

.corollary[type="named_and_numbered"]:before {
content: "Corollary " attr(number) " (" attr(name) ") ";
}

.proof:before {
content: "Proof. ";
font-weight: bold;
font-style: normal;
}
.proof[type="named"]:before {
content: "Proof (" attr(name) ") ";
}

.highlight > pre {
padding: 10px;
}

.highlight {
    position: relative;
}
.highlight pre {
    padding-right: 75px;
}
.highlight-copy-btn {
    position: absolute;
    bottom: 7px;
    right: 7px;
    border: 0;
    border-radius: 4px;
    padding: 1px;
    font-size: 0.7em;
    line-height: 1.8;
    color: #fff;
    background-color: #777;
    min-width: 55px;
    text-align: center;
}
.highlight-copy-btn:hover {
    background-color: #666;
}

/* toc-nav */

a.nav-toc {
    padding-left: 1vw;
    text-decoration: none;
}

a.nav-toc.active, a.nav-toc:hover {
    border-left: var(--bs-success) 4px solid;
    color: var(--bs-success);
}

a.nav-toc:hover {
    font-weight: bold;    
}

li.nav-toc {
    list-style-type: none;
}