Translations:Make GRUB menu & boot-up/down fonts bigger/18/en

Save the edited file & then enter the following at the Terminal prompt: