Re: downsized grub menu. [CLOSED] [SOLVED]