code: function showSearchBox(val){
  
      // If the box is already visible, do nothing
      if(searchBoxShown) return;
      searchBoxShown = true;
  
      // Create the containing element
      var f = document.createElement('div');
      f.id = "search";
  
      // Construct some basic HTML
      f.innerHTML = [
        '<div class="overlay"></div>',
        '<div class="box">',
          '<form id="searchform">',
            '<input id="searchbox" type="text" name="file" placeholder="Go to file..." autocomplete="off" value="', val, '"/>',
          '</form>',
          '<div id="searchresults"></div>',
        '</div>'
      ].join('');
  
      // Add the keydown event
      addEvent(f, 'keydown', searchFormKeyDown);
  
      // Add the container straight onto the body
      document.body.appendChild(f);
  
      // Focus the search field, and bind the necessary events
      document.getElementById('searchbox').focus();
      addEvent(document.getElementById('searchform'), 'submit', searchFormSubmitted);
      addEvent(document.getElementById('searchresults'), 'click', itemClicked);
  
      // If we have a pre-populated value, also fire off a search immediately
      if(val) doSearch();
    }
docs: ## showSearchBox
  
  Constructs and shows the search box, optionally pre-populated
  with a value for the search field
  
  @param {string,optional} val Pre-populated value for the search field