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