MediaWiki:Common.js/search.js: Difference between revisions

         return opt;

     }

     var topline = document.getElementByClassName('mw-body-subheader');

     topline[0].style.color = "blue";

     topline[0].innerText = "Not finding what you're looking for? Select a different search engine from the dropdown menu below and try again.";

     if (document.forms.powersearch)

         var searchForm = document.forms.powersearch;