代码格式输出html文件，能不能在html文件里指定html的编码（gb2312、utf-8等），或者提供选项，让用户自己选择。

现在的专家输出html文件后，由于没有指定编码格式，打开文件后，每次都要切换编码格式。

另外就是，专家输出来的html文件用浏览器打开后，浏览器很卡，占用cpu很高。可能是输出来的html的代码不是很符合标准，导致浏览器很卡，或者其他的原因。

期待能优化一下格式输出功能。