Відповіді:
Просто отримайте інструмент Tinker безкоштовно. Це дозволить вам змінити шрифти та розмір шрифту для Safari в OS X Mavericks.
Ви все ще можете використовувати типові параметри:
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
Ще один варіант - встановити такий CSS-файл, як цей, як таблицю стилів за замовчуванням у розширених налаштуваннях:
body {
font: 16px Georgia;
}
pre, code, tt {
font: 14px Menlo;
}
Обидва варіанти мають перевагу над таблицею стилів за замовчуванням, але не над стилями, визначеними веб-сайтами. Так, як і налаштування в Safari 5 та новіших версіях, вони в основному стосуються сторінок, які зазвичай використовують 15px Times або 13px Courier.
!important
до напівколонки, це спрацює. Однак це змусить усі веб-сайти використовувати ваші характеристики. Викручує сайти, які використовують спеціальні шрифти для відображення спеціальних гліфів (наприклад, github.com).
body
шрифту не працює добре. Я б запропонував застосувати font
модифікацію body, p, span, a
принаймні.
Serenity Caldwell написала статтю про Macworld, коли Mountain Lion вперше був випущений у якості попереднього перегляду:
Safari більше не пропонує встановити шрифти та розміри за замовчуванням (хоча ви можете завантажити аркуш стилів або змусити браузер не показувати розміри шрифту, менші за певну кількість)
Це можна зробити за допомогою розширення під назвою User CSS . Досить просто, додайте свій користувальницький CSS, і він замінить стилі.
Про це також існує дискусійний потік Apple , але поки що нічого важливого з цього не вийшло. Одне, що згадувалося, було використання HelveticaTheWorld, який змінює всі шрифти на Helvetica. Не дуже корисно, якщо ви не хочете скрізь Helvetica ... Ще одне згадане розширення - це шрифти Google у Safari . Це дозволяє вибирати з бібліотеки шрифтів Google.
На даний момент немає іншого способу змінити шрифти в Safari. Я б запропонував вам надіслати відгук Apple, щоб побачити, чи можете ви повернути це.
Дійсно, це просто тривожно за допомогою простого аркуша стилів, який переосмислює шрифт "body" за замовчуванням. Все, що вам потрібно, це всі три рядки:
body {
font: 12px "Lucida Grande";
}
* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}
Я думаю, що саме цього ти хочеш. Робота перевірена у Високій Сьєррі.
Також можливість встановити шрифти за замовчуванням для WebKit2:
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"