Set SolarizedDark theme as default for GUI
Add no_quarter theme for terminal users