I just went through all the themes in the theme garden (there are currently 1251, hohohoho) to see if there were any others I’d consider changing to, even if only temporarily to wait and see if the nothingbuttherain ones eventually got fixed, but nope, none of them fit my criteria and I’m probably going to just stick with the broken one for awhile and mope

But really, how hard is it to make a good theme?