From 102d83f78da74cef20a54ea7f93ec3b310928adf Mon Sep 17 00:00:00 2001
From: Anatol Broder <anatol@penibelst.de>
Date: Fri, 6 Sep 2013 02:00:23 +0200
Subject: [PATCH] Make navigation menus reusable

---
 site/_includes/docs_option.html | 11 +++++++++++
 site/_includes/docs_ul.html     | 20 ++++++++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100644 site/_includes/docs_option.html
 create mode 100644 site/_includes/docs_ul.html

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 %}
+      <option value="{{ site.url }}{{ p.url }}">{{ p.title }}</option>
+    {% endif %}
+  {% endfor %}
+{% endfor %}
diff --git a/site/_includes/docs_ul.html b/site/_includes/docs_ul.html
new file mode 100644
index 00000000..fa7b9f60
--- /dev/null
+++ b/site/_includes/docs_ul.html
@@ -0,0 +1,20 @@
+{% assign items = include.items | split: ' ' %}
+
+<ul>
+{% 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 %}
+      <li class="{{ c }}"><a href="{{ p.url }}">{{ p.title }}</a></li>
+    {% endif %}
+  {% endfor %}
+
+{% endfor %}  
+</ul>