From 8e17d7fd7b169e1d68a550f5c5a5f5b6dd48fb44 Mon Sep 17 00:00:00 2001
From: Lukas Werling <lukas.werling@gmail.com>
Date: Sat, 24 Mar 2018 22:19:58 +0100
Subject: [PATCH] docs: Fix case-sensitivity in search

---
 docs/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/search.js b/docs/search.js
index ff5d492c1..bfed406e4 100644
--- a/docs/search.js
+++ b/docs/search.js
@@ -36,7 +36,7 @@
 
   function search(index, searchTerm) {
     return index.query(query => {
-      searchTerm.split(/\s+/).forEach(term => {
+      searchTerm.toLowerCase().split(/\s+/).forEach(term => {
         query.term(term, {
           fields: ["title"],
           boost: 10,