From 7ee936f46d26e33a85c3a45b640b0caecc7f3336 Mon Sep 17 00:00:00 2001
From: Fabio Souto <fsoutomoure@gmail.com>
Date: Wed, 18 Jul 2018 20:08:41 +0200
Subject: [PATCH] Fix broken internal links in hamburger menu (#613)

---
 docs/_includes/nav/header_nav.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/_includes/nav/header_nav.html b/docs/_includes/nav/header_nav.html
index 0fe945c..ba8d83c 100644
--- a/docs/_includes/nav/header_nav.html
+++ b/docs/_includes/nav/header_nav.html
@@ -6,7 +6,11 @@
     <ul>
       {% for item in site.data.nav %}
       <li class="navItem">
-        <a href="{{ item.href }}"{% if item.category == "external" %} target="_blank"{% endif %}>{{ item.title }}</a>
+        {% if item.category == "external" %}
+          <a href="{{ item.href }}"  target="_blank">{{ item.title }}</a>
+        {% else %}
+          <a href="{{ item.href | relative_url }}">{{ item.title }}</a>
+        {% endif %}
       </li>
       {% endfor %}
       {% if site.searchconfig %}