Use solarized theme + add some more settings