fix a firefox workaround

2026-03-02 03:40:11 +00:00 · 2016-05-16 22:28:36 +02:00
parent d62246cdc8
commit c5ed48f5af
7 changed files with 27 additions and 26 deletions
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -1540,11 +1540,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #383C4A; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #383C4A; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/gtk-darker.css
+++ b/common/gtk-3.0/3.20/gtk-darker.css
@@ -1539,11 +1539,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #ffffff; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #ffffff; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.20/gtk-solid-dark.css
@@ -1540,11 +1540,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #383C4A; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #383C4A; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.20/gtk-solid-darker.css
@@ -1539,11 +1539,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #ffffff; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #ffffff; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/gtk-solid.css
+++ b/common/gtk-3.0/3.20/gtk-solid.css
@@ -1543,11 +1543,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #ffffff; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #ffffff; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/gtk.css
+++ b/common/gtk-3.0/3.20/gtk.css
@@ -1543,11 +1543,11 @@ menu,
  .menu separator {
    margin: 2px 0;
    background-color: #ffffff; }
-  menu .separator,
-  .csd menu .separator,
-  .menu .separator,
+  menu .separator:not(label),
+  .csd menu .separator:not(label),
+  .menu .separator:not(label),
  .csd
-  .menu .separator {
+  .menu .separator:not(label) {
    color: #ffffff; }
  menu menuitem,
  .menu menuitem {
--- a/common/gtk-3.0/3.20/sass/_common.scss
+++ b/common/gtk-3.0/3.20/sass/_common.scss
@@ -1616,8 +1616,9 @@ menu,
  }

  // Firefox workaround
-  .separator,
-  .csd & .separator { color: $_menu_bg; }
+  .separator:not(label),
+  .csd & .separator:not(label) { color: $_menu_bg; }
+  // Firefox workaround end

  menuitem {
    min-height: 16px;