docs: function toggleTree(){
    // Do the actual toggling by modifying the class on the body element. That way we can get some nice CSS transitions going.
    if(sidebarVisible){
      document.body.className = document.body.className.replace(/\s*sidebar/g,'');
      sidebarVisible = false;
    }else{
      document.body.className += ' sidebar';
      sidebarVisible = true;
    }
    if(window.localStorage){
      if(sidebarVisible){
        window.localStorage.otis_showSidebar = 'yes';
      }else{
        window.localStorage.otis_showSidebar = 'no';
      }
    }
  }