HTML 格式化/压缩/美化