В таком виде велик соблазн поправить стиль прямо здесь, потом обновим highlight.js, и всё потеряется. И сюда бы тоже надо версию и урл