These browsers still require the padding. I don't know why the previous fix did not stick, or if there's a new dependency that wasn't there before, when tried to implement this change the last time. In any case, we cannot make the layout change for this release. Thanks, Florian