BlueMenta Menta GTK3: reduce size of terminal tabs