:root {

    --darkGrey: #1e1f1c;
    --grey: #272822;
    --lightGrey: #75715e;
    --white: #f8f8f2;
    --purple: #B267E6;
    --red: #F44747;
    --blue:#66D9EF;
    --yellow: #E6DB74;
    }

    div {
        padding-left: 5%;
    }
    a {
        color:  var(--blue);
    }
    a:visited {
        color: var(--lightGrey);
    }

    #toc_container {
        background-color: var(--grey);
        border: 1px solid var(--lightGrey);
        display: inline-block;
        padding-left: 0;
        padding: 1%;
    }

    ul{
        padding: 0;
        list-style-type: none;
    }

    html {
        background-color: var(--darkGrey);
        color: var(--white);
        font-family: Droid Sans Mono !important;
    }

    pre code {
        background-color: var(--grey);
        border: 1px solid var(--lightGrey);
        display: block;
        padding: 1%;
        overflow-x: scroll;
        scrollbar-color: var(--lightGrey) var(--grey);

        overflow: auto;
  }