Index.jsp, style.css: better display of search hits