From b8f8467f1246110cf4fe67ce1a2cadef8078a2a3 Mon Sep 17 00:00:00 2001 From: Trevor Parscal Date: Wed, 21 Apr 2010 13:46:06 +0000 Subject: [PATCH] Fixed the font size of pre elements, which was previously too small. --- includes/DefaultSettings.php | 2 +- skins/vector/main-ltr.css | 1 + skins/vector/main-rtl.css | 1 + 3 files changed, 3 insertions(+), 1 deletion(-) 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 { -- 2.20.1