support/docs/src/assets/js/docs.js
function(event, ui) {
        search.val('');
        window.location = ui.item.value.url.replace('_gh_pages', '');
        return false;
      }
function(event, ui) {
        search.val('');
        window.location = ui.item.value.url.replace('_gh_pages', '');
        return false;
      }
function ( event , ui ) { search . val ( '' ) ; window . location = ui . item . value . url . replace ( '_gh_pages' , '' ) ; return false ; }
when selected, clear the sarch box and navigate to the selected page
when selected clear the sarch box and navigate to the selected page