Fix some gtk-builder-tool substitutions.
The margin-left and margin-right properties have been removed in favor of margin-start and margin-end ones.
Edited by Arnaud B.
The margin-left and margin-right properties have been removed in favor of margin-start and margin-end ones.