HTML reformatting