Miscelaneous fixes to the HTML renderer.

• 在HTML显示上多项的问题修正。