[Bug 72354] Code tag margins too big, overlapping borders

https://bugzilla.wikimedia.org/show_bug.cgi?id=72354 Alex Monk changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Bug 72354] Code tag margins too big, overlapping borders

https://bugzilla.wikimedia.org/show_bug.cgi?id=72354 Svick changed: What|Removed |Added Mobile Platform|--- |Android 4.1.x -- You are receiving this mail

[Bug 72354] Code tag margins too big, overlapping borders

https://bugzilla.wikimedia.org/show_bug.cgi?id=72354 --- Comment #1 from Svick --- BTW, the screenshot is from [[Blackboard_bold#Encoding]]. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug.