playing with highlight.js