div#menu {
    
    background-color: #0E0E0E;
    border-radius: 10px;
    padding: 32px;
    width: 239px;
    /* height: min-content; */
    height: calc(100vh - 51px - 128px);
    overflow-y: scroll;
    font-family: system-ui, -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
    position: sticky;
    top: 83px;

    & ul {
        margin: 0px;
        padding: 0px;
        /* margin-bottom: 16px; */
    }
    
    & li {
        list-style-type: none;
        padding-top: 8px;
        padding-bottom: 8px;
    }
    
    & ul:not(:first-child) > li {
        padding-left: 16px;
    }
    
    & li.highlight {
        background-color: var(--progold);    
        font-weight: bold;
        border-radius: 5px;
        & > a {
            color: black;
        }
    }
    
    & ul > li > ul > li:first-child {
        margin-top: 8px;
    }

    &:not(:hover)::-webkit-scrollbar-thumb {
        visibility: hidden;
    }

    &::-webkit-scrollbar {    
        background-color: transparent;
        height: 4px;
        width: 4px;
    }
    
    &::-webkit-scrollbar-track {
        background-color: transparent;    
    }
    
    &::-webkit-scrollbar-thumb {
        background-color: #434343;
        border-radius: 10px;
    }

    @media (pointer:none), (pointer:coarse) {
        display: none;
    }

}

/* hack to make anchors work even with the fixed navbar on top */
h1, h2, h3, h4, h5 {
    margin: 0px;
    position: relative;
    & > span[id]:not(.arg) {
        position: absolute; 
        top: -83px;
    }
}