updated highlight.js
with some gifs