From 2c13962de9a61a0fad955d72552bd892004517cf Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 7 Oct 2013 10:04:25 +0200
Subject: [PATCH] tweaked the logout area

---
 ui/static/css/topmenu.css        | 16 ++++++++++------
 ui/templates/widget-topmenu.html |  4 ++--
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/ui/static/css/topmenu.css b/ui/static/css/topmenu.css
index f7c78315..792377b8 100644
--- a/ui/static/css/topmenu.css
+++ b/ui/static/css/topmenu.css
@@ -6,10 +6,14 @@ body {
 
 /* center the buttons vertically in the header */
 div.topmenu { padding-top: 7px; }
-ul.logged-in { padding-top: 12px; }
-button#logout { 
-/*    margin-left: 8px;  */
-    margin-bottom: 10px; 
+ul.logged-in { 
+    padding-top: 12px; 
+}
+button.logged-in { 
+    font-size: small; 
+    margin-left: 5px;
+}
+li.username {
+    margin-bottom: 10px;
+    font-size: x-small; 
 }
-ul.logged-in { font-size: x-small; }
-button.logged-in { font-size: small; }
diff --git a/ui/templates/widget-topmenu.html b/ui/templates/widget-topmenu.html
index 156d0a6d..f5308de0 100644
--- a/ui/templates/widget-topmenu.html
+++ b/ui/templates/widget-topmenu.html
@@ -34,9 +34,9 @@
 	{% endfor %}
     </ul> {# logout.js will attach a click function on that button, which then retrieves the 'username' attribute #}
     <ul class="nav navbar-nav pull-right logged-in">
-      <li> {% if username %}
+      <li class='username'> {% if username %}
       Logged in as {{ username }}
-      <button id='logout' class='btn btn-danger logged-in' username='{{ username }}'>Logout</button> {% else %}
+      <button id='logout' class='btn btn-xs btn-danger logged-in' username='{{ username }}'>Logout</button> {% else %}
       Not logged in{% endif %}
       </li>
     </ul>
-- 
2.43.0