(Rick said)
The font(s) used by grub2 shouldbe located in /boot/grub2/fonts
...
FONT_FILES in the man page just represents where the source font
file is located. For example, to convert the FreeSans.ttf font
(which is located in /usr/share/fonts/gnu-free) into a 24-point
font grub2 can grok called "newfont.pf2":
grub2-mkfont -o /tmp/newfont.pf2 --size=24 \
/usr/share/fonts/gnu-free/FreeSans.ttf
Then move/copy the file created to /boot/grub2/fonts:
cp /tmp/newfont.pf2 /boot/grub2/fonts
And put the name of the file into the GRUB_FONT option:
GRUB_FONT=newfont.pf2
That oughta do it.
Yep. That did it.
Should anyone else choose to try Rick's suggestions, I suggest a minor
change: Name the grub font file the same as the source font file, but
with the size appended:
1. grub2-mkfont -o /tmp/FreeSans24.pf2 --size=24
/usr/share/fonts/gnu-free/FreeSans.ttf
2. cp /tmp/FreeSans24.pf2 /boot/grub2/fonts
3. put the name of the file into the GRUB_FONT option:
GRUB_FONT=FreeSans24.pf2
4. do the grub2-mkconfig -o /etc/grub2.cfg
This way, the name of the font file documents what font and size is
being used.
Also, I learned the hard way: the size (here, 24) has a different
meaning (units) than the font size in LibreOffice. I actually tried 16
first. That's nice and big in LibreOffice, but it was tiny in the grub
menu.
Thank-you, Rick.
If, after a few days, the grub menu still looks good, I'll promote this
thread from CLOSED to SOLVED.