Respostas:
Basta obter o Tinker Tool gratuitamente. Permite alterar as fontes e o tamanho da fonte do Safari no OS X Mavericks.
Você ainda pode usar os padrões:
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
Outra opção é definir um arquivo CSS como este como a folha de estilos padrão nas preferências avançadas:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}
Ambas as opções têm precedência sobre a folha de estilo padrão, mas não sobre os estilos especificados pelos sites. Assim como as preferências do Safari 5 e anteriores, elas se aplicam principalmente a páginas que normalmente usariam 15px Times ou 13px Courier.
!important
antes do ponto e vírgula, ele funcionará. No entanto, isso forçará todos os sites a usar suas especificações. Estragará sites que usam fontes especiais para exibir glifos especiais (por exemplo, github.com).
body
fonte não funciona bem. Eu sugiro aplicar a font
modificação a body, p, span, a
pelo menos.
Serenity Caldwell escreveu um artigo no Macworld quando o Mountain Lion foi lançado pela primeira vez como uma prévia do desenvolvedor:
O Safari não oferece mais uma opção para definir fontes e tamanhos padrão (embora você possa carregar uma folha de estilos ou forçar o navegador a não exibir tamanhos de fonte menores que um determinado número)
Você pode fazer isso através de uma extensão chamada CSS do usuário . Muito simples, adicione seu CSS personalizado e ele substituirá os estilos.
Há também um tópico de discussão da Apple sobre isso, mas nada de importante chegou até agora. Uma coisa mencionada foi o uso do HelveticaTheWorld, que altera todas as fontes para Helvetica. Não é muito útil, a menos que você queira Helvetica em todos os lugares ... Outra extensão mencionada é o Google Fonts no Safari . Ele permite que você escolha na biblioteca de fontes do Google.
No momento, não há outra maneira de alterar as fontes no Safari. Eu sugiro que você envie os comentários da Apple para ver se você pode adicionar isso novamente.
De fato, isso é trivialmente fácil com uma folha de estilos simples que substitui a fonte "corpo" padrão. Tudo o que você precisa é de três linhas:
body {
font: 12px "Lucida Grande";
}
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}
Eu acho que é isso que você quer. Trabalho verificado em High Sierra.
Além disso, é possível definir fontes padrão para o WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"