From c5a4c161adbde1249f410293b4683af3d67e0578 Mon Sep 17 00:00:00 2001
From: Pl4gue <david10608@gmail.com>
Date: Sat, 23 Dec 2017 15:52:11 +0100
Subject: [PATCH] build

---
 docs/index.html | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)
diff --git a/docs/index.html b/docs/index.html
index 7b3a62728..ee176bf7d 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -17,16 +17,20 @@
   </head>
   <script>
     const search = (node) => {
+      // Hide non-query-matching snippets 
       Array.from(node.parentElement.parentElement.getElementsByTagName('a')).forEach(x => {
         x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none'
       });
-      var remove = false, childs = Array.from(node.parentElement.parentElement.children), toRemove = childs[0];
-      Array.from(node.parentElement.parentElement.children).forEach((x, idx) => {
-        idx === Array.from(node.parentElement.parentElement.children).length -1 ?
-          toRemove.style.display = (remove ? 'none' : '') : x.tagName == 'H3' ?
-            (toRemove.style.display = (remove ? 'none' : ''), toRemove = x, remove = true) :
-            (x.style.display == '' ? remove = false : remove=remove)
-      });
+      Array.from( node.parentElement.parentElement.children )
+      // Filter out the hidden links
+      .filter( x => !( x.tagName == 'A' && x.style.display == 'none' ) )
+      // set the display for each element based on if it's a H3
+      // If it's the last element and an H3, hide it
+      // Otherwise if it's and H3 and the next element is an H3, hide it
+      // Otherwise display it
+      .forEach( ( element, index, source) => {
+         element.style.display = (element.tagName == 'H3' && index + 1 == source.length ? 'none' : element.tagName == 'H3' && source[index + 1].tagName == 'H3' ? 'none'  : '')
+      })
     }
   </script>
   <body>
