From: Trevor Parscal <tparscal@users.mediawiki.org>
Date: Wed, 21 Apr 2010 14:19:06 +0000 (+0000)
Subject: Actually fix bug #20706 - Next time I will read more carefully and test more thouroug... 
X-Git-Tag: 1.31.0-rc.0~37042
X-Git-Url: http://git.cyclocoop.org//%27%40script%40/%27?a=commitdiff_plain;h=819ffd2be340513bfe40be368fe4699af639977b;p=lhc%2Fweb%2Fwiklou.git

Actually fix bug #20706 - Next time I will read more carefully and test more thouroughly...
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 8429c8155e..5f20dea095 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1682,7 +1682,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '273';
+$wgStyleVersion = '274';
 
 
 # Server-side caching:
diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index 373413a4e2..5371a46124 100644
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -707,6 +707,9 @@ blockquote {
 	font-family: Times, "Times New Roman", serif;
 	font-style: italic;
 }*/
+pre, code, tt {
+	font-family: monospace, sans-serif;
+}
 code {
 	background-color: #f9f9f9;
 }
@@ -715,7 +718,6 @@ pre {
 	border: 1px dashed #2f6fab;
 	color: black;
 	background-color: #f9f9f9;
-	font-size: 1.25em;
 	line-height: 1.1em;
 }
 ul {
diff --git a/skins/vector/main-rtl.css b/skins/vector/main-rtl.css
index 7c5aee2811..856ec6bb00 100644
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -707,6 +707,9 @@ blockquote {
 	font-family: Times, "Times New Roman", serif;
 	font-style: italic;
 }*/
+pre, code, tt {
+	font-family: monospace, sans-serif;
+}
 code {
 	background-color: #f9f9f9;
 }
@@ -715,7 +718,6 @@ pre {
 	border: 1px dashed #2f6fab;
 	color: black;
 	background-color: #f9f9f9;
-	font-size: 1.25em;
 	line-height: 1.1em;
 }
 ul {