Add dark notebook theme for Gnome terminal