From 9bbf54aabcb7f660100b955782dbd3065deccd3c Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:16:47 +0100
Subject: [PATCH 01/11] optimize

---
 static-parts/index-start.html | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)
diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index 6e83a89df..32395a442 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -23,14 +23,7 @@
     <link rel="stylesheet" href="prism.css">
   </head>
   <script>
-    function search() {
-        var input, filter, i;
-        input = document.querySelector('#searchInput');
-        filter = input.value.toUpperCase();
-        tags = Array.from(document.querySelector('#snippetListDrawer').getElementsByTagName('a'));
-
-        tags.forEach(x => {x.getAttribute("href").toUpperCase().indexOf(filter) > -1 ? x.style.display = "" : x.style.display = "none"});
-    }
+    const search = (input) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(query) + 1  ? '' : 'none');
   </script>
   <body>
     <header style="height: 5.5rem;">

From 9f81f085ce1c4e5c7d075a6d1fbf2e834788c0cd Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:20:42 +0100
Subject: [PATCH 02/11] pass node as parameter for search function (searchbar
 is child of nav)

---
 static-parts/index-start.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index 32395a442..cdff33cbe 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -23,7 +23,7 @@
     <link rel="stylesheet" href="prism.css">
   </head>
   <script>
-    const search = (input) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(query) + 1  ? '' : 'none');
+    const search = (node) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
   </script>
   <body>
     <header style="height: 5.5rem;">
@@ -35,6 +35,6 @@
     <div class="row" style="height: calc(100vh - 5.875rem);overflow: hidden;">
       <input id="doc-drawer-checkbox" class="drawer" value="on" type="checkbox">
         <nav id="snippetListDrawer" class="col-md-4 col-lg-3" style="border-top: 0">
-          <input type="text" id="searchInput" onkeyup="search()" placeholder="Search for snippet..">
+          <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
           <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->

From 1b9a1d670eea83845050d8b284e74d4575e93c9c Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:20:47 +0100
Subject: [PATCH 03/11] build

---
 docs/index.html | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index ea0620ec6..9228ad082 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -23,14 +23,7 @@
     <link rel="stylesheet" href="prism.css">
   </head>
   <script>
-    function search() {
-        var input, filter, i;
-        input = document.querySelector('#searchInput');
-        filter = input.value.toUpperCase();
-        tags = Array.from(document.querySelector('#snippetListDrawer').getElementsByTagName('a'));
-
-        tags.forEach(x => {x.getAttribute("href").toUpperCase().indexOf(filter) > -1 ? x.style.display = "" : x.style.display = "none"});
-    }
+    const search = (node) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
   </script>
   <body>
     <header style="height: 5.5rem;">
@@ -42,7 +35,7 @@
     <div class="row" style="height: calc(100vh - 5.875rem);overflow: hidden;">
       <input id="doc-drawer-checkbox" class="drawer" value="on" type="checkbox">
         <nav id="snippetListDrawer" class="col-md-4 col-lg-3" style="border-top: 0">
-          <input type="text" id="searchInput" onkeyup="search()" placeholder="Search for snippet..">
+          <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
           <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->
 

From 8a5f34a7bac4f48d5b5dba1d876ee5b8d4752d02 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:28:35 +0100
Subject: [PATCH 04/11] Update index.html

---
 docs/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/index.html b/docs/index.html
index 9228ad082..3b8657e8a 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -34,7 +34,7 @@
     </header>
     <div class="row" style="height: calc(100vh - 5.875rem);overflow: hidden;">
       <input id="doc-drawer-checkbox" class="drawer" value="on" type="checkbox">
-        <nav id="snippetListDrawer" class="col-md-4 col-lg-3" style="border-top: 0">
+        <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
           <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->

From 614a2d5f643b3824ee724875836d757e519f1482 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:29:20 +0100
Subject: [PATCH 05/11] Update index-start.html

---
 static-parts/index-start.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index cdff33cbe..bcc6a6290 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -34,7 +34,7 @@
     </header>
     <div class="row" style="height: calc(100vh - 5.875rem);overflow: hidden;">
       <input id="doc-drawer-checkbox" class="drawer" value="on" type="checkbox">
-        <nav id="snippetListDrawer" class="col-md-4 col-lg-3" style="border-top: 0">
+        <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
           <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->

From ae83ea257b625fc9b04b861384598d00e7918be9 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:31:14 +0100
Subject: [PATCH 06/11] Update index.html

---
 docs/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index 3b8657e8a..5e1ed0ccd 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -37,8 +37,7 @@
         <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
-          <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->
-
+       
 <h3>Array
 </h3><a class="sublink-1" href="#arraymax">arrayMax</a>
 <a class="sublink-1" href="#arraymin">arrayMin</a>

From 040a868bd5d25d80c8ff75a9b35ae6307d02bd75 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 02:31:40 +0100
Subject: [PATCH 07/11] Update index-start.html

---
 static-parts/index-start.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index bcc6a6290..54ad2d52b 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -37,4 +37,4 @@
         <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
-          <!-- <div><input style="width: 100%; margin: 0px;" placeholder="Search..." id="search-bar" oninput="search()" type="search"></div> -->
+         

From b28991bd80a2e628e002b54f4f11dd0239a35d7b Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 09:30:14 +0100
Subject: [PATCH 08/11] hide empty categories on search

---
 static-parts/index-start.html | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index 54ad2d52b..3848b435a 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -23,7 +23,25 @@
     <link rel="stylesheet" href="prism.css">
   </head>
   <script>
-    const search = (node) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
+    const search = (node) => {
+      Array.from(node.parentElement.getElementsByTagName('a')).forEach(x => x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
+      var toConsider = false, remove = false;
+      var childs = Array.from(node.parentElement.children);
+      var toRemove = childs[0];
+      Array.from(node.parentElement.children).forEach(x => x.tagName == 'H3' ? (toRemove.style.display = (remove ? 'none' : ''),
+      toRemove = x,
+      remove = true) : (x.style.display == '' ? remove = false : remove=remove));
+      // for(var i = 0; i < childs.length; i++) {
+      //   if(childs[i].tagName == 'H3') {
+      //     childs[toRemove].style.display = remove == true ? 'none' : '';
+      //     toRemove = i;
+      //     remove = true;
+      //   } else if(childs[i].style.display == '') {
+      //       remove = false;
+      //     //  console.log('non-empty element found:'+childs[i].innerText+'|h3:'+toRemove);
+      //   }
+      // }
+    }
   </script>
   <body>
     <header style="height: 5.5rem;">
@@ -37,4 +55,3 @@
         <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
-         

From 189fc0501ffa633f8c1f892b19861fe7e6b2efb6 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 09:30:29 +0100
Subject: [PATCH 09/11] remove comments

---
 static-parts/index-start.html | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index 3848b435a..205849080 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -31,16 +31,6 @@
       Array.from(node.parentElement.children).forEach(x => x.tagName == 'H3' ? (toRemove.style.display = (remove ? 'none' : ''),
       toRemove = x,
       remove = true) : (x.style.display == '' ? remove = false : remove=remove));
-      // for(var i = 0; i < childs.length; i++) {
-      //   if(childs[i].tagName == 'H3') {
-      //     childs[toRemove].style.display = remove == true ? 'none' : '';
-      //     toRemove = i;
-      //     remove = true;
-      //   } else if(childs[i].style.display == '') {
-      //       remove = false;
-      //     //  console.log('non-empty element found:'+childs[i].innerText+'|h3:'+toRemove);
-      //   }
-      // }
     }
   </script>
   <body>

From e3b1eea018ef924beda42b715757ea4bd66083d4 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 09:32:02 +0100
Subject: [PATCH 10/11] merge declarations

---
 static-parts/index-start.html | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/static-parts/index-start.html b/static-parts/index-start.html
index 205849080..8d75c54ec 100644
--- a/static-parts/index-start.html
+++ b/static-parts/index-start.html
@@ -25,12 +25,8 @@
   <script>
     const search = (node) => {
       Array.from(node.parentElement.getElementsByTagName('a')).forEach(x => x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
-      var toConsider = false, remove = false;
-      var childs = Array.from(node.parentElement.children);
-      var toRemove = childs[0];
-      Array.from(node.parentElement.children).forEach(x => x.tagName == 'H3' ? (toRemove.style.display = (remove ? 'none' : ''),
-      toRemove = x,
-      remove = true) : (x.style.display == '' ? remove = false : remove=remove));
+      var remove = false, childs = Array.from(node.parentElement.children), toRemove = childs[0];
+      Array.from(node.parentElement.children).forEach(x => x.tagName == 'H3' ? (toRemove.style.display = (remove ? 'none' : ''), toRemove = x, remove = true) : (x.style.display == '' ? remove = false : remove=remove));
     }
   </script>
   <body>

From 500f9bcd58fd028146a451eed14f7f450eb06f11 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 09:32:11 +0100
Subject: [PATCH 11/11] build site

---
 docs/index.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/docs/index.html b/docs/index.html
index 5e1ed0ccd..56fc77ade 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -23,7 +23,11 @@
     <link rel="stylesheet" href="prism.css">
   </head>
   <script>
-    const search = (node) => Array.from(node.parentElement.getElementsByTagName('a')).forEach(x =>x.style.display = x.getAttribute("href").toUpperCase().indexOf(node.value.toUpperCase()) + 1  ? '' : 'none');
+    const search = (node) => {
+      Array.from(node.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.children), toRemove = childs[0];
+      Array.from(node.parentElement.children).forEach(x => x.tagName == 'H3' ? (toRemove.style.display = (remove ? 'none' : ''), toRemove = x, remove = true) : (x.style.display == '' ? remove = false : remove=remove));
+    }
   </script>
   <body>
     <header style="height: 5.5rem;">
@@ -37,7 +41,7 @@
         <nav class="col-md-4 col-lg-3" style="border-top: 0">
           <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet..">
           <label for="doc-drawer-checkbox" class="button drawer-close"></label>
-       
+
 <h3>Array
 </h3><a class="sublink-1" href="#arraymax">arrayMax</a>
 <a class="sublink-1" href="#arraymin">arrayMin</a>
