Use MathJax for the html docs

[ci skip]