grub: update tip font size