By flipping '"Courier New", monospace' to 'monospace, "Courier New"', we can get...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c7af4b9..606151c 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 = '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 80876b6..61893a4 100644 (file)
--- 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 7b63d47..082eae1 100644 (file)
--- 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;