diff --git a/docs/_includes/default.html b/docs/_includes/default.html index 72d0ccfe85..7a710a56b1 100644 --- a/docs/_includes/default.html +++ b/docs/_includes/default.html @@ -37,15 +37,13 @@