/* display number of results */
document.getElementById('search-hits').innerHTML = '{numberofresults} Ergebnisse:';
/* stretched link for search result items */
var searchLinks = document.querySelectorAll('.result-title a');
searchLinks.forEach(function (searchLink, index) {
searchLink.classList.add('stretched-link');
});
{queryTimeText}