Я пишу некоторое расширение для браузеров на основе хрома.
Я использую JSTree jQuery-плагин. Пользовательский интерфейс jQuery также.
Мой общий вопрос: почему шрифты такие большие?
Я хочу видеть шрифты, как в демо от jQueryUI Themes Builder:
Что мне нужно сделать, чтобы исправить это?
РЕШЕНИЕ: В HTML переопределить класс.ui-widget:
font-size:12px;
используя тег html стиля. Или сделайте то же самое в своем пользовательском CSS.
Вы можете изменить размер шрифта по умолчанию в themeroller на сайте пользовательского интерфейса jquery в разделе "Параметры шрифта".
.ui-widget{font-size:12px;}