updated version of highlight.js and marked