diff --git a/src/compiler/crystal/tools/doc/html/_sidebar.html b/src/compiler/crystal/tools/doc/html/_sidebar.html index b255f19856ac..3cd1796b5527 100644 --- a/src/compiler/crystal/tools/doc/html/_sidebar.html +++ b/src/compiler/crystal/tools/doc/html/_sidebar.html @@ -15,10 +15,6 @@

<%= project_info.version %> - -
diff --git a/src/compiler/crystal/tools/doc/html/css/style.css b/src/compiler/crystal/tools/doc/html/css/style.css index e86a43d2c94a..66c81c841f1f 100644 --- a/src/compiler/crystal/tools/doc/html/css/style.css +++ b/src/compiler/crystal/tools/doc/html/css/style.css @@ -166,10 +166,6 @@ body { color: #866BA6; } -.repository-links { - padding: 5px 15px 5px 30px; -} - .types-list li ul { overflow: hidden; height: 0; diff --git a/src/compiler/crystal/tools/doc/html/js/_search.js b/src/compiler/crystal/tools/doc/html/js/_search.js index 193220d500a7..84fffa4b4d89 100644 --- a/src/compiler/crystal/tools/doc/html/js/_search.js +++ b/src/compiler/crystal/tools/doc/html/js/_search.js @@ -353,11 +353,9 @@ 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"); } };