Изменить шрифт, используемый в панели вкладок TreeStyleTab

Question

Изменить шрифт, используемый в панели вкладок TreeStyleTab

Firefox 3.6.8 в Ubuntu 9.10; используя TreeStyleTab 0.10.2010040201.

Я использую панель вкладок справа, и я хотел бы видеть больше названий вкладок, не расширяя панель. Я полагаю, что по умолчанию используется шрифт Sans; Я хотел бы использовать что-то вроде сжатого DejaVu Sans. Я не нашел ничего ни в настройках, ни в about:config страницу, поэтому я предполагаю, что могу сыграть какую-нибудь трюк.css, но я не знаю, с чего начать.

Как я могу сделать это изменение?

3

firefox extension 9.10

Источник

ΤΖΩΤΖΙΟΥ 06 сен '10 в 12:13

2 ответа

Другие вопросы по тегам firefox extension 9.10

lovinglinux 10 окт '10 в 20:59 2010-10-10 20:59 · Answer 1 · 2010-10-10 20:59

Установите стильное расширение:

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;
}

Измените параметры вашей ссылки.

Это будет выглядеть так:

альтернативный текст

koushik 06 сен '10 в 12:20 2010-09-06 12:20 · Answer 2 · 2010-09-06 12:20

Вы можете настроить шрифты пользовательского интерфейса Firefox, цвета и т. Д., Отредактировав файл userchrome.css. Процесс объясняется с длинным списком фрагментов для "общих" настроек здесь. Или, если вы просто хотите настроить шрифт, вы можете проверить, что это краткое руководство.

Согласно официальной инструкции Mozilla

Ни userChrome.css, ни userContent.css не существует по умолчанию. Если вы хотите их, вы создаете их в подкаталоге chrome под каталогом профиля пользователя. userChrome.css контролирует CSS для пользовательского интерфейса приложения Mozilla; userContent.css контролирует CSS для содержимого внутри окон.