#
set default=0
set timeout=5

set menu_color_normal='yellow/blue'
set menu_color_highlight='black/cyan'

if [ $grub_platform = 'efi' ]; then
    loadfont /boot/grub/fonts/DejaVuSansMono18.pf2
    set gfxmode=auto
    terminal_output gfxterm
fi

