Menu theme tuning.

src/platform/theme/resources/gtkrc

Index: src/platform/theme/resources/gtkrc
diff --git a/src/platform/theme/resources/gtkrc b/src/platform/theme/resources/gtkrc
index 8fd63e21385681267bba997940409a8939639b3e..96013eab0b57df52b9fa7e2cff633a3c3d430bde 100644
--- a/src/platform/theme/resources/gtkrc
+++ b/src/platform/theme/resources/gtkrc
@@ -71,6 +71,9 @@ style "default" {
   # Give more padding to buttons (default is 1, 1, 1, 1).
   GtkButton::inner-border = { 5, 5, 1, 1 }
 
+  # Turn off extra menu vertical padding
+  GtkMenu::vertical-padding = 0
+
   engine "theme" { }
 }
 
@@ -94,14 +97,6 @@ style "NotebookStyle" = "default" {
   GtkNotebook::tab-curvature = 10
 }
 
-style "WhiteBackgroundStyle" = "default" {
-  bg[NORMAL]        = "#FFF"
-  bg[PRELIGHT]      = "#FFF"
-  bg[SELECTED]      = "#FFF"
-  bg[INSENSITIVE]   = "#FFF"
-  bg[ACTIVE]        = "#FFF"
-}
-
 style "TextStyle" = "default" {
   base[SELECTED]      = "#DCE4FA"
 }
@@ -120,6 +115,14 @@ style "TooltipStyle" = "default" {
   font_name = "DroidSans 8"
 }
 
+style "WhiteBackgroundStyle" = "default" {
+  bg[NORMAL]        = "#FFF"
+  bg[PRELIGHT]      = "#FFF"
+  bg[SELECTED]      = "#FFF"
+  bg[INSENSITIVE]   = "#FFF"
+  bg[ACTIVE]        = "#FFF"
+}
+
 class "*" style "default"
 
 class "GtkNotebook" style "NotebookStyle"