A simple LaTeX to HTML+CSS+MathJax translator