Grub: menu character sizes

[Hugo Vanwoerkom <hvw59601@care2.com>]

Hi,

Grub's menu uses 80x25 character sizes on its menu.

I would like to change that to something smaller.

Trying 'terminal --lines=50' does nothing.

Anybody gotten grub to put smaller characters on its menu?

Hugo