Дефолтный стиль, мне кажется, более внятный, на Гитхабе цвета почти не отличаются друг от друга (см. XML и JSON в [сравнении](http://highlightjs.org/static/test.html)). Можно заимпортить несколько тем в отдельные шаблоны и переключать настройкой :)