closes #37: using highlight.js