Ho un'applicazione web che usa il font monospace predefinito del browser. È impostato in questo modo in modo che l'utente possa sceglierne uno. In Chrome, questo funziona bene, poiché è facile impostare i caratteri predefiniti, ma in Safari hanno rimosso l'opzione.
Esiste un modo per gli utenti di impostare i caratteri predefiniti in Safari?
Ci sono ancora le preferenze non esposte per la modifica dei caratteri e delle dimensioni dei caratteri predefiniti:
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
Un'altra opzione è aggiungere una regola come questa al file CSS predefinito che può essere selezionato in Preferenze > Avanzate > Foglio di stile:
@font-face {
font-family: monospace;
src: local('Menlo');
}
Rende font-family: monospace e elementi come <pre> e <code> default a Menlo.