diff --git a/docs/_includes/default.html b/docs/_includes/default.html index 6926264756..676e83a750 100644 --- a/docs/_includes/default.html +++ b/docs/_includes/default.html @@ -13,7 +13,7 @@ - + @@ -23,10 +23,9 @@