diff --git a/docs_theme/base.html b/docs_theme/base.html index 93b687cfc..369927b41 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -136,7 +136,7 @@