When I did #6823 and changed the dpi I did not remember that we had merged #5677
which changed the default HTML docs to build svg examples rather than pdf examples. Apparently #5677 was not backported to 2.x

There are several questions.

• Should the change to use SVG's be backported?
• The svg's are build with a dpi of 72? Why? Should that not match the default dpi?