highlight.js/src/styles