modified:   _posts/2013-11-19-making-applications-icon-smaller-on-gnome-shells-top-panel.md