BlueMenta Menta GTK3: reduce size of tabs and notebook tabs