/* table of contents */
.toc {
    font-size: 0.85rem;
}

.toctitle {
    display: block;
    text-align: center;
    font-size: 1rem;
    color: white;
    text-decoration: underline;
}

nav.toc {
    background-color: #0c0f0f;
    border: 1px solid $toc;
    margin: 1rem 0px;
}

div.toc {
    margin: 1rem;
}

a.headerlink {
    color: grey;
    padding-left: .5em;
    visibility: hidden;
}

h1:hover > a.headerlink, h2:hover > a.headerlink,
h3:hover > a.headerlink, h4:hover > a.headerlink,
h5:hover > a.headerlink, h6:hover > a.headerlink,
dt:hover > a.headerlink {
    text-decoration: none;
    visibility: visible;
}