updated highlight.js theme