edit highlighter.js stylesheet URL