diff --git a/docs_theme/404.html b/docs_theme/404.html index bbb6b70ffc..cbaa0f0c62 100644 --- a/docs_theme/404.html +++ b/docs_theme/404.html @@ -4,6 +4,6 @@

404

Page not found

-

Try the homepage, or search the documentation.

+

Try the homepage, or search the documentation.

{% endblock %} diff --git a/docs_theme/main.html b/docs_theme/main.html index b4e894781c..1db3cc1b4b 100644 --- a/docs_theme/main.html +++ b/docs_theme/main.html @@ -57,7 +57,7 @@ diff --git a/docs_theme/nav.html b/docs_theme/nav.html index d30348756d..67b1b689fd 100644 --- a/docs_theme/nav.html +++ b/docs_theme/nav.html @@ -8,8 +8,8 @@ - Search - + Search + @@ -21,7 +21,7 @@