From d5b55d1bddedce768902b94a4aecd05411aba65d Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 08 2013 19:13:45 +0000
Subject: Update wiki theme.


 - Fix userlinks position on top. Make it 5px top and bottom; and 10px
   left and right.

---

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 01799ba..a6b7b91 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: 10px;
+    padding: 5px 10px;
     }
 
 .pageline {