60ef90b355
Eventually I want to simplify a lot of how the theming code deals with overriding border / padding, and this helps with that. Since bug 1765076 this isn't used anywhere, so I think simplifying this is the right trade-off. Thunderbird also doesn't use it. Differential Revision: https://phabricator.services.mozilla.com/D250314