Add a margin to menus

This is now used by GTK+ to displace context menus to avoid
'pop up under the pointer' disease.