Изменить шрифт, используемый на панели вкладок TreeStyleTab [closed ]
Firefox 3.6.8 в Ubuntu 9.10; используя TreeStyleTab 0.10.2010040201.
Я использую панель вкладок справа, и я хотел бы видеть больше названий вкладок, не расширяя панель. Я полагаю, что по умолчанию используется шрифт Sans; Я хотел бы использовать что-то вроде сжатого DejaVu Sans. Я ничего не нашел ни в настройках, ни на странице about: config , так что я полагаю, что могу сыграть какой-нибудь трюк с .css, но я не знаю, с чего начать.
Как я могу внести это изменение?
2 ответа
Установите стильное расширение:
https://addons.mozilla.org/en-US/firefox/addon/2108/
Затем добавьте этот скрипт:
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
.tabbrowser-tabs .tab-text {
font-size: 4mm !important;
font-family: Condensed DejaVu Sans !important;
font-weight: bold !important;
color: #ffffff !important;
text-shadow: 0 0px 2px rgba(0,0,0,2),
0 0 1px rgba(0, 0, 0,1) !important;
}
Измените параметры вашей ссылки.
Это будет выглядеть так:
Вы можете настроить шрифты пользовательского интерфейса Firefox, цвета и т. Д., Отредактировав файл userchrome.css. Процесс объясняется длинным списком фрагментов для «общих» настроек здесь . Или, если вы просто хотите настроить шрифт, вы можете проверить , что это краткое руководство.
Согласно официальному mozilla howto
Ни userChrome.css, ни userContent.css не существует по умолчанию. Если вы хотите их, вы создаете их в подкаталоге chrome под каталогом профиля пользователя. userChrome.css контролирует CSS для пользовательского интерфейса приложения Mozilla; userContent.css контролирует CSS для содержимого внутри окон.