change jshighlight theme