Making boot status text bigger

[manuel]

[FAQ] Why you should NOT use grub-customizer

First of all the name is misleading it is not a customizer for the grub setup, it is instead a customized grub! You do not change grub settings every day, and in 99,999% of cases you change something and never touch it again till something go south with it. And when this happens you have long time forgot about installing grub-customizer and used it to change … boot menu size or something… And if you start using Grub-Customizer you can not really use grub itself anymore in the same way… So …