From: Trevor Parscal <tparscal@users.mediawiki.org>
Date: Wed, 21 Apr 2010 13:46:06 +0000 (+0000)
Subject: Fixed the font size of pre elements, which was previously too small.
X-Git-Tag: 1.31.0-rc.0~37048
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/cotisations/rappels.php?a=commitdiff_plain;h=b8f8467f1246110cf4fe67ce1a2cadef8078a2a3;p=lhc%2Fweb%2Fwiklou.git

Fixed the font size of pre elements, which was previously too small.
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index d862cabc2b..520dcd36a5 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 = '271';
+$wgStyleVersion = '272';
 
 
 # Server-side caching:
diff --git a/skins/vector/main-ltr.css b/skins/vector/main-ltr.css
index 1d8a5b6767..373413a4e2 100644
--- a/skins/vector/main-ltr.css
+++ b/skins/vector/main-ltr.css
@@ -715,6 +715,7 @@ 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 b291ff900d..7c5aee2811 100644
--- a/skins/vector/main-rtl.css
+++ b/skins/vector/main-rtl.css
@@ -715,6 +715,7 @@ pre {
 	border: 1px dashed #2f6fab;
 	color: black;
 	background-color: #f9f9f9;
+	font-size: 1.25em;
 	line-height: 1.1em;
 }
 ul {