Change hackers.cool theme from alien to solarized