Use KaTeX and CodeMirror rather than ascii-math and highlight.js