diff --git a/docs_theme/main.html b/docs_theme/main.html index 4291adce..7d18ba8d 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -1,7 +1,7 @@ {% extends "base.html" %} {% block search_button %} -