live CD grub theme vs installed grub theme