if [ -f /boot/grub/grml-theme/theme.txt ] ; then
set theme=/boot/grub/grml-theme/theme.txt
-elif background_image /boot/grub/grml.png ; then
- set color_normal=white/black
- set color_highlight=red/black
- set menu_color_normal=white/black
- set menu_color_highlight=black/yellow
else
set menu_color_normal=white/black
set menu_color_highlight=black/yellow