which font is displayed on the fedora website?

[santaliqueur]

on the fedora website, they use a font that i've seen elsewhere, mostly on linux-related sites. can anyone tell me what the name of it is? i've tried googling, and i know the answer is out there somewhere, but i can't seem to find it. thanks much.

*of course now, the fedora website isnt displaying that font when i go there. i'm at school now, maybe the computer i'm on doesnt have that font to use. i'm guessing someone knows the font i'm talking about.

CJ

 

[doornail]

based on the contents of:

http://fedora.redhat.com/css/layout.css

body {
font-size: 0.9em;
font-family: bitstream vera sans,sans-serif;
margin: 0;
padding: 0;
/* (The background color is specified elsewhere, so do a global replacement if it ever changes) */
background-color: #d9d9d9;
}

 

[santaliqueur]

i knew there had to be a file somewhere that had that info, i didnt know where to look. thanks very much.

CJ

 

[doornail]

happy to assist