diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index 093dd8cb104e..af6d6bef38bb 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -172,9 +172,13 @@