Changed default theme to solarized.