diff --git a/docs/index.html b/docs/index.html index e24b25e73a9..4827024bdc7 100644 --- a/docs/index.html +++ b/docs/index.html @@ -15,7 +15,7 @@ - + @@ -130,7 +130,7 @@ - +