collaborated with highlight.js