From 775490b080e0cf5db9a0923eecc9b805c092879d Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 08 2013 21:17:26 +0000
Subject: Update wiki theme.


 - Make userlinks 10px of padding all around. As it was previously.
   Using 5px on top makes to loose the visual relation that exists
   between userlinks and logo image, horizontally.

---

diff --git a/Identity/Webenv/Themes/Default/Moin/1.5.9/Modern/css/screen.css b/Identity/Webenv/Themes/Default/Moin/1.5.9/Modern/css/screen.css
index a6b7b91..01799ba 100644
--- a/Identity/Webenv/Themes/Default/Moin/1.5.9/Modern/css/screen.css
+++ b/Identity/Webenv/Themes/Default/Moin/1.5.9/Modern/css/screen.css
@@ -1296,7 +1296,7 @@ div#header div.tabs span:hover a span {
 #pagetrail a:visited:hover { text-decoration: underline; color: #FFF; }
 
 #userlinks {
-    padding: 5px 10px;
+    padding: 10px;
     }
 
 .pageline {