J'ai une application Web qui utilise la police monospace par défaut du navigateur. Il est configuré de cette manière afin que l'utilisateur puisse choisir le leur. Dans Chrome, cela fonctionne bien, car il est facile de définir les polices par défaut, mais dans Safari, l'option a été supprimée.
Existe-t-il un moyen pour les utilisateurs de définir les polices par défaut dans Safari?
Il existe encore des préférences non exposées pour modifier les polices et les tailles de police 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 à ajouter une telle règle au fichier CSS par défaut, que vous pouvez sélectionner dans Préférences & gt; Avancé & gt; Feuille de style:
@font-face {
font-family: monospace;
src: local('Menlo');
}
Cela fait font-family: monospace et des éléments comme <pre> et <code> par défaut à Menlo.