Fixed color theme stuff and tramp stuff.