Switch the default highlights.js theme to github
Prepare 1.5.0.100 release