/* Show the section headings of every page in the left menu, not only the current page's */
.wy-menu-vertical li ul {
    display: block;
}

/* The theme colours sub-entries dark grey for the light background of the current page; under the
   other pages they sit on the dark menu background, so give them the menu's light text there */
.wy-menu-vertical li.toctree-l1:not(.current) li a {
    color: #b3b3b3;
}

    .wy-menu-vertical li.toctree-l1:not(.current) li a:hover {
        color: #d9d9d9;
        background: #4e4a4a;
    }

/* The theme only indents the levels of the current page; use the same indent steps for every page */
.wy-menu-vertical li.toctree-l2 > a {
    padding-left: 2.427em;
}

.wy-menu-vertical li.toctree-l3 > a {
    padding-left: 4.045em;
}

.wy-menu-vertical li.toctree-l4 > a {
    padding-left: 5.663em;
}