Add production version of highlihgt.js