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

Question 1

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

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

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

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

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

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

Question 3

Question 4

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

В соответствии с официальным здесь

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

Question 5

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 6

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

Согласно официальному mozilla howto

Question 7

Question 8

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 9

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

Согласно официальному mozilla howto

Question 10

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 11

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

Согласно официальному mozilla howto

Question 12

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

Согласно официальному mozilla howto

Question 13

Question 14

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 15

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

Согласно официальному mozilla howto

Question 16

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 17

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Question 18

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

Согласно официальному mozilla howto

Jorge Castro · Answer 1 · 25 July 2018 в 23:14

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

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

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

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

4

ответ дан Jorge Castro 25 July 2018 в 23:14

1

Я уже пробовал схожие изменения с userChrome.css; расширение TreeStyleTab не соответствует стилям tabbrowser-tabs; но все равно спасибо. – ΤΖΩΤΖΙΟΥ 11 October 2010 в 04:27
2

Я использую вкладки «Стиль дерева», и снимок, изображенный выше, снимается с моего экрана. Оно работает. – lovinglinux 11 October 2010 в 05:22
3

Это работает, спасибо. Я просто добавил его к userChrome.css вместо установки Stylish. – cysiek10 19 February 2012 в 12:44
4

И если вы также хотите увеличить высоту вкладки, добавьте это: pastebin.com/HqRFUjcv (дублирование класса CSS важно для повышения специфики этого правила). – RomanSt 11 February 2014 в 23:04

koushik · Answer 2 · 25 July 2018 в 23:14

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

В соответствии с официальным здесь

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

Поэтому я предполагаю, что мне нужно искать в firefox/extensions/treestyletab@piro.sakura.ne.jp/chrome/treestyletab.jar и найти соответствующий файл .css, чтобы определить, какой параметр может быть тем, и изменить мой userChrome.css (да, я создал это давно) , Я надеялся получить более конкретный ответ, но спасибо за ответ в любом случае. — ΤΖΩΤΖΙΟΥ, 7 September 2010 в 01:52

Jorge Castro · Answer 3 · 2 August 2018 в 04:31

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

koushik · Answer 4 · 2 August 2018 в 04:31

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

Согласно официальному mozilla howto

Jorge Castro · Answer 5 · 4 August 2018 в 21:05

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

koushik · Answer 6 · 4 August 2018 в 21:05

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

Согласно официальному mozilla howto

Jorge Castro · Answer 7 · 6 August 2018 в 04:36

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

koushik · Answer 8 · 6 August 2018 в 04:36

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

Согласно официальному mozilla howto

koushik · Answer 9 · 7 August 2018 в 22:45

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

Согласно официальному mozilla howto

Jorge Castro · Answer 10 · 7 August 2018 в 22:45

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

koushik · Answer 11 · 10 August 2018 в 10:51

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

Согласно официальному mozilla howto

Jorge Castro · Answer 12 · 10 August 2018 в 10:51

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

Jorge Castro · Answer 13 · 13 August 2018 в 17:25

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

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;  цвет: #ffffff! important;  text-shadow: 0 0px 2px rgba (0,0,0,2), 0 0 1px rgba (0, 0, 0,1)! important;  }

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

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

alt text [!d2]

4

ответ дан Jorge Castro 13 August 2018 в 17:25

1

Я уже пробовал схожие изменения с userChrome.css; расширение TreeStyleTab не соответствует стилям tabbrowser-tabs; но все равно спасибо. – ΤΖΩΤΖΙΟΥ 11 October 2010 в 04:27
2

Я использую вкладки «Стиль дерева», и снимок, изображенный выше, снимается с моего экрана. Оно работает. – lovinglinux 11 October 2010 в 05:22
3

Это работает, спасибо. Я просто добавил его к userChrome.css вместо установки Stylish. – cysiek10 19 February 2012 в 12:44
4

И если вы также хотите увеличить высоту вкладки, добавьте это: pastebin.com/HqRFUjcv (дублирование класса CSS важно для повышения специфики этого правила). – RomanSt 11 February 2014 в 23:04

koushik · Answer 14 · 13 August 2018 в 17:25

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

Согласно официальному mozilla howto

Поэтому я предполагаю, что мне нужно искать в файле firefox/extensions/treestyletab@piro.sakura.ne.jp/chrome/treestyletab.jar и найти соответствующий файл .css в чтобы определить, какой параметр может быть одним и отредактировать мой userChrome.css (да, я давно создал это). Я надеялся получить более конкретный ответ, но спасибо за ответ в любом случае. — ΤΖΩΤΖΙΟΥ, 7 September 2010 в 01:52

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

14 ответов

Другие вопросы по тегам:

Похожие вопросы: