trying out dark solarized