diff --git a/docs_theme/base.html b/docs_theme/base.html index 369927b41..00cef246b 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -2,20 +2,20 @@