[gnome-shell] style: Update high-contrast theme

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

commit ad7cde805d15f94539437347a4ed3c2ccccf33c2
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Sep 4 18:50:17 2015 +0200

    style: Update high-contrast theme
    
    This was missed in fa0e54edbb58 ...

 data/theme/gnome-shell-high-contrast.css |    9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 87b542d..e9c8e6e 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -808,9 +808,12 @@ StScrollBar {
   padding: 8px;
   font-size: .9em; }
 
-.system-switch-user-submenu-icon {
-  icon-size: 24px;
-  border: 1px solid rgba(255, 255, 255, 0.4); }
+.system-switch-user-submenu-icon.user-icon {
+  icon-size: 20px;
+  padding: 0 2px; }
+.system-switch-user-submenu-icon.default-icon {
+  icon-size: 16px;
+  padding: 0 4px; }
 
 #appMenu {
   spinner-image: url("resource:///org/gnome/shell/theme/process-working.svg");