diff --git a/docs/_includes/header.html b/docs/_includes/header.html index e4b7cffe3..fdd7aa693 100755 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -7,22 +7,22 @@ - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -39,6 +39,11 @@ {% endif %}
+