From 1e75b6c2a99a775192d1af3de317d05d8d8896fa Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 21 Dec 2012 15:57:00 +0100
Subject: [PATCH] nicer

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

diff --git a/static/css/topmenu.css b/static/css/topmenu.css
index 5e98493e..79163862 100644
--- a/static/css/topmenu.css
+++ b/static/css/topmenu.css
@@ -5,5 +5,5 @@ body {
 }
 
 div.topmenu {
-    padding-top: 7px;
+    padding-top: 10px;
 }
-- 
2.43.0