перестроил highlight.js скриптом

на всякий пожарный
скрипт из #564; highlight.js с github, тег 7.5