code: function treeScrolled(){
    var tree = document.getElementById('tree');
    if(window.localStorage) window.localStorage.otis_treeScroll = tree.scrollTop;
  }
docs: ## treeScrolled
  
  Called when the tree is scrolled. Stores the scroll position in localStorage
  so it can be restored on the next pageview.