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