# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1517294849 -3600
# Node ID c744170fd5977acad8e1b3c8d39d55eca6e0a1f1
# Parent  5992b774a6a4912fcf9c9e16d83086e195a64479
css: minor change in menu margin

diff -r 5992b774a6a4 -r c744170fd597 default/static/styles.css
--- a/default/static/styles.css	Tue Jan 30 07:47:26 2018 +0100
+++ b/default/static/styles.css	Tue Jan 30 07:47:29 2018 +0100
@@ -115,7 +115,7 @@
 .main_menu li {
     flex: 1;
     padding: 0;
-    margin: 0 1em;
+    margin: 0 0.5em;
 }
 
 .main_menu a {