From 4c86414e74eebccaa38f7caefebc44bf5539c92e Mon Sep 17 00:00:00 2001 From: BlaCk_Void Date: Wed, 15 Sep 2021 02:09:22 +0900 Subject: [PATCH] Fix: Menu Padding- Windows7, 8's border size --- userChrome.css | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/userChrome.css b/userChrome.css index 66fe651..1028255 100644 --- a/userChrome.css +++ b/userChrome.css @@ -97,7 +97,7 @@ @media (-moz-os-version: windows-win7), (-moz-os-version: windows-win8) { menupopup > menu, menupopup > menuitem { - border: 1px solid transparent; + border: 1px solid transparent; /* Need reduce 2px at menu */ } menu[_moz-menuactive="true"], menuitem[_moz-menuactive="true"] { @@ -873,6 +873,14 @@ padding-inline-start: 0.5em; } + @media (-moz-os-version: windows-win7), (-moz-os-version: windows-win8) { + menupopup > menuitem, + menupopup > menu { + /* Remove border */ + padding-block: calc(var(--menu-padding) - 2px) !important; + } + } + @supports not -moz-bool-pref("layout.css.osx-font-smoothing.enabled") { :root:not([uidensity="touch"]) .menu-text, :root:not([uidensity="touch"]) .menu-iconic-text {