Comment by roundabout-host

I prefer what GTK does, leaving a margin on every menu, so that menus with icons or checkboxes do not look inconsistent with the ones with them.