Make the inclusion of highlight.js build-time conditional and add MathJax