diff --git a/site/_includes/docs_contents.html b/site/_includes/docs_contents.html
index 57b6b32c..0df6c0a4 100644
--- a/site/_includes/docs_contents.html
+++ b/site/_includes/docs_contents.html
@@ -1,97 +1,16 @@
diff --git a/site/_includes/docs_contents_mobile.html b/site/_includes/docs_contents_mobile.html
index 18be2227..fe2a09ef 100644
--- a/site/_includes/docs_contents_mobile.html
+++ b/site/_includes/docs_contents_mobile.html
@@ -2,41 +2,22 @@
diff --git a/site/_includes/docs_option.html b/site/_includes/docs_option.html
new file mode 100644
index 00000000..8284ed96
--- /dev/null
+++ b/site/_includes/docs_option.html
@@ -0,0 +1,11 @@
+{% assign items = include.items | split: ' ' %}
+
+{% for item in items %}
+ {% assign item_url = item | prepend:'/docs/' | append:'/' %}
+
+ {% for p in site.pages %}
+ {% if p.url == item_url %}
+
+ {% endif %}
+ {% endfor %}
+{% endfor %}
diff --git a/site/_includes/docs_ul.html b/site/_includes/docs_ul.html
new file mode 100644
index 00000000..4ba82479
--- /dev/null
+++ b/site/_includes/docs_ul.html
@@ -0,0 +1,20 @@
+{% assign items = include.items | split: ' ' %}
+
+
+{% for item in items %}
+ {% assign item_url = item | prepend:'/docs/' | append:'/' %}
+
+ {% if item_url == page.url %}
+ {% assign c = 'current' %}
+ {% else %}
+ {% assign c = '' %}
+ {% endif %}
+
+ {% for p in site.pages %}
+ {% if p.url == item_url %}
+ - {{ p.title }}
+ {% endif %}
+ {% endfor %}
+
+{% endfor %}
+