Padding 10 in gnome-panel