diff --git a/_layouts/docs.html b/_layouts/docs.html index 0860b49ee5..af1663b9a1 100644 --- a/_layouts/docs.html +++ b/_layouts/docs.html @@ -4,14 +4,38 @@ layout: default {% include home.html %} {% include doc-top-nav.html %} +