From: Trevor Parscal <tparscal@users.mediawiki.org>
Date: Wed, 14 Jul 2010 18:31:29 +0000 (+0000)
Subject: By flipping '"Courier New", monospace' to 'monospace, "Courier New"', we can get... 
X-Git-Tag: 1.31.0-rc.0~36147
X-Git-Url: http://git.cyclocoop.org/data/Luca_Pacioli_%28Gemaelde%29.jpeg?a=commitdiff_plain;h=87f9c798075bc2262909620bac88e4e73d998e54;p=lhc%2Fweb%2Fwiklou.git

By flipping '"Courier New", monospace' to 'monospace, "Courier New"', we can get the beneifts of allowing the user's monospace font override to still be used. Improves on r69335 which is itself an improvement on r65391.
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c7af4b9883..606151c2c0 100644
--- 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 = '296';
+$wgStyleVersion = '297';
 
 /**
  * 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 80876b6eb8..61893a42b7 100644
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -725,7 +725,7 @@ pre, code, tt {
 	 * 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;
+	font-family: monospace, "Courier New";
 }
 code {
 	background-color: #f9f9f9;
diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 7b63d4793f..082eae1f08 100644
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -725,7 +725,7 @@ pre, code, tt {
 	 * 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;
+	font-family: monospace, "Courier New";
 }
 code {
 	background-color: #f9f9f9;