Reformatted HTML pages with updated Eclipse settings.