Don't use solarized for now