removed solarized theme since the repo is private