Slight tangent: what is the current favorite tool to inject CSS into web pages in our browser?
Greasemonkey/ Tampermonkey ?
I use Stylus for injecting CSS: https://github.com/openstyles/stylus
From the OP, there's also StyleBot: https://stylebot.dev/