-- Changed solarized-theme port in use.