in questo screenshot

http://art.gnome.org/screenshots/19.php


secondo voi che font è quello utilizzato per le icone del desktop?