diff --git a/docs/_includes/docs_menu.html b/docs/_includes/docs_menu.html index b7a76d5..eae8806 100644 --- a/docs/_includes/docs_menu.html +++ b/docs/_includes/docs_menu.html @@ -1,4 +1,5 @@
+ {% include search_form.html %}