Ticket #1387: Adding some padding between two menus.