Ответы:
Просто получите Tinker Tool бесплатно. Это позволит вам изменить шрифты и размер шрифта для 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 и более ранних версиях, они в основном применяются к страницам, которые обычно используют 15-кратный Times или 13-кратный Courier.
!important
перед точкой с запятой, это будет работать. Однако это заставит все сайты использовать ваши спецификации. Будет испортить сайты, которые используют специальные шрифты для отображения специальных символов (например, github.com).
body
шрифта не работает хорошо. Я бы предложил применить font
модификацию по body, p, span, a
крайней мере.
Serenity Caldwell написала статью о Macworld, когда Mountain Lion был впервые выпущен как предварительный просмотр для разработчиков:
Safari больше не предлагает возможность устанавливать шрифты и размеры по умолчанию (хотя вы можете загрузить таблицу стилей или заставить браузер не показывать размеры шрифта меньше определенного числа)
Вы можете сделать это через расширение под названием User CSS . Довольно просто, добавьте свой собственный CSS, и он переопределит стили.
Об этом есть также дискуссия в Apple , но до сих пор ничего важного не произошло. Одна вещь, которая была упомянута, использовала HelveticaTheWorld, которая изменяет все шрифты на Helvetica. Не очень полезно, если вы не хотите Helvetica везде ... Другое упомянутое расширение - Google Fonts в Safari . Позволяет выбирать из библиотеки Google Fonts.
На данный момент нет другого способа изменить шрифты в 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"