Add highlight CSS from highlight.js 7.3