diff --git a/src/compiler/crystal/tools/doc/html/js/_search.js b/src/compiler/crystal/tools/doc/html/js/_search.js index 84fffa4b4d89..193220d500a7 100644 --- a/src/compiler/crystal/tools/doc/html/js/_search.js +++ b/src/compiler/crystal/tools/doc/html/js/_search.js @@ -353,9 +353,11 @@ CrystalDoc.displaySearchResults = function(results, query) { CrystalDoc.toggleResultsList = function(visible) { if (visible) { document.querySelector(".types-list").classList.add("hidden"); + document.querySelector(".repository-links").classList.add("hidden"); document.querySelector(".search-results").classList.remove("hidden"); } else { document.querySelector(".types-list").classList.remove("hidden"); + document.querySelector(".repository-links").classList.remove("hidden"); document.querySelector(".search-results").classList.add("hidden"); } };