The new theming code doesn't use the same border size for button and input[type="button"].
Created attachment 391740 [details] Patch
Committed r257626: <https://trac.webkit.org/changeset/257626>
*** Bug 188972 has been marked as a duplicate of this bug. ***