-
Cosimo Cecchi authored
This should not really be done here, but we can't override font size from the theme just yet. https://bugzilla.gnome.org/show_bug.cgi?id=645458
6c3c26d9
This should not really be done here, but we can't override font size from the theme just yet. https://bugzilla.gnome.org/show_bug.cgi?id=645458