Merge pull request #1012 from zed-industries/clean-up-themes

Clean up themes
56553c3f90Nate Butler committed on 5/18/2022, 3:52:39 PM· committed by GitHubparents610812e50e3745
7 files changedLine totals unavailable