diff --git a/doc/_templates/layout.html b/doc/_templates/layout.html index ccd6676df51c..d2a6d5b369c2 100644 --- a/doc/_templates/layout.html +++ b/doc/_templates/layout.html @@ -197,6 +197,17 @@