--- # handlers file for grub_themes