# HG changeset patch
# User Kai T. Ohlhus <k.ohlhus@gmail.com>
# Date 1476373430 -7200
# Node ID ee20b2a64fe547f01d2e07f99a19ca9619a2ab5b
# Parent  8224b565e6fd257888c55eea7bafe962c7aca83d
maint: some code refactoring.

diff -r 8224b565e6fd -r ee20b2a64fe5 _includes/header.html
--- a/_includes/header.html	Thu Oct 13 17:42:18 2016 +0200
+++ b/_includes/header.html	Thu Oct 13 17:43:50 2016 +0200
@@ -8,12 +8,12 @@
 
 <ul class="topnav" id="myTopnav">
   <li><a href="{{ "/index.html" | relative_url }}">Home</a></li>
-  {% for mpage in site.pages %}
-    {% if mpage.menu %}
+  {% for p in site.pages %}
+    {% if p.menu %}
     <li>
-      <a href="{{ mpage.url | relative_url }}"
-        {% if page.url == mpage.url %} class="active"{% endif %}>
-      {{ mpage.title }}</a>
+      <a href="{{ p.url | relative_url }}"
+        {% if page.url == p.url %} class="active"{% endif %}>
+      {{ p.title }}</a>
     </li>
     {% endif %}
   {% endfor %}
diff -r 8224b565e6fd -r ee20b2a64fe5 _layouts/default.html
--- a/_layouts/default.html	Thu Oct 13 17:42:18 2016 +0200
+++ b/_layouts/default.html	Thu Oct 13 17:43:50 2016 +0200
@@ -7,8 +7,6 @@
 
   {% include header.html %}
 
-
-
   <div class="page-content">
     {{ content }}
   </div>