https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
Patrick Reilly changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
--- Comment #5 from Patrick Reilly 2011-11-30 19:31:52
UTC ---
Okay, this fix is now included in r104725.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
You a
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
Sumana Harihareswara changed:
What|Removed |Added
Keywords||need-review, patch
--
Configur
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
--- Comment #4 from Brion Vibber 2011-11-19 00:53:02 UTC
---
(Note that increasing the padding can keep the previous spacing/look.)
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are receiving this m
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
--- Comment #3 from Brion Vibber 2011-11-19 00:49:09 UTC
---
Created attachment 9494
--> https://bugzilla.wikimedia.org/attachment.cgi?id=9494
Screenshot comparing rendering of vs border-bottom on 120, 160, 240dpi
Android emu
borders are r
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
--- Comment #2 from Brion Vibber 2011-11-19 00:47:55 UTC
---
Created attachment 9493
--> https://bugzilla.wikimedia.org/attachment.cgi?id=9493
Sample patch switching from to border-bottom for the dividers
Looks like the current code is put
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
Mark A. Hershberger changed:
What|Removed |Added
Priority|Unprioritized |Normal
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=32302
Brion Vibber changed:
What|Removed |Added
Blocks||32101
--- Comment #1 from Brion Vibber