From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Wed, 3 Dec 2008 00:20:54 +0000 (+0000)
Subject: Even out padding
X-Git-Tag: 1.31.0-rc.0~44148
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/password.php?a=commitdiff_plain;h=92228860a9d64a54d7ee7d8de1266d47b05de947;p=lhc%2Fweb%2Fwiklou.git

Even out padding
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 6f48361595..237a2e6d5e 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1436,7 +1436,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '186';
+$wgStyleVersion = '187';
 
 
 # Server-side caching:
diff --git a/skins/common/shared.css b/skins/common/shared.css
index 8dad1e1a25..58b28ceda4 100644
--- a/skins/common/shared.css
+++ b/skins/common/shared.css
@@ -152,10 +152,10 @@ div.searchdidyoumean {
 
 div.searchresults {
 	border:1px solid darkblue;
-	padding-top: 5px;
-	padding-bottom: 5px;
-	padding-left: 15px;
-	padding-right: 15px;
+	padding-top: 10px;
+	padding-bottom: 10px;
+	padding-left: 10px;
+	padding-right: 10px;
 }
 
 /*