
    // This mostly likely only works in modern browsers but
    // I'd rather not add jQuery as a dependency until it's really warranted.
    var Tabs = {
      panes : document.getElementsByClassName('page-pane'),
      nav : document.getElementById('nav'),
      listEntries : this.nav.children,
      links : [],
      
      init : function(){
        for (var i = 0; i < Tabs.listEntries.length; ++i) {  
          Tabs.links.push(Tabs.listEntries[i].firstChild);
        }
        
        Tabs.nav.addEve