Choose different theme for terminal and gui