格式化、压缩 HTML 代码，支持语法高亮与智能缩进。