pretty format html with hxt