[gnome-shell] theme: Make menu ornament slightly wider

[Florian Müllner <fmuellner src gnome org>]

commit efde11a0f3d5b66df0079678bd2be1d17e28e12a
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jul 30 17:25:59 2015 +0200

    theme: Make menu ornament slightly wider
    
    The existing width works well enough for a narrow character like the dot,
    but doesn't leave any whitespace for a wider one like the checkmark.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=741366

 data/theme/gnome-shell-high-contrast.css |    2 +-
 data/theme/gnome-shell-sass              |    2 +-
 data/theme/gnome-shell.css               |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 2274303..a5b60cc 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -411,7 +411,7 @@ StScrollBar {
 
 .popup-menu-ornament {
   text-align: right;
-  width: 1em; }
+  width: 1.2em; }
 
 .popup-menu-boxpointer,
 .candidate-popup-boxpointer {
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index f0a0d1d..23e0bc1 160000
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit f0a0d1d3537912f41fef5aaa18b36cbd80b9b64f
+Subproject commit 23e0bc1e71d0cd84d580916638ec5755f2f2d4e1
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 8189d1d..1630fd6 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -411,7 +411,7 @@ StScrollBar {
 
 .popup-menu-ornament {
   text-align: right;
-  width: 1em; }
+  width: 1.2em; }
 
 .popup-menu-boxpointer,
 .candidate-popup-boxpointer {