replace GtkMisc xpad and ypad properties with margin-*

margin-left and margin-right are deprecated too, but we can easily switch
to margin-start and margin-end once the gtk+ requirement goes up.