reformatting html files