Make text tags of HTML export no white space.