diff --git a/_layouts/docs.html b/_layouts/docs.html old mode 100644 new mode 100755 index 7887877453..c563706a6e --- a/_layouts/docs.html +++ b/_layouts/docs.html @@ -53,12 +53,13 @@ display: block; } - + + + {% if site.GH_ENV == "gh_pages" %} {% endif %}