diff --git a/doc/_includes/head.html b/doc/_includes/head.html index 45cb99b5663..05a7a5a1657 100644 --- a/doc/_includes/head.html +++ b/doc/_includes/head.html @@ -14,7 +14,7 @@ - +