solarized color theme and fixed some bugs