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.47.0