use font pt size; leave font config to gnome