Delete nonjquery.highlight.js