downsized grub menu.