adds highlight.js