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

.toc ol li a,
nav ol li a {
    text-decoration: none;
    color: black;
}

.toc h1 + ol {
    margin-top: 5rem;
}

.toc * {
    line-height: 120%;
}

.toc a, .toc p {
    font-family: sans-serif;
    font-size: 0.8rem;
}

.toc a.nav-level-1 {
    text-transform: uppercase;
    font-size: 0.7rem;
    font-weight: bold;
}

.toc ol {
    padding-inline-start: 0;
}

.toc li.nav-level-2 {

}

.toc a.nav-level-3 {
    padding-left: 1.5rem;
}

body.toc > section.body-section > ol > li + li {
    margin-top: 1rem;
}

.toc-page-list ol {
    list-style: none;
    padding-inline-start: 0;
}

a.inactive-link,
nav.toc-page-list > ol > li > p {
    margin-block-start: 0;
    margin-block-end: 0;
    color: rgb(183, 183, 183);
}

#tocFile h1, #tocFile h2 {
    text-indent: 0;
    text-align: left;
    font-size: 1.2rem;
    font-weight: bold;
}

#tocFile h1 + ol, #tocFile h2 + ol {
    margin-top: 2rem;
}

.original-toc-element-level-1 {
    margin-left: 1.5rem;
}

.original-toc-element-level-2 {
    margin-left: 1.5rem;
}

.original-toc-element {
    text-decoration: none;
    color: black;
    line-height: 140%;
}

/* INDEX */
.index {
}

.index-section {
    list-style: none;
}

.index-section-list {
    list-style: none;
}

.index-page-number {
}

.index-entry-level-1,
.index-entry-level-2,
.index-entry-level-3 {
    font-size: .9rem;
    padding-left: 1.5em;
    text-indent: -1.5em;
    font-weight: normal;
}

.index ol {
    list-style: none;
}

.index-section {
    margin-top: 1em;
    margin-left: 0;
    text-indent: 0;
    padding-inline-start: 0;
    font-weight: bold;
}

.index-section-list {

}

.index ol {
    font-size: .9rem;
    margin-left: 0;
    text-indent: 0;
    padding-inline-start: 0;
}

.index h2, .glossary h2 {
    font-weight: bold;
    font-size: 1rem;
    margin: 1rem 0 .3rem 0;
}

.index p, .glossary p {
    font-size: 0.8rem;
}

#toc > section.body-section > ol {

}

#toc > section.body-section > ol > li > p {

    text-transform: uppercase;
    font-weight: bold;
}


#toc > section.body-section > ol > li > ol.ordered-2 {
    margin-left: 0;
}

#toc > section.body-section > ol > li > ol > li > ol.ordered-3 {
    margin-left: 1rem;
}

#toc > section.body-section > ol > li > ol > li > ol > li > ol.ordered-4 {
    margin-left: 1rem;
}