We've made several changes into HTML formatting in #5350 to make it more
straightforward to config and to have better defaults. Please take a
look and let us know if it's better.
Also, if you have any complaints about HTML formatting - that's the
right time to report them - I'm taking a look at it now.