rc.lua now uses dark solarized theme