4 if loadfont /boot/grub/ascii.pf2 ; then
9 terminal_output gfxterm
12 if [ -f /boot/grub/grml-theme/theme.txt ] ; then
13 set theme=/boot/grub/grml-theme/theme.txt
16 set menu_color_normal=white/black
17 set menu_color_highlight=black/yellow
18 export menu_color_normal
19 export menu_color_highlight
22 if [ ${iso_path} ] ; then
23 set loopback="findiso=${iso_path}"