Odpowiedzi:
Po prostu pobierz Tinker Tool za darmo. Pozwoli ci to zmienić czcionki i rozmiar czcionki dla Safari w OS X Mavericks.
Nadal możesz używać ustawień domyślnych:
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
Inną opcją jest ustawienie takiego pliku CSS jako domyślnego arkusza stylów w ustawieniach zaawansowanych:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}
Obie opcje mają pierwszeństwo przed domyślnym arkuszem stylów, ale nie nad stylami określonymi przez strony internetowe. Podobnie jak preferencje w Safari 5 i wcześniejszych wersjach, dotyczą one głównie stron, które normalnie używałyby 15px razy lub 13px kuriera.
!important
przed średnikiem, zadziała. Zmusi to jednak wszystkie strony do korzystania ze specyfikacji. Zepsuje strony, które używają specjalnych czcionek do wyświetlania specjalnych glifów (np. Github.com).
body
czcionki nie działa dobrze. Sugerowałbym zastosowanie font
modyfikacji body, p, span, a
przynajmniej.
Serenity Caldwell napisał artykuł na temat Macworld, kiedy Mountain Lion został wydany jako zapowiedź dewelopera:
Safari nie oferuje już opcji ustawiania domyślnych czcionek i rozmiarów (chociaż możesz przesłać arkusz stylów lub zmusić przeglądarkę, aby nie pokazywała rozmiarów czcionek mniejszych niż określona liczba)
Możesz to zrobić za pomocą rozszerzenia o nazwie User CSS . Całkiem proste, dodaj niestandardowy CSS, który zastąpi style.
Jest też wątek dyskusyjny Apple na ten temat, ale jak dotąd nic ważnego z tego nie wynikło. Jedną z wymienionych rzeczy było użycie HelveticaTheWorld, która zmienia wszystkie czcionki na Helvetica. Nie jest to szczególnie przydatne, chyba że chcesz wszędzie Helvetica ... Kolejne wspomniane rozszerzenie to Czcionki Google w Safari . Pozwala wybrać z biblioteki czcionek Google.
W tej chwili nie ma innego sposobu zmiany czcionek w Safari. Sugeruję przesłanie opinii Apple, aby zobaczyć, czy możesz to dodać ponownie.
Rzeczywiście jest to banalnie proste dzięki prostemu arkuszowi stylów, który zastępuje domyślną czcionkę „body”. Wszystko czego potrzebujesz to wszystkie trzy linie:
body {
font: 12px "Lucida Grande";
}
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}
Myślę, że tego właśnie chcesz. Prace sprawdzone w High Sierra.
Ponadto, mogę ustawić domyślne czcionki dla WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"