From d6bec7481ec3ab34ac33edec4f7c1a94bd3a75d3 Mon Sep 17 00:00:00 2001
From: Lonami Exo <totufals@hotmail.com>
Date: Fri, 19 May 2017 09:44:15 +0200
Subject: [PATCH] Use case insensitive search on the docs (#87)

---
 docs/res/core.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/res/core.html b/docs/res/core.html
index 60d541da..9c3e3739 100644
--- a/docs/res/core.html
+++ b/docs/res/core.html
@@ -205,10 +205,11 @@ function updateSearch() {
         contentDiv.style.display = "none";
         searchDiv.style.display = "";
 
+        var query = searchBox.value.toLowerCase();
         var foundRequests = [];
         var foundRequestsu = [];
         for (var i = 0; i < requests.length; ++i) {
-            if (requests[i].toLowerCase().indexOf(searchBox.value) != -1) {
+            if (requests[i].toLowerCase().indexOf(query) != -1) {
                 foundRequests.push(requests[i]);
                 foundRequestsu.push(requestsu[i]);
             }
@@ -217,7 +218,7 @@ function updateSearch() {
         var foundTypes = [];
         var foundTypesu = [];
         for (var i = 0; i < types.length; ++i) {
-            if (types[i].toLowerCase().indexOf(searchBox.value) != -1) {
+            if (types[i].toLowerCase().indexOf(query) != -1) {
                 foundTypes.push(types[i]);
                 foundTypesu.push(typesu[i]);
             }