.hide-nav[data-v-b4b94b3f]{overflow:hidden}@media(max-width:1023px){.desktop-left-nav[data-v-b4b94b3f],.desktop-toc-nav[data-v-b4b94b3f]{display:none!important}}