Safari 6: come modificare i caratteri predefiniti?

13

Questo è probabilmente un duplicato. Non riesco a immaginare di essere la prima persona a notare questo.

Sembra che Safari 6 abbia rimosso la scheda Aspetto dalle preferenze e, con essa, la possibilità di modificare i caratteri predefiniti.

Come posso cambiare i caratteri predefiniti per Safari 6?

mountain-lion font safari

— asmeurer
fonte

-1

Scarica Tinker Tool gratuitamente. Ti permetterà di modificare i caratteri e le dimensioni del carattere per Safari in OS X Mavericks.

— Malcolm Cooke
fonte

La domanda riguarda Safari 6 su Mountain Lion in realtà.

— Nohillside

@patrix e allora? Ora che Mavericks è fuori, mi importa di come farlo lì dentro.

— asmeurer,

Il modo per farlo potrebbe essere cambiato con Safari 7, i vecchi metodi potrebbero non funzionare più. Quindi fare una nuova domanda sarebbe probabilmente più utile qui.

— Nohillside

Qualunque cosa. Cercare di rovinare un css personalizzato non ha mai funzionato per me. Tinkertool lo fa. Sto accettando questa risposta.

— asmeurer,

8

È ancora possibile 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 è quella di 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 di Safari 5 e precedenti, si applicano principalmente alle pagine che normalmente utilizzano 15px volte o 13px Courier.

— Lri
fonte

Questo non sembra funzionare.

— asmeurer,

Se aggiungi !importantprima del punto e virgola, funzionerà. Tuttavia, ciò costringerà tutti i siti Web a utilizzare le tue specifiche. Distruggerà i siti che utilizzano caratteri speciali per visualizzare glifi speciali (ad esempio github.com).

— imanuelcostigan,

Bene, solo cambiare il bodycarattere non funziona bene. Suggerirei di applicare la fontmodifica body, p, span, aalmeno.

— pabuisson,

5

Serenity Caldwell ha scritto un articolo su Macworld quando Mountain Lion è stato rilasciato per la prima volta come anteprima di sviluppo:

Safari non offre più un'opzione per impostare caratteri e dimensioni predefiniti (sebbene sia possibile caricare un foglio di stile o forzare il browser a non mostrare dimensioni dei caratteri inferiori a un certo numero)

Puoi farlo tramite un'estensione chiamata User CSS . Abbastanza semplice, aggiungi il tuo CSS personalizzato e sovrascriverà gli stili.

C'è anche un thread di discussione di Apple su questo, ma finora non è arrivato nulla di importante. Una cosa che è stata menzionata è stata l'utilizzo di HelveticaTheWorld, che modifica tutti i caratteri in Helvetica. Non estremamente utile se non vuoi Helvetica ovunque ... Un'altra estensione menzionata è Google Fonts in Safari . Ti permette di scegliere dalla libreria di Google Fonts.

A partire da ora, non c'è altro modo per cambiare i caratteri in Safari. Ti suggerirei di inviare un feedback Apple per vedere se riesci a riaverlo aggiunto.

— daviesgeek
fonte

1

I CSS personalizzati non sono già supportati senza un'estensione?

— asmeurer il

1

In effetti, questo è banalmente facile con un semplice foglio di stile che sovrascrive il carattere predefinito "body". Tutto ciò che serve è lungo tutte e tre le linee:

body {
    font: 12px "Lucida Grande";
}

— SunByrne
fonte

3

E dove metti detto foglio di stile? Come si fa a caricare sempre Safari?

— Daniel

Cosa devo usare per cambiare il carattere monospace?

— asmeurer,

Copia quella riga di CSS; utilizzare un editor di testo per inserirlo in un file di testo altrimenti vuoto e salvare quel file di testo sul disco rigido locale con un nome di file, ad esempio default.css. Quindi vai su Safari> Preferenze, seleziona la scheda Avanzate e, nel menu a discesa Foglio di stile, seleziona Altro. Passa al tuo file default.css e Safari inizierà a utilizzare il tuo nuovo CSS come predefinito.

— Jed Hartman,

1

* {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 caratteri 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"

— nesoneg
fonte