HTML Output Tidy Up for the Uncompressed HTML Mode