switch highlight.js theme