Police de la Hotlist : Elle est liée à la police " normal " utilisée pour la barre de status et le texte des boutons. La réduire réduira aussi la police de la Hotlist.