User:Tcrosse/vector-2022.js

// hide the table of contents by default document.querySelector('button[data-event-name="pinnable-header.vector-main-menu.unpin"]').click