Lucida Grande as "system font" of Gnome