rocksdb/docs/_includes/nav_search.html

<li class="navSearchWrapper">
  <input id="{{ include.inputselector }}" type="search" />
</li>
<script type="text/javascript" src="https://cdn.jsdelivr.net/docsearch.js/1/docsearch.min.js"></script>
<script>
// For Algolia search
(function() {
  // Algolia
  docsearch({
    apiKey: '{{ site.searchconfig.apikey }}',
    indexName: '{{ site.searchconfig.indexname }}',
    inputSelector: '#{{ include.inputselector }}',
  });
}());
</script>
Add initial GitHub pages infra for RocksDB documentation move and update. (#1294) This is the initial commit with the templates necessary to have our RocksDB user documentation hosted on GitHub pages. Ensure you meet requirements here: https://help.github.com/articles/setting-up-your-github-pages-site-locally-with-jekyll/#requirements Then you can run this right now by doing the following: ``` % bundle install % bundle exec jekyll serve --config=_config.yml,_config_local_dev.yml ``` Then go to: http://127.0.0.1:4000/ Obviously, this is just the skeleton. Moving forward we will do these things in separate pull requests: - Replace logos with RocksDB logos - Update the color schemes - Add current information on rocksdb.org to markdown in this infra - Migrate current Wodpress blog to Jekyll and Disqus comments - Etc. 8 years ago			`<li class="navSearchWrapper">`
			`<input id="{{ include.inputselector }}" type="search" />`
			`</li>`
			`<script type="text/javascript" src="https://cdn.jsdelivr.net/docsearch.js/1/docsearch.min.js"></script>`
			`<script>`
			`// For Algolia search`
			`(function() {`
			`// Algolia`
			`docsearch({`
			`apiKey: '{{ site.searchconfig.apikey }}',`
			`indexName: '{{ site.searchconfig.indexname }}',`
			`inputSelector: '#{{ include.inputselector }}',`
			`});`
			`}());`
			`</script>`