From 76cc40973dc28178de776d639facd388934f9b5e Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Thu, 19 Sep 2019 12:51:40 +0200
Subject: [PATCH] Fix icon size

---
 htdocs/theme/md/main_menu_fa_icons.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/theme/md/main_menu_fa_icons.inc.php b/htdocs/theme/md/main_menu_fa_icons.inc.php
index 681c90c75ae..4386d607050 100644
--- a/htdocs/theme/md/main_menu_fa_icons.inc.php
+++ b/htdocs/theme/md/main_menu_fa_icons.inc.php
@@ -9,7 +9,7 @@
     font-variant: normal;
     text-rendering: auto;
     line-height: 26px;
-	font-size: <?php echo $topMenuFontSize; ?>;
+	font-size: 1.5em;
     -webkit-font-smoothing: antialiased;
     text-align:center;
 	text-decoration:none;