Il s'agit probablement d'un doublon. Je ne peux pas imaginer que je suis la première personne à remarquer cela.
Il semble que Safari 6 ait supprimé l'onglet d'apparence des préférences, et avec lui, la possibilité de changer les polices par défaut.
Comment changer les polices par défaut de Safari 6?
mountain-lion
font
safari
asmeurer
la source
la source
Vous pouvez toujours utiliser les valeurs par défaut:
Une autre option consiste à définir un fichier CSS comme celui-ci comme feuille de style par défaut dans les préférences avancées:
Les deux options ont priorité sur la feuille de style par défaut mais pas sur les styles spécifiés par les sites Web. Ainsi, comme les préférences de Safari 5 et versions antérieures, elles s'appliquent principalement aux pages qui utilisent normalement 15px Times ou 13px Courier.
la source
!important
avant le point-virgule, cela fonctionnera. Cependant, cela forcera tous les sites Web à utiliser vos spécifications. Va bousiller les sites qui utilisent des polices spéciales pour afficher des glyphes spéciaux (par exemple github.com).body
police ne fonctionne pas bien. Je suggérerais d'appliquer lafont
modification àbody, p, span, a
au moins.Serenity Caldwell a écrit un article sur Macworld lors de la première sortie de Mountain Lion en avant-première:
Vous pouvez le faire via une extension appelée User CSS . Assez simple, ajoutez votre CSS personnalisé et il remplacera les styles.
Il existe également un fil de discussion Apple à ce sujet, mais rien d'important n'en est sorti jusqu'à présent. Une chose qui a été mentionnée était l'utilisation de HelveticaTheWorld, qui change toutes les polices en Helvetica. Pas terriblement utile à moins que vous ne vouliez Helvetica partout ... Une autre extension mentionnée est Google Fonts dans Safari . Il vous permet de choisir dans la bibliothèque de polices Google.
Pour l'instant, il n'y a pas d'autre moyen de changer les polices dans Safari. Je vous suggère de soumettre des commentaires Apple pour voir si vous pouvez les réintégrer.
la source
En effet, c'est très simple avec une simple feuille de style qui remplace la police par défaut "body". Tout ce dont vous avez besoin est de trois lignes:
la source
Je pense que c'est ce que tu veux. Travail vérifié à High Sierra.
En outre, vous pouvez définir des polices par défaut pour WebKit2:
la source