GTK+ themes generally have text control border widths between 1 and 3 pixels. The html.css border widths (2 pixels for text input controls and 1 pixel for text area controls) seem to produce rendering results that are fine for every theme I've tested. Removing this variation between GTK+ themes will: 1. Remove some code. 2. Ensure consistent DRT results between GTK 2.x and GTK 3.x. 3. Protect the DRT results from future theme changes. The current default GTK 2.x theme has a border width of 2 pixels, so this change should only require updating results that have text areas.
Created attachment 77925 [details] Patch
Comment on attachment 77925 [details] Patch OK, let's do this.
Comment on attachment 77925 [details] Patch I was saying...
Comment on attachment 77925 [details] Patch Clearing flags on attachment: 77925 Committed r75016: <http://trac.webkit.org/changeset/75016>
All reviewed patches have been landed. Closing bug.