function addSearch(document) {
        let html = '<div class="docs-search-results-header">'
//        html += '<div class="docs-image-logo-search-results"><a href="/"><img src="' + ED.utilities.normaliseInternalLink(['Images', 'superalgos-logo.png']) + '" width=200></a></div>'
        html += '<button id="enable-search">Turn on search</button>'
        html += '<div id="search-input" class="docs-search-results-box hidden">'
        html += '<input class="docs-search-input" placeholder="search the docs" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"></input>'
        html += '</div>'
        html += '</div>'
        html += '<div id="search-spinner" class="hidden"><i class="fa fa-spinner fa-spin"></i> loading results</div>'
        html += '<div id="docs-search-content-div" class="hidden"></div>'
        document.getElementById('docs-search-results-div').innerHTML = html
    }
Adds the search bar to the HTML document
@param {*} document