master uses CSS border-spacing, but that is not available in GTK+ 3. Close https://gitlab.gnome.org/GNOME/gtk/issues/1166