Bah. accidentally deleted .js from highlight.js. Fixed now