[gtk+] W32: Fix menu item size and submenu arrow size

[Руслан Ижбулатов <ruslanizhb src gnome org>]

commit 7d367a89521eac27da1a120d3c60708d2be51d5b
Author: Руслан Ижбулатов <lrn1986 gmail com>
Date:   Tue Mar 25 17:47:08 2014 +0000

    W32: Fix menu item size and submenu arrow size
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727037

 gtk/resources/theme/gtk-win32-base.css |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/gtk/resources/theme/gtk-win32-base.css b/gtk/resources/theme/gtk-win32-base.css
index f9b4834..6d7d400 100644
--- a/gtk/resources/theme/gtk-win32-base.css
+++ b/gtk/resources/theme/gtk-win32-base.css
@@ -925,6 +925,17 @@ GtkSwitch.trough:active {
     padding: 3px 5px;
 }
 
+/* Add more padding to menus, increasing visible height of each menuitem */
+.menu * {
+  padding: 2px;
+}
+
+/* Make arrows a bit smaller to fit better into W32 theme
+   FIXME: they still have the wrong style though - angle instead of a filled triangle */
+GtkMenuItem {
+    -GtkMenuItem-arrow-scaling: 0.5;
+}
+
 /* Assistant */
 
 GtkAssistant .sidebar .highlight {