diff --git a/docs/theme/mkdocs/base.html b/docs/theme/mkdocs/base.html index ca418b3cd7..66bb2d3d68 100644 --- a/docs/theme/mkdocs/base.html +++ b/docs/theme/mkdocs/base.html @@ -67,5 +67,19 @@ +