fix the problem with solarized background color