diff --git a/doc/_themes/blue/searchbox.html b/doc/_themes/blue/searchbox.html index af28a7aba4..d5b45a793e 100644 --- a/doc/_themes/blue/searchbox.html +++ b/doc/_themes/blue/searchbox.html @@ -9,10 +9,9 @@ #} {%- if pagename != "search" %}