From 2ac78c2e03cc519029fa91ae00df3428a5f84605 Mon Sep 17 00:00:00 2001 From: zadam Date: Sun, 31 Jan 2021 20:36:30 +0100 Subject: [PATCH] global menu does not need "menu" title --- src/public/app/widgets/global_menu.js | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/src/public/app/widgets/global_menu.js b/src/public/app/widgets/global_menu.js index 3fc0dbfbe..bcae6e673 100644 --- a/src/public/app/widgets/global_menu.js +++ b/src/public/app/widgets/global_menu.js @@ -17,9 +17,17 @@ const TPL = ` } .global-menu button { - margin-right: 10px; + margin-right: 5px; + margin-left: 5px; height: 34px; border: none; + font-size: 130%; + padding-left: 10px; + padding-right: 10px; + } + + .global-menu button:hover { + background-color: var(--hover-item-background-color); } .global-menu .dropdown-menu { @@ -28,10 +36,8 @@ const TPL = `