add dark theme of solarized