In my case, I had to run sudo grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg as per https://discussion.fedoraproject.org/t/changing-grub-menu-theme-on-fedora-40-workstation/126448
I believe this has to do with how I set up the partitions, not fedora itself. Just posting this issue for the record.