diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index e6b189c2d93..1da0c549739 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -20,7 +20,7 @@
/>
@@ -36,6 +36,9 @@
-
+
+
+
- {% if page.dir contains "doc" %}
- {% assign version = page.dir | split: '/' | last %}
- {% else %}
- {% assign version = "latest" %}
- {% endif %}
+ {% if page.dir contains "doc" %} {% assign version = page.dir | split:
+ '/' | last %} {% else %} {% assign version = "latest" %} {% endif %}
-
+