got highlight.js to do its magic with a custom css