var width=window.innerWidth||document.documentElement.clientWidth||document.body.clientWidth;width>768?document.getElementById("tocPanel").style.display="":document.getElementById("mobileToolbar").style.display=""