Use highlight.js right.

See http://highlightjs.org/usage/ section "Custom initialization"