font size set by gnome-settings-daemon