I had the same question once. I did a search for all header files in SDK and found about 8-12 different fonts. I dont have the list here so just do the same ;-)
BTW. some of the fonts didnt work out but made a panic.
have you taken a look at the example "Editor" in SDK v0.9? There you can select font from 14 fonts.