Replace margin-left and margin-right deprecated since gtk 3.12
https://docs.gtk.org/gtk3/property.Widget.margin-left.html
https://docs.gtk.org/gtk3/property.Widget.margin-right.html