diff --git a/docs_theme/base.html b/docs_theme/base.html index 4e95f1f95..93b687cfc 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -69,7 +69,7 @@