Цитата minos66:
|
Не подскажите, нет ли возможности изменить размер шрифта в Панели инструментов? »
|
В
UserChrome.css добавьте
HTML код:
/* change the font of the toolbars */
toolbar {
font-size: 10pt !important;
font-family: Times New Roman !important;
}
Тип и размер шрифта подберите по вкусу.
