Might make sense. I'll discuss with the theme people. Can you forward this bug upstream?
Thanks -- gnome-panel should allow to set margin/padding for icons on panel https://launchpad.net/bugs/43232 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
