Add files via upload

Author: juanmoisesd

docs/assets/app.js

@@ -1,12 +1,13 @@
 
-function searchLinks() {
-  const q = document.getElementById('searchBox');
-  if (!q) return;
-  q.addEventListener('input', function(){
-    const term = this.value.toLowerCase();
-    document.querySelectorAll('[data-search]').forEach(el=>{
-      el.style.display = el.getAttribute('data-search').toLowerCase().includes(term) ? '' : 'none';
+document.addEventListener('DOMContentLoaded', function(){
+  const box=document.getElementById('searchBox');
+  if(box){
+    box.addEventListener('input', function(){
+      const q=this.value.toLowerCase();
+      document.querySelectorAll('[data-search]').forEach(el=>{
+        const s=(el.getAttribute('data-search')||'').toLowerCase();
+        el.style.display=s.includes(q)?'':'none';
+      });
     });
-  });
-}
-document.addEventListener('DOMContentLoaded', searchLinks);
+  }
+});