diff --git a/docs_theme/base.html b/docs_theme/base.html index 6cb929d1c..b6451f4d5 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -5,17 +5,17 @@