15.1.42 theme ------------- This variable may be set to a directory containing a GRUB graphical menu theme. ⇒Theme file format. This variable is often set by 'GRUB_THEME' (⇒Simple configuration).