changing default theme to solarized-light, except for hr...