Saviez-vous qu’il était possible de changer la police de caractère de Safari. Si vous avez des difficultés à lire le texte des pages web vous pouvez l’agrandir.
Allez dans les préférences de Safari : Dans la barre de menu Safari -> Préférences…
Cliquez sur Sélectionner pour changer la police et surout la taille.
Ca devrait changer la taille des polices de certain sites (par exemple google.fr) sans avoir besoin de rédémarrer Safari.
Réponses
Merci, mais ton conseil, je le savais déjà bien sûr !!
Mais… c’est gentil d’avoir répondu.
FBB
Bonjour Françoise,
Effectivement Safari 6 ne donne plus cette possibilité de changer les polices et leurs tailles.
Deux solutions :
– Changer la taille du texte avec le raccourci ⌘ et + (ou -)
– Opera et Firefox supportent tout deux le paramétrage de votre police préférée.
Je n’ai toujours pas de réponse à ma question sur les polices dans la nouvelle version de Safari !
Merci !
FBB
Cela est impossible avec la nouvelle version de Safari. Alors comment faire ?
Merci de votre réponse
FBB