Changes on "Making application's icon smaller on GNOME Shell's top panel"