Is this `Margin` widget required any more? I would guess it does nothing if the margin is set to 0, but I haven't tested.