work in progress: integration of highlight.js