@@ -300,14 +300,17 @@ function initSearch() {
300300
301301 // when typing
302302 searchInput.addEventListener("keyup", debounce(function() {
303−
304303 searchResultsHeader.value = "";
305304
306305 var term = searchInput.value.trim();
306+
307+ /*
308+ //removed to fix: a state where there’s a valid search term, but no results
307309
308310 if (term === currentTerm || !index) {
309311 return;
310− }
312+ }*/
313+
311314 searchResults.style.display = term === "" ? "none" : "block";
312315 searchResults.style.overflowY = term === "" ? "hidden" : "scroll";
313316 searchResultsItems.innerHTML = "";