Questo è probabilmente un duplicato. Non riesco a immaginare di essere il primo a notare questo.
Sembra che Safari 6 abbia rimosso la scheda Aspetto dalle preferenze e, con essa, la possibilità di cambiare i caratteri predefiniti.
Come cambio i caratteri predefiniti per Safari 6?
Scarica gratuitamente Tinker Tool. Ti permetterà di cambiare i caratteri e le dimensioni del carattere per Safari in OS X Mavericks.
Puoi ancora utilizzare i valori 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 è impostare un file CSS come questo come foglio di stile predefinito nelle preferenze avanzate:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}
Entrambe le opzioni hanno la precedenza sul foglio di stile predefinito ma non sugli stili specificati dai siti Web. Quindi, come le preferenze in Safari 5 e precedenti, si applicano principalmente a pagine che normalmente utilizzano 15px Times o 13px Courier.
Serenity Caldwell ha scritto un articolo su Macworld quando Mountain Lion è stato rilasciato per la prima volta in anteprima:
Safari no longer offers an option to set default fonts and sizes (though you can upload a style sheet or force the browser not to show font sizes smaller than a certain number)
Puoi farlo tramite un'estensione chiamata CSS utente . Abbastanza semplice, aggiungi il tuo CSS personalizzato e sostituirà gli stili.
C'è anche un un thread di discussione di Apple su questo argomento, ma non è venuto in mente nulla di importante di esso finora. Una cosa che è stata menzionata è stata l'utilizzo di HelveticaTheWorld, che cambia tutti i tipi di carattere in Helvetica. Non molto utile a meno che tu non voglia Helvetica ovunque ... Un'altra estensione menzionata è Google Fonts in Safari . Ti consente di scegliere dalla libreria di Google Fonts.
A partire da ora, non c'è altro modo per cambiare i caratteri in Safari. Ti suggerisco di inviare feedback Apple per vedere se riesci a ottenere di nuovo l'aggiunta.
In effetti, questo è banalmente semplice con un semplice foglio di stile che sovrascrive il carattere "corpo" predefinito. Tutto ciò di cui hai bisogno è lungo tre righe:
body {
font: 12px "Lucida Grande";
}
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}
Penso che sia quello che vuoi. Lavoro controllato in High Sierra.
Inoltre, è possibile impostare i font predefiniti per WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"
Leggi altre domande sui tag mountain-lion safari font