Default theme "terminator" now solarized-dark too