|
They are custom fonts, not Android system fonts.
I may be incorrect about the size, though. I just noticed that there are font files loaded onto the SD card, and that they are very small (~160K, so not the full font suite).
Still, real font selection on Android!
|