david.guglielmi@gmail.com David GUGLIELMI GRUB default font size 24px GRUB default font size 32px