Fix for solarized theme