From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Sun, 6 Apr 2008 23:55:45 +0000 (+0000)
Subject: Tone down the user margins
X-Git-Tag: 1.31.0-rc.0~48569
X-Git-Url: http://git.cyclocoop.org/%28?a=commitdiff_plain;h=9722502c601d4be3df0262770cab0ca7043467cc;p=lhc%2Fweb%2Fwiklou.git

Tone down the user margins
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 2e6cebdd2f..f8a9b5c17b 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1343,7 +1343,7 @@ $wgCacheEpoch = '20030516000000';
  * to ensure that client-side caches don't keep obsolete copies of global
  * styles.
  */
-$wgStyleVersion = '131';
+$wgStyleVersion = '132';
 
 
 # Server-side caching:
diff --git a/skins/common/shared.css b/skins/common/shared.css
index fca3743e48..dba01a94c8 100644
--- a/skins/common/shared.css
+++ b/skins/common/shared.css
@@ -113,8 +113,8 @@ table.mw-userrights-groups * td,table.mw-userrights-groups * th {
 /* the auto-generated edit comments */
 .autocomment { color: gray; }
 #pagehistory .history-user {
-    margin-left: 1.4em;
-    margin-right: 0.4em;
+    margin-left: 0.4em;
+    margin-right: 0.2em;
 }
 #pagehistory span.minor { font-weight: bold; }
 #pagehistory li { border: 1px solid white; }