/**
 * uses prototype.js
 *
 * -> more information on http://www.prototypejs.org/api/
 */
// removes special chars from searchresults
function fixsearch() {
    searchElements = $$('p.tx-indexedsearch-descr');
    for(var i=0; i < searchElements.length; i++) {
        searchElements[i].innerHTML = searchElements[i].innerHTML.replace(/�/g,"&nbsp;");
        searchElements[i].innerHTML = searchElements[i].innerHTML.replace(//g,"&nbsp;");
    }
}

// run fixsearch as soon as the page is ready
Event.observe(window, 'load', fixsearch);