Playing With Typekit
TypeKit is a system available to web designers, developers, and enthusiasts that allows them to use rich, unique web fonts in their projects. The fonts you're seeing here are added using TypeKit.
The Second Typeface
Both of these fonts are TypeKit fonts. You can tell TypeKit what CSS rules you wish to utilize TypeKit fonts, or you can add a special class to individual items on an ad hoc basis.