diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 6d0ae970c63..03afc0bd986 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -20,7 +20,7 @@
/>
@@ -134,7 +134,9 @@
+
+
-
{% if page.dir contains "doc" %} {% assign version = page.dir | split:
@@ -185,21 +186,5 @@
var AUTOHIDE = Boolean(0);
-
-
-
-