@media(min-width:768px){
    body {
        width: calc(100% - 8% - 270px);
        margin: 0 4% 0 calc(270px + 4%);
    }
    div[class=toc] {
        position: fixed;
        top: 0;
        left: 0;
    
        height: 100%;
        overflow-y: auto;
    
        width: 270px;
        min-width: unset;

        margin: 0;

        border-radius: 0;
    }
    div[class=toc] > ul {
        font-size: 80%;
    }
}
