Une police de caractères vraiment petite (4 pixels de large). Ça peut paraître gadget, mais ce genre de police est difficile à concevoir en gardant une bonne lisibilité, et il y a des situations où ça peut rendre service.