https://bugzilla.wikimedia.org/show_bug.cgi?id=33496

--- Comment #3 from Erwin Dokter <[email protected]> 2012-01-05 12:52:32 UTC ---
You're welcome!

I actually gained some insight behind this 'bug' after viewing the test page.
It's actually not a bug, but a result of the combination of a website's default
font size and the browsers default font size for monospace.

By default, a (Windows) browser has it's default font-sizes set at 16px for
serif and sans-serif, and 13px for monospace. Except in IE, where you cannot
set any font-sizes... it uses 16px for all fonts.

Vector has a base font-size of 0.8em, and most browsers *correctly* scale down
all fonts, including the monospace font, accordingly. So monospace is shown at
0.8 x 13px = 10px (which is perceived as 'too small'). But when you assign any
font besides just "monospace", those browsers will no longer treat it as
monospace and use 0.8 x 16px = 13px instead.

Another mystery solved.

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to