change gui theme to solarized dark again :-p