How to switch themes using highlight.js