It's also much easier to use my theme nowadays! See [Announce] @node-red-contrib-themes/solarized-dark-grey.