[gnome-themes-standard] menuitem: set the right border width for menuitem separators

[Cosimo Cecchi <cosimoc src gnome org>]

commit ced61f1c528254baa6c49cf6af77bc765ba40a09
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Jun 11 21:37:39 2011 -0400

    menuitem: set the right border width for menuitem separators

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index d619ea3..3b467fc 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -627,6 +627,8 @@ GtkTreeMenu .menuitem * {
 
 .menuitem.separator {
     border-color: @inactive_frame_color;
+    border-style: solid;
+    border-width: 1;
 
     -GtkSeparatorMenuItem-horizontal-padding: 0;
     -GtkWidget-separator-height: 1;