Reduzindo a altura da barra de guias/endereço no Firefox (OS X)

Question

Eu gostaria de salvar alguns pixels extras, já que frequentemente estou em trânsito em um laptop e personalizo o FF em geral.

Existe uma maneira de eliminar esses pixels extras aqui? (Imagem para referência)

Answer 1

Eu estava procurando a mesma coisa! A respeitoesse idiota. Testado no Firefox 38.0.5, Yosemite 10.10.3.

ATUALIZAR

Instalandothintabsfez o truque para mim. Mas, segundo o artigo, você também pode fazer isso manualmente:

A vantagem é que você não precisa instalar complementos para a operação, a desvantagem é que demora um minuto a mais para ser concluída.

1. Carregue about:support na barra de endereço do navegador e pressione Enter.
2. Localize o botão mostrar pasta em Application Basics e clique nele. Isso abre a pasta do perfil usando o navegador de arquivos padrão do sistema.
3. Abra a pasta do Chrome lá. Se não existir, crie uma nova pasta e nomeie-a como Chrome.
4. Abra o arquivo userChrome.css na pasta do Chrome. Novamente, se não existir, crie-o.
5. Adicione as seguintes informações ao arquivo:

Para alterar a altura da barra de ferramentas da guia:

#TabsToolbar { height: 25px !important; }

Para alterar a altura da barra de ferramentas dos favoritos:

PersonalToolbar {height: 25px !important;}

O parâmetro height define a nova altura de qualquer barra. Ele está definido para 25 pixels por padrão, mas você pode alterá-lo para outros valores que funcionem melhor para você.

Certifique-se de que a seguinte linha de código seja exibida uma vez na parte superior do arquivo:

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */

O código completo se parece com o seguinte emuserChrome.css

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
#TabsToolbar { height: 25px !important; }
#PersonalToolbar {height: 5px !important;}