jQueryUI. Почему интерфейс такой большой?

Question

Я пишу некоторое расширение для браузеров на основе хрома.

Я использую JSTree jQuery-плагин. jQuery UI тоже.

Мой общий вопрос: Почему шрифты такие большие?

Я хочу видеть шрифты как в demo from jQueryUI Themes Builder:

Что мне нужно сделать, чтобы исправить это?

РЕШЕНИЕ: В HTML overide классе .ui-виджет:

font-size:12px; 

используя стиль HTML тег. Или сделайте то же самое в своем пользовательском CSS.

Answer 1

Вы можете изменить размер шрифта по умолчанию в themeroller на сайте пользовательского интерфейса jquery в разделе «Настройки шрифта».