Improve the HTML style of the manual

[ci skip]