From 102d74c782e4e894334f42158bfe4a5b59b4fa5d Mon Sep 17 00:00:00 2001
From: Kaspar Etter <me@kasparetter.com>
Date: Wed, 16 Oct 2019 17:41:39 +0200
Subject: [PATCH 1/4] Fix duplicate entries in nav.html

This commit resolves #207.
---
 _includes/nav.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_includes/nav.html b/_includes/nav.html
index d561a42..dafacc8 100644
--- a/_includes/nav.html
+++ b/_includes/nav.html
@@ -19,7 +19,7 @@
                     {%- endif -%}
                     <a href="{{ child.url | absolute_url }}" class="navigation-list-link{% if page.url == child.url %} active{% endif %}">{{ child.title }}</a>
                     {%- if child.has_children -%}
-                        {%- assign grand_children_list = site.html_pages | where: "parent", child.title | sort:"nav_order" -%}
+                        {%- assign grand_children_list = site.html_pages | where: "parent", child.title | where: "grand_parent", node.title | sort:"nav_order" -%}
                         <ul class="navigation-list-child-list">
                         {%- for grand_child in grand_children_list -%}
                           <li class="navigation-list-item {% if page.url == grand_child.url %} active{% endif %}">

From c09f86cd1d0bec63d865dc308ee1461e161ea337 Mon Sep 17 00:00:00 2001
From: Kaspar Etter <me@kasparetter.com>
Date: Fri, 18 Oct 2019 12:07:10 +0200
Subject: [PATCH 2/4] Fix duplicate entries in default.html

Removes children from the table of contents that
belong to a different page with the same title.
---
 _layouts/default.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/default.html b/_layouts/default.html
index b1d3c72..e198b4b 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -77,7 +77,7 @@ layout: table_wrappers
             {% assign children_list = site.pages | sort:"nav_order" %}
             <ul>
               {% for child in children_list %}
-                {% if child.parent == page.title and child.title != page.title %}
+                {% if child.parent == page.title and child.title != page.title and child.grand_parent == page.parent %}
                 <li>
                   <a href="{{ child.url | absolute_url }}">{{ child.title }}</a>{% if child.summary %} - {{ child.summary }}{% endif %}
                 </li>

From 30e1ddcdae64a71485fac3d090ad4d996d69c34d Mon Sep 17 00:00:00 2001
From: Peter Mosses <18308236+pdmosses@users.noreply.github.com>
Date: Tue, 28 Apr 2020 08:08:34 +0200
Subject: [PATCH 3/4] Update _layouts/default.html

---
 _layouts/default.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_layouts/default.html b/_layouts/default.html
index 2dae34b..f06bdff 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -75,6 +75,7 @@ layout: table_wrappers
             <hr>
             <h2 class="text-delta">Table of contents</h2>
             <ul>
+              {%- assign children_list = pages_list | where: "parent", node.title -%}
               {% for child in children_list %}
                 {% if child.parent == page.title and child.title != page.title and child.grand_parent == page.parent %}
                 <li>

From e97b718f5d65062c6bda7d5488584d5525b006f2 Mon Sep 17 00:00:00 2001
From: Peter Mosses <18308236+pdmosses@users.noreply.github.com>
Date: Tue, 28 Apr 2020 18:07:50 +0200
Subject: [PATCH 4/4] Update nav.html

Changed `site.html_pages` to `pages_list`, to repeat the nav order of the grandchildren in the nav panel.
---
 _includes/nav.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_includes/nav.html b/_includes/nav.html
index 7ce7259..5b8c587 100644
--- a/_includes/nav.html
+++ b/_includes/nav.html
@@ -29,7 +29,7 @@
                     {%- endif -%}
                     <a href="{{ child.url | absolute_url }}" class="navigation-list-link{% if page.url == child.url %} active{% endif %}">{{ child.title }}</a>
                     {%- if child.has_children -%}
-                        {%- assign grand_children_list = site.html_pages | where: "parent", child.title | where: "grand_parent", node.title -%}
+                        {%- assign grand_children_list = pages_list | where: "parent", child.title | where: "grand_parent", node.title -%}
                         <ul class="navigation-list-child-list">
                         {%- for grand_child in grand_children_list -%}
                           <li class="navigation-list-item {% if page.url == grand_child.url %} active{% endif %}">