h2.toc-header {
    margin-left: 25px;
}
li.toc-list-item-show {
    display: inline;
}
li.toc-list-item-hide {
    display: none;
}
#toc li::marker {
    color: black;
    font-weight: bold;
    content: '';
}
button.mobile-display-none,  button.mobile-display-inline {
    display: none;
}
a:link {
    color: black;
    text-decoration: none;
}
a:visited {
    color: purple;
    text-decoration: none;
}
a:hover {
    color: #00a0df;
    text-decoration: underline;
}
a:active {
    color: blue;
    text-decoration: underline;
}
button.toc-links-collapse {
    background-color: white;
    color: black;
    border: none;
    text-align: center;
    border-radius: 50%;
    text-decoration: none;
    display: inline-block;
    font-size: 12px;
    float: right;
}
button#toc-collapse {
    background-color: #57A900;
    color: white;
    border: none;
    text-align: center;
    border-radius: 50%;
    text-decoration: none;
    font-size: 30px;
    margin-top: 12px;
    margin-right: 10px;
    float: right;
    height: 40px;
    width: 40px;
    padding: 0px 2px 3px 0px;
}
#toc-collapse:hover {
    background-color: #027148;
}
button#back-to-top {
    background-color: #57A900;
    color: white;
    border: none;
    text-align: center;
    border-radius: 50%;
    text-decoration: none;
    font-size: 30px;
    float: right;
    bottom: 20px;
    right: 40px;
    position: fixed;
    height: 40px;
    width: 40px;
    padding: 0px 0px 7px 0px;
}
#back-to-top:hover {
    background-color: #027148;
}
div.toc {
    height: 98vh;
    float: left;
    top: 0;
    background-color: white;
    position: sticky;
    border-right: 2px solid gray;
    transition: all 200ms linear;
    display: inline-block;
    overflow-y: auto;
}
div.html-cover-image img {
    margin: 0;
    padding: 0;
}
div.toc-full-width {
    width: 25%;
}
div.toc-portion-width {
    width: 5%;
}
div#main-content {
    transition: all 200ms linear;
}
div.main-content-full-width {
    margin-left: 6%;
}
div.main-content-portion-width {
    margin-left: 26%;
}
div.toc-elements-show {
    display: inline;
}
div.toc-elements-hide {
    display: none;
}
button#toc-mobile-view {
    display: none;
}
button#mobile-toc-collapse {
    display: none;
}
@media only screen and (max-width: 768px){
    button#toc-mobile-view-close, button#toc-mobile-view-open {
        height: 50px;
        width: 100%;
        background-color: black;
        color: white;
        font-size: 30px;
        text-align: left;
        position: fixed;
        bottom: 0;
    }
}
@media only screen and (max-width: 768px){
    button#mobile-toc-collapse {
        background-color: #57A900;
        color: white;
        border: none;
        text-align: center;
        border-radius: 10%;
        text-decoration: none;
        font-size: 12px;
        margin-top: 12px;
        margin-left: 25px;
        height: 30px;
        width: 80px;
        display: inline-block;
    }
}
@media only screen and (max-width: 768px){
    div.mobile-display-none, button.mobile-display-none {
        display: none;
    }
}
@media only screen and (max-width: 768px){
    div.mobile-display-inline, button.mobile-display-inline {
        display: inline;
    }
}
@media only screen and (max-width: 768px){
    div.mobile-display-shaded {
        opacity: 0.9;
    }
}
@media only screen and (max-width: 768px){
    div#main-content {
        margin-left: 5px;
    }
}
@media only screen and (max-width: 768px){
    body {
        margin: 0;
    }
}
@media only screen and (max-width: 768px){
    button#back-to-top {
        bottom: 5px;
        z-index: 1;
    }
}
@media only screen and (max-width: 768px){
    div.mobile-toc {
        width: 100%;
        height: 60vh;
        z-index: 1;
    }
}
@media only screen and (max-width: 768px){
    div.toc-elements-show {
        display: inline;
    }
}
@media only screen and (max-width: 768px){
    div.toc-elements-hide {
        display: none;
    }
}
@media print{
    div#toc {
        display: none;
    }
}
