Improve readability of <pre> tags in the HTML code of the docs