/* Smaller navigation width */
:root {
    --toc-width: 220px;
}

/* Smaller TOC font */
.toc-container {
    font-size: 13px;
}

/* Tighter TOC spacing */
.toc-item {
    padding-top: 3px;
    padding-bottom: 3px;
}