The new CSS Highlights API isn't implemented everywhere yet, but will be. See one current thread here: https://news.ycombinator.com/item?id=41251336