diff --git a/docs_theme/base.html b/docs_theme/base.html index 544e21881..02be73ee8 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -106,12 +106,21 @@