ir_black theme for gnome terminal