fix highlight.js loading