diff --git a/docs_theme/base.html b/docs_theme/base.html index 02be73ee8..228b0ba4f 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -105,6 +105,13 @@ -->