font on gnome.org

[zeek <ezekiel das gmail com>]

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