diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/footer.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html index 70ccd615d..d293c8d90 100644 --- a/docs/_includes/footer.html +++ b/docs/_includes/footer.html @@ -50,6 +50,15 @@ <!-- IE10 viewport hack for Surface/desktop Windows 8 bug --> <script src="{{ site.baseurl }}/assets/js/ie10-viewport-bug-workaround.js"></script> +<script> +SimpleJekyllSearch.init({ + searchInput: document.getElementById('search-input'), + resultsContainer: document.getElementById('search-results'), + searchResultTemplate: '<li><a href="{url}">{title}</a></li>', + dataSource: '/search.json' +}) +</script> + {% comment %} Inject Twitter widgets asynchronously. Snippet snipped from Twitter's JS interface site: https://dev.twitter.com/docs/tfw-javascript |