Le 26/10/13 20:00, Siebrand Mazeland (WMF) a écrit :
One instance remains in the header "monospace hack, could probably be changed to "monospace, monospace"". Can you please elaborate?
Have a look at docs/uidesign/monospace.html which exposes the monospace issue.
If you add another font after monospace, the browsers would no more consider it a monospace font and use the default font size for serif/sans-serif font, thus the monospace text ends up having a size consistent with the rest of the document.
font-family: monospace, DOESNOTEXISTREALLY;
That does the trick.
I have created the HTML doc following up a discussion with Erwin Dokter on bug 33496: https://bugzilla.wikimedia.org/show_bug.cgi?id=33496