       toggleTOC(false) 
  	 }
    } );
    
    document.getElementById('left-panel').onclick = function() {toggleTOC(false)}
    document.getElementById('title').onclick = function() {toggleTOC()} 
}

</script>
