Improves on the technique used in r65391 to fix the font-size issues in Firefox,...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c66fa49..c7af4b9 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1547,7 +1547,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '295';
+$wgStyleVersion = '296';
 
 /**
  * This will cache static pages for non-logged-in users to reduce

diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index fdb899e..80876b6 100644 (file)
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -721,7 +721,11 @@ blockquote {
        font-style: italic;
 }*/
 pre, code, tt {
-       font-family: monospace, sans-serif;
+       /*
+        * It's important for this rule to first reference an actual font name, some browsers will render the monospace text
+        * too small otherwise, namely Firefox, Chrome and Safari
+        */
+       font-family: "Courier New", monospace;
 }
 code {
        background-color: #f9f9f9;

diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 3f4904b..7b63d47 100644 (file)
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -721,7 +721,11 @@ blockquote {
        font-style: italic;
 }*/
 pre, code, tt {
-       font-family: monospace, sans-serif;
+       /*
+        * It's important for this rule to first reference an actual font name, some browsers will render the monospace text
+        * too small otherwise, namely Firefox, Chrome and Safari
+        */
+       font-family: "Courier New", monospace;
 }
 code {
        background-color: #f9f9f9;