On 12/20/18 5:39 PM, home user via users wrote:
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.
In LibreOffice, the size is in points. In grub, it's nominally pixels.
The request to freetype is for that pixel size, but freetype does not
guarantee that the result will be exactly bound by that.