Firefox 3.6.8 no Ubuntu 9.10; usando TreeStyleTab 0.10.2010040201.
Eu uso a barra de guias à direita e gostaria de ver mais nomes de guias sem ampliar a barra. A fonte padrão usada é Sans, acredito; Eu gostaria de usar algo como o DejaVu Sans condensado. Eu não encontrei nada nas configurações, nem na página about:config , então eu presumo que posso jogar algum truque de .css, mas não sei por onde começar.
Como posso fazer essa alteração?
Instale a extensão Stylish:
Adicione então este script:
@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;
}
Altere as opções para o seu link.
Será parecido com isto:
Você pode ajustar fontes, cores, etc. do firefox, editando o arquivo userchrome.css. O processo é explicado com uma longa lista de snippets para ajustes "comuns" aqui . Ou se você quiser apenas ajustar a fonte, pode verificar this é um breve tutorial.
De acordo com o howto oficial do mozilla
Nem userChrome.css nem userContent.css existem por padrão. E se você os quer, você os cria no subdiretório cromado abaixo do diretório de perfil do usuário. userChrome.css controla CSS para a interface do usuário chrome da aplicação Mozilla; userContent.css controla o CSS para conteúdo dentro do Windows.