From e435381d6bb4c43f29d13f79926c06a49560a58d Mon Sep 17 00:00:00 2001
From: cdujeu <charles@ajaxplorer.info>
Date: Fri, 16 Oct 2015 11:09:37 +0200
Subject: [PATCH] Fix long workspace names

---
 core/src/plugins/access.ajxp_home/home.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/core/src/plugins/access.ajxp_home/home.css b/core/src/plugins/access.ajxp_home/home.css
index 00c43b4e6c..01ba516cf1 100644
--- a/core/src/plugins/access.ajxp_home/home.css
+++ b/core/src/plugins/access.ajxp_home/home.css
@@ -19,7 +19,7 @@
 }
 
 #workspaces_list span.letter_badge {
-    margin: 9px 13px 2px 50px;
+    margin: 12px 13px 16px 50px;
 }
 
 #home_left_bar{
@@ -99,6 +99,7 @@
     font-size: 19px;
     letter-spacing: 1px;
     margin: 0;
+    line-height: 21px;
 }
 
 #workspaces_list h4{
@@ -114,7 +115,7 @@
 
 #workspaces_list li {
     cursor: pointer;
-    padding: 5px 9px;
+    padding: 1px 9px 5px;
     clear: left;
     font-weight: normal;
 }