diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 1fc802dcfa..029c8c0471 100755 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -466,7 +466,7 @@