Docs: make keyword search case insensitive

2025-07-09 10:30:15 +02:00 · 2021-06-02 09:11:08 +01:00 · 2021-06-02 09:11:08 +01:00 · 81ee8bc30f
commit 81ee8bc30f
parent 9f384e1c6c
1 changed files with 1 additions and 1 deletions
--- a/docs/index.html
+++ b/docs/index.html
@ -105,7 +105,7 @@
                .then(function (entries) {
                  const results = [];
                  entries.forEach(function (entry) {
-                    if (entry.k.includes(keyword)) {
+                    if (entry.k.includes(keyword.trim().toLowerCase())) {
                      results.push({
                        title: entry.t,
                        link: entry.l,