Como alterar o tamanho da fonte TAB em QUALQUER NAVEGADOR

Question

Eu não consigo mais trabalhar perto de PCs, meus olhos doem - sou desenvolvedor. Eu uso muito o navegador. Experimentei todos eles: IE, Safari, FF, Chrome - todos são ruins na coisa mais simples - tamanho de fonte grande para guias.

Por favor, não me sugira alterar a resolução ou alterar os tamanhos de DPI - estas não são soluções.

Eu não me importo se o Chrome carrega 14 ms mais rápido que o navegador X, se eu gastei 5000 ms tentando determinar para que diabos é essa pequena aba. Eu já tenho -2,00 - e isso é estresse para os meus olhos.

Numerosos tópicos no Google, algumas danças mágicas no Firefox, não encontraram nada para o safari. Já é hora do Linux?

Talvez haja algum cara genial que escreveu um plugin para salvar minha visão?

    

Answer 1

Você pode editar o userChrome.css do seu perfil do Firefox ou usar o Stylish add-on para definir a seguinte regra de CSS:

#tabbrowser-tabs
{
    font-size: ... !important;
}

Em que ... é substituído por um valor de tamanho de fonte válido.

Exemplo:

#tabbrowser-tabs
{
    font-size: 20px !important;
}

Demonstraçãoemvídeo: link

PS: Se você também quiser editar o tamanho da fonte do menu pop-up Listar todas as guias , o seletor CSS será:

#alltabs-popup menuitem

PPS: Depois de aumentar o tamanho do texto da guia, você também pode aumentar a largura de cada guia para acomodar:

.tabbrowser-tab:not([pinned]) 
{
    min-width: ... !important;
    max-width: ... !important;
}

Em que ... é substituído por uma min-width ou valor max-width . Brinque com esses valores para obter efeitos diferentes! Observação: as guias fixadas permanecerão do mesmo tamanho.

Exemplo:

.tabbrowser-tab:not([pinned]) 
{
    min-width: 400px !important;
}