@TimStone Last night I had a nice talk with Josh, one of the maintainers of HighlightJS and we discussed how to move the PR of the Mathematica highlighter forward. One discussion point was what CSS classes to return for Mathematica-specific portions of the code. In the past with google-pretty, we just abused some of the existing CSS classes that were not supposed as e.g. "Mathematica Pattern".