diff --git a/docs_theme/base.html b/docs_theme/base.html index 6bfccab26..25bd33ef0 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -159,7 +159,7 @@