Existe-t-il un moyen de définir la police * default * monospace dans Safari?

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?

safari css

— Carl Smith
source

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.

— Lri
source