[geany/geany-osx] 828671: Reduce top/bottom paddings of menus - Commits

8 Jan 2022


      Branch:      refs/heads/master
Author:      Jiří Techet techet@gmail.com
Committer:   Jiří Techet techet@gmail.com
Date:        Sat, 08 Jan 2022 17:33:07 UTC
Commit:      82867195a4f55a3a84239bb813bd1c8555308d67
             https://github.com/geany/geany-osx/commit/82867195a4f55a3a84239bb813bd1c8555...
Log Message:
-----------
Reduce top/bottom paddings of menus
Modified Paths:
--------------
    Prof-Gnome/gtk-3.0/main-dark.css
    Prof-Gnome/gtk-3.0/main-light.css
Modified: Prof-Gnome/gtk-3.0/main-dark.css
4 lines changed, 2 insertions(+), 2 deletions(-)
===================================================================
@@ -2817,7 +2817,7 @@ menu,
      border-color: @borders_dark;
     border-radius: 4.66px;
            margin: 4px;
-          padding: 6px 0; 
+          padding: 4px 0; 
   background-color:@menu_bg_color;
 } 
 .csd menu, 
@@ -2828,7 +2828,7 @@ menu,
      border-color: @borders_dark;
     border-radius: 4.66px;
            margin: 4px;
-          padding: 6px 0; 
+          padding: 4px 0; 
   background-color: alpha(@menu_bg_color,0.985);
 } 
 menubar > menuitem menu,
Modified: Prof-Gnome/gtk-3.0/main-light.css
2 lines changed, 1 insertions(+), 1 deletions(-)
===================================================================
@@ -2810,7 +2810,7 @@ menu,
 { 
      border-radius: 4.66px;
             margin: 4px;
-           padding: 6px 0; 
+           padding: 4px 0; 
   background-color:@menu_bg_color;
--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).

    