search is now more efficent (ignores case), fixed indention of HTML files