d4541a6f81
The current size of the text is way bigger than what we want now. The default front size is what we are looking after, therefore no explicit value is needed to specify the font size. https://bugzilla.gnome.org/show_bug.cgi?id=749957