From 87f9c798075bc2262909620bac88e4e73d998e54 Mon Sep 17 00:00:00 2001 From: Trevor Parscal Date: Wed, 14 Jul 2010 18:31:29 +0000 Subject: [PATCH] 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. --- includes/DefaultSettings.php | 2 +- skins/vector/main-ltr.css | 2 +- skins/vector/main-rtl.css | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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; -- 2.20.1