div.toc-sidebar {
    position: fixed;
    right: 0;
    // background-color: rgb(245,245,245);
    background: repeating-linear-gradient(135deg, rgba(128, 50, 50, 0.025), rgba(160, 60, 60, 0.025) 5px, rgba(0,0,0,0) 5px, rgba(0,0,0,0) 10px);
    height: 100%;
    margin-top: -500%;
    padding-top: 500%;
    padding-bottom: 500%;
    margin-right: 5%;
    font-size: 0.9em;

    & li {
        list-style: none;
        padding-bottom: 10px;
    }
}

#TableOfContents > ul {
    margin-left: -40px;

    & > li ul {
        margin-left: -15px;
    }
}

div.toc-contents a {
    // color: $text-muted
    color: $gray-700
}