You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
rust-rocksdb/docs/_includes/nav_search.html

15 lines
441 B

<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>