From 208404a2dc21c6f9c083820df5117fa02fdef7ba Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 2 Sep 2013 18:20:44 +0200
Subject: [PATCH] try to gain some vertical space in topmenu : show 'logged in
 as' in x-small

---
 views/css/topmenu.css               | 1 +
 views/templates/widget-topmenu.html | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/views/css/topmenu.css b/views/css/topmenu.css
index 0b9f14f6..325b9657 100644
--- a/views/css/topmenu.css
+++ b/views/css/topmenu.css
@@ -9,3 +9,4 @@ button#logout {
     margin-left: 8px; 
     margin-bottom: 10px; 
 }
+span.logged-in { font-size: x-small; }
diff --git a/views/templates/widget-topmenu.html b/views/templates/widget-topmenu.html
index eabd6f88..1b14c8a0 100644
--- a/views/templates/widget-topmenu.html
+++ b/views/templates/widget-topmenu.html
@@ -13,7 +13,7 @@
 	  <li class='active'> <a href="{{ d.href }}"> {{ d.label }} </a> </li> {% else %}
 	  <li class='other'> <a href="{{ d.href }}"> {{ d.label }} </a> </li> {% endif %} {% endfor %}
 	</ul> {# logout.js will attach a click function on that button, which then retrieves the 'username' attribute #}
-	<span class="navbar-text pull-right"> {% if username %} Logged in as {{ username }}
+	<span class="navbar-text pull-right logged-in"> {% if username %} Logged in as {{ username }}
 	<button id='logout' class='btn btn-danger' username='{{ username }}'>Logout</a> {% else %}Not logged in{% endif %}</span>
       </div><!--nav-collapse-->
     </div><!--container-fluid-->
-- 
2.43.0