961fdd861f
- specify an overall font-family for all children of the stage and for places where we just want to use a size, use font-size. - also shrink the humongous 16px panel and menu size to a reasonable 14. - scale up the icons to be 16px by default again Based on a patch by Jakub Steiner <jimmac@gmail.com> https://bugzilla.gnome.org/show_bug.cgi?id=634226
