From 92d5be348a49c6def2b39d8003c0b7a33de0d626 Mon Sep 17 00:00:00 2001 From: Vince Date: Wed, 28 Oct 2020 12:18:22 +0800 Subject: [PATCH] update --- src/main/gtk-3.0/gtk-dark-solid.css | 6 +++++- src/main/gtk-3.0/gtk-dark.css | 6 +++++- src/main/gtk-3.0/gtk-light-solid.css | 6 +++++- src/main/gtk-3.0/gtk-light.css | 6 +++++- src/sass/gtk/_applications.scss | 5 ++++- 5 files changed, 24 insertions(+), 5 deletions(-) diff --git a/src/main/gtk-3.0/gtk-dark-solid.css b/src/main/gtk-3.0/gtk-dark-solid.css index ea2deab8..92d18edf 100644 --- a/src/main/gtk-3.0/gtk-dark-solid.css +++ b/src/main/gtk-3.0/gtk-dark-solid.css @@ -7345,7 +7345,7 @@ window.background:not(.csd) > window > menu menuitem { #MozillaGtkWidget > window.background > menu { border: none; background-color: #333333; - border-radius: 0; + border-radius: 2px; } #MozillaGtkWidget > window.background > menu > separator { @@ -7380,6 +7380,10 @@ window.background:not(.csd) > window > menu menuitem { color: #aaaaaa; } +#MozillaGtkWidget menu { + border: none; +} + /*************** * Chrome(ium) * ***************/ diff --git a/src/main/gtk-3.0/gtk-dark.css b/src/main/gtk-3.0/gtk-dark.css index f88cdc82..392c3876 100644 --- a/src/main/gtk-3.0/gtk-dark.css +++ b/src/main/gtk-3.0/gtk-dark.css @@ -7341,7 +7341,7 @@ window.background:not(.csd) > window > menu menuitem { #MozillaGtkWidget > window.background > menu { border: none; background-color: rgba(51, 51, 51, 0.95); - border-radius: 0; + border-radius: 2px; } #MozillaGtkWidget > window.background > menu > separator { @@ -7376,6 +7376,10 @@ window.background:not(.csd) > window > menu menuitem { color: #aaaaaa; } +#MozillaGtkWidget menu { + border: none; +} + /*************** * Chrome(ium) * ***************/ diff --git a/src/main/gtk-3.0/gtk-light-solid.css b/src/main/gtk-3.0/gtk-light-solid.css index 6d2003a3..53d7860f 100644 --- a/src/main/gtk-3.0/gtk-light-solid.css +++ b/src/main/gtk-3.0/gtk-light-solid.css @@ -7371,7 +7371,7 @@ window.background:not(.csd) > window > menu menuitem { #MozillaGtkWidget > window.background > menu { border: none; background-color: #ffffff; - border-radius: 0; + border-radius: 2px; } #MozillaGtkWidget > window.background > menu > separator { @@ -7406,6 +7406,10 @@ window.background:not(.csd) > window > menu menuitem { color: #363636; } +#MozillaGtkWidget menu { + border: none; +} + /*************** * Chrome(ium) * ***************/ diff --git a/src/main/gtk-3.0/gtk-light.css b/src/main/gtk-3.0/gtk-light.css index 101b7a3f..f76e53af 100644 --- a/src/main/gtk-3.0/gtk-light.css +++ b/src/main/gtk-3.0/gtk-light.css @@ -7367,7 +7367,7 @@ window.background:not(.csd) > window > menu menuitem { #MozillaGtkWidget > window.background > menu { border: none; background-color: rgba(255, 255, 255, 0.95); - border-radius: 0; + border-radius: 2px; } #MozillaGtkWidget > window.background > menu > separator { @@ -7402,6 +7402,10 @@ window.background:not(.csd) > window > menu menuitem { color: #363636; } +#MozillaGtkWidget menu { + border: none; +} + /*************** * Chrome(ium) * ***************/ diff --git a/src/sass/gtk/_applications.scss b/src/sass/gtk/_applications.scss index 54d50521..e776f9fa 100644 --- a/src/sass/gtk/_applications.scss +++ b/src/sass/gtk/_applications.scss @@ -2931,7 +2931,7 @@ window.background:not(.csd) { > window.background > menu { // context-menus border: none; // hide ugly double borders background-color: $menu_bg; - border-radius: 0; + border-radius: 2px; // revert to standard separators > separator { @@ -2972,6 +2972,9 @@ window.background:not(.csd) { } } } + + // remove ugly border around the menus + menu { border: none; } } /***************