Yes, you can use themes from Gnome-Look. I am using a grub theme that I made rather than downloaded. Good eyes on you - that line in the grub file points to the theme.
After making any changes to the grub file, be sure to run sudo update-grub after saving the file.
I am notorious for forgetting to do that...
1 Like