diff --git a/doc/_themes/blue/layout.html b/doc/_themes/blue/layout.html index 5bc9c86003..8bba49b17a 100644 --- a/doc/_themes/blue/layout.html +++ b/doc/_themes/blue/layout.html @@ -188,7 +188,7 @@ {% if theme_lang == 'py' %}