From 92228860a9d64a54d7ee7d8de1266d47b05de947 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Wed, 3 Dec 2008 00:20:54 +0000 Subject: [PATCH] Even out padding --- includes/DefaultSettings.php | 2 +- skins/common/shared.css | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) 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; } /* -- 2.20.1