Changed default theme to solarized-dark.