diff --git a/docs/theme/mkdocs/header.html b/docs/theme/mkdocs/header.html index 351c1583ed..3560929cac 100644 --- a/docs/theme/mkdocs/header.html +++ b/docs/theme/mkdocs/header.html @@ -32,7 +32,7 @@