From e24065a797fd6507079dc409b139a3adc947fcf2 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Nov 2013 12:35:06 +0100
Subject: [PATCH] cosmetic

---
 ui/static/css/topmenu.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ui/static/css/topmenu.css b/ui/static/css/topmenu.css
index 792377b8..70acc0e7 100644
--- a/ui/static/css/topmenu.css
+++ b/ui/static/css/topmenu.css
@@ -1,13 +1,12 @@
 /* this is to get the content below the navbar */
 body {
     padding-top: 60px;
-    padding-bottom: 20px;
 }
 
 /* center the buttons vertically in the header */
 div.topmenu { padding-top: 7px; }
 ul.logged-in { 
-    padding-top: 12px; 
+    padding-top: 14px; 
 }
 button.logged-in { 
     font-size: small; 
-- 
2.43.0