[gnome-flashback] Improving the tasklist style

[Antonio Ospite <ao2 ao2 it>]

Hi,

I am trying to improve the style of the tasklist in gnome-panel:
https://bugzilla.gnome.org/show_bug.cgi?id=769012

Does anyone have a preference between the two "After" variants in the
screenshot attached to the bug report? One is without margins around
buttons, and one is with a 1px margin.

Thanks,
   Antonio

-- 
Antonio Ospite
http://ao2.it

A: Because it messes up the order in which people normally read text.
   See http://en.wikipedia.org/wiki/Posting_style
Q: Why is top-posting such a bad thing?