diff --git a/docs/theme/base.html b/docs/theme/base.html index 45e19cf37..943a60e4c 100644 --- a/docs/theme/base.html +++ b/docs/theme/base.html @@ -2,7 +2,7 @@