Trying out highlight.js