Code review comment for lp:~roryj/wingpanel/fix-menu-margins

Hey you're right! It does seem to be fixed.

I'd like to get feedback from someone on gtk 3.12 before merging, but to my eye it looks like reducing the top and bottom margins would make it look a little more like regular menus. Something like:
            entry.menu.margin_top = 18;
            entry.menu.margin_bottom = 8;