.toctree-wrapper ul, a {
    margin-top: 0 !important;
    margin-bottom: 0 !important;
}

.highlight-cpp {
    border-color: #d5d6d7 !important;
}

.highlight pre {
    font-size: 90% !important;
}

h2 {
    border-bottom: 1px solid gray;
    font-size: 130%;
}

h3 {
    font-size: 110%;
}