Safari 6 : comment modifier les polices par défaut ?

Vous pouvez toujours utiliser les valeurs par défaut :

defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily Georgia
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFontSize 16
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily Menlo
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFixedFontSize 14

Une autre option consiste à définir un fichier CSS comme celui-ci en tant que feuille de style par défaut dans les préférences avancées :

body {
  font: 16px Georgia;
}
pre, code, tt {
  font: 14px Menlo;
}

Ces deux options ont la priorité sur l'option feuille de style par défaut mais pas sur les styles spécifiés par les sites web. Ainsi, à l'instar des préférences de Safari 5 et des versions antérieures, elles s'appliquent principalement aux pages qui utiliseraient normalement 15px Times ou 13px Courier.

Serenity Caldwell a écrit un article sur Macworld lorsque Mountain Lion est sorti en tant que dev preview :

Safari ne propose plus d'option pour définir les polices et tailles par défaut (bien que vous pouvez télécharger une feuille de style ou obliger le navigateur à ne pas afficher les tailles de police inférieures à un certain nombre)

Vous pouvez le faire via une extension appelée Utilisateur CSS . Assez simple, ajoutez votre CSS personnalisé et il remplacera les styles.

Il y a également un fil de discussion sur Apple à ce sujet, mais rien d'important n'en est sorti jusqu'à présent. Une chose qui a été mentionnée est l'utilisation de HelveticaTheWorld, qui change toutes les polices en Helvetica. Pas très utile, sauf si vous voulez de l'Helvetica partout... Une autre extension mentionnée est Google Fonts dans Safari . Il vous permet de choisir dans la bibliothèque de polices de Google.

À l'heure actuelle, il n'existe aucun autre moyen de modifier les polices dans Safari. Je vous suggère de soumettre Rétroaction d'Apple pour voir si vous pouvez le rajouter.

En effet, cela est très facile avec une simple feuille de style qui remplace la police "body" par défaut. Tout ce dont vous avez besoin ne fait que trois lignes :

body {
    font: 12px "Lucida Grande";
}

* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}

Je pense que c'est ce que vous voulez. Travail vérifié dans High Sierra.

Il est également possible de définir des polices par défaut pour WebKit2 :

defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"