diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index 260a6854af..a007e532c4 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -174,7 +174,8 @@ +'' +'' +'' + +' style="display: none;' + +' margin: 0.1em 0em; padding: 0.25em 1em;">' +'' +''; // get the query box @@ -300,7 +301,7 @@ + UncompactUrl(search_results[n][1]) + '" class="indexlink">' + UncompactHtml(search_results[n][2]) + '' + desc; result_links[i].style.backgroundColor = - (i < exact_results_num) ? "#ffffc0" : "white"; + (i < exact_results_num) ? "#ffffd0" : "white"; result_links[i].style.display = "block"; } else { result_links[i].style.display = "none";