угу. и highlight.min.js тоже