diff --git a/docs/theme/base.html b/docs/theme/base.html index d8ff0e072..5187d581a 100644 --- a/docs/theme/base.html +++ b/docs/theme/base.html @@ -6,7 +6,7 @@ - +