highlight.js, better locals.js