Jawaban:
Dapatkan saja Alat Tinker secara gratis. Ini akan membiarkan Anda mengubah font dan ukuran font untuk Safari di OS X Mavericks.
Anda masih dapat menggunakan default:
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
Opsi lain adalah mengatur file CSS seperti ini sebagai lembar gaya default di preferensi lanjutan:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}
Kedua opsi memiliki prioritas di atas stylesheet default tetapi tidak lebih dari gaya yang ditentukan oleh situs web. Jadi seperti preferensi di Safari 5 dan sebelumnya, sebagian besar berlaku untuk halaman yang biasanya menggunakan 15px Times atau 13px Courier.
!important
sebelum titik koma, itu akan berhasil. Namun, itu akan memaksa semua situs web untuk menggunakan spesifikasi Anda. Akan mengacaukan situs yang menggunakan font khusus untuk menampilkan mesin terbang khusus (mis. Github.com).
body
font tidak bekerja dengan baik. Saya sarankan menerapkan font
modifikasi body, p, span, a
setidaknya.
Serenity Caldwell menulis sebuah artikel di Macworld ketika Mountain Lion pertama kali dirilis sebagai pratinjau dev:
Safari tidak lagi menawarkan opsi untuk mengatur font dan ukuran default (meskipun Anda dapat mengunggah style sheet atau memaksa browser untuk tidak menampilkan ukuran font yang lebih kecil dari jumlah tertentu)
Anda dapat melakukan ini melalui ekstensi yang disebut CSS Pengguna . Cukup sederhana, tambahkan CSS kustom Anda dan itu akan menimpa gaya.
Ada juga utas diskusi Apple tentang ini, tetapi sejauh ini tidak ada hal penting yang muncul. Satu hal yang disebutkan adalah menggunakan HelveticaTheWorld, yang mengubah semua font menjadi Helvetica. Tidak terlalu berguna kecuali Anda ingin Helvetica ada di mana-mana ... Ekstensi lain yang disebutkan adalah Google Fonts di Safari . Ini memungkinkan Anda untuk memilih dari perpustakaan Google Fonts.
Sampai sekarang, tidak ada cara lain untuk mengubah font di Safari. Saya sarankan Anda mengirimkan umpan balik Apple untuk melihat apakah Anda dapat menambahkan ini kembali.
Memang, ini sepele mudah dengan style sheet sederhana yang menimpa font "body" default. Yang Anda butuhkan hanyalah tiga baris:
body {
font: 12px "Lucida Grande";
}
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}
Saya pikir itulah yang Anda inginkan. Pekerjaan diperiksa di High Sierra.
Juga, dapat mengatur font default untuk WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"