.right-nav {
    min-width: 200px;
}

.table-of-contents {
    position: fixed;
    width: 180px;
    padding-left: 10px;
    border-left: dashed 1px var(--secondary-color);
    color: var(--secondary-color);
    font: 0.8rem var(--font-stack);
    height: 100vh;
}

.table-of-contents p {
    margin-top: var(--global-space);
    margin-bottom: calc(var(--global-space) * 2);
}

vacuum-nav-item li {
    margin-top: 5px;
}

mobile-nav details {
    border: 1px dashed var(--secondary-color);
    border-radius: 0;
    padding: 3px;
}

mobile-nav  summary {
    font-family: var(--font-stack-bold), monospace;
}

mobile-nav details[open] div {
    margin-left: 20px;
}

mobile-nav  details[open] summary {
    border-bottom: 1px solid var(--secondary-color);

}