Navigator menu item padding is now specified in a navigator layout declaration. Also, not the bottom padding is set iff the menu item has children. Later this will be further refined so that the item is bottom-padded only if it has children and they're curretly visible.