Index.jsp: now with search. Minor changes in style.css