r108142 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r108141‎ | r108142 | r108143 >
Date:15:06, 5 January 2012
Author:hashar
Status:ok
Tags:
Comment:
explanations by Erwin Dokter on bug 33496
Modified paths:
  • /trunk/phase3/docs/uidesign/monospace.html (modified) (history)

Diff [purge]

Index: trunk/phase3/docs/uidesign/monospace.html
@@ -9,12 +9,32 @@
1010 margin: 1em 10%;
1111 padding: 0.5em;
1212 }
 13+ blockquote {
 14+ font-style: italic;
 15+ }
1316 </style>
1417 </head>
1518 <body>
1619 <p>
1720 This page let you test the rendering font-family declaration for monospaced fonts. TODO: add some references here :-)
1821 </p>
 22+<p>
 23+Erwin Dokter had the following explanation on <a href="https://bugzilla.wikimedia.org/33496">Bugzilla #33496</a>:
 24+</p>
 25+<blockquote>
 26+By default, a (Windows) browser has it's default font-sizes set at 16px for
 27+serif and sans-serif, and 13px for monospace. Except in IE, where you cannot
 28+set any font-sizes... it uses 16px for all fonts.
 29+<br/>
 30+Vector has a base font-size of 0.8em, and most browsers *correctly* scale down
 31+all fonts, including the monospace font, accordingly. So monospace is shown at
 32+0.8 x 13px = 10px (which is perceived as 'too small'). But when you assign any
 33+font besides just "monospace", those browsers will no longer treat it as
 34+monospace and use 0.8 x 16px = 13px instead.
 35+</blockquote>
 36+<p>
 37+Below are various rendering:
 38+</p>
1939
2040 <pre style='
2141 font-family: monospace;'>

Past revisions this follows-up on

RevisionCommit summaryAuthorDate
r108112Fix Bug 33496 - Misleading comment regarding preformatted font in commonEleme...mah02:24, 5 January 2012

Status & tagging log