switch highlight.js theme to solarized light