Here's a tutorial showing how to edit themes in Gnome 40+, including gtk repo cloning, 3-24 legacy branch, source CSS files, parsing new gtk.css content, manual theme setup, and more. Complicated but fun. Maybe. https://www.dedoimedo.com/computers/gnome-40-edit-theme.html Cheers, Mrk
