[gnome-themes-standard] menuitem: use the insensitive color for menu separators

[Cosimo Cecchi <cosimoc src gnome org>]

commit 6515ee93a784c952f3cb94639064060650e17a9d
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Mon Jun 13 11:50:43 2011 -0400

    menuitem: use the insensitive color for menu separators

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index 924feec..f40c091 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -629,7 +629,7 @@ GtkTreeMenu .menuitem * {
 }
 
 .menuitem.separator {
-    border-color: @inactive_frame_color;
+    border-color: mix (@menu_fg_color, @menu_bg_color, 0.8);
     border-style: solid;
     border-width: 1;