resolves #756, upgrade to highlight.js 7.4