font on gnome.org

Greetings --First off, the site looks excellent.

I'm curious as to how you're setting this font on the site.

I looked at the .css files referenced in the front page but the only 
font reference I could find was this:

.news_list .news .date {
     font-family: 'Droid Serif', 'DejaVu Serif', Cambria, Georgia, serif;
     color: #888a85;
}



It's been awhile since I've done any sort of web 
development/design/analysis of pages. Could someone help me understand 
this?


Thank you,
--zeek