5 if loadfont /boot/grub/ascii.pf2 ; then
10 terminal_output gfxterm
13 if [ -f /boot/grub/grml-theme/theme.txt ] ; then
14 set theme=/boot/grub/grml-theme/theme.txt
15 elif background_image /boot/grub/grml.png ; then
16 set color_normal=white/black
17 set color_highlight=red/black
18 set menu_color_normal=white/black
19 set menu_color_highlight=black/yellow
21 set menu_color_normal=white/black
22 set menu_color_highlight=black/yellow
25 if [ ${iso_path} ] ; then
26 set loopback="findiso=${iso_path}"
30 for config in /boot/grub/*_default.cfg ; do source "$config" ; done
31 for config in /boot/grub/*_options.cfg ; do source "$config" ; done
32 source /boot/grub/addons.cfg
34 source /boot/grub/footer.cfg