Comment changer la taille de la police TAB dans N'IMPORTE QUEL NAVIGATEUR

Je ne peux plus travailler à proximité de PC, mes yeux me font mal - je suis développeur. J'utilise beaucoup le navigateur. J'ai essayé tous: IE, Safari, FF, Chrome - ils sont tous mauvais au plus simple - grande taille de police pour les onglets.

Veuillez ne pas me suggérer de changer la résolution ou de changer les tailles DPI - ce ne sont pas du tout des solutions.

Je me fiche que Chrome se charge 14 ms plus rapidement que le navigateur X, si j'ai passé 5000 ms à essayer de déterminer à quoi sert ce minuscule onglet. J'ai déjà -2,00 - et c'est du stress pour mes yeux.

De nombreux threads sur Google, certaines danses magiques dans Firefox, n'ont rien trouvé pour le safari. Est-il déjà temps pour Linux?

Peut-être qu'il y a un génie qui a écrit un plugin pour sauver ma vision?

Vous pouvez modifier userChrome.css de votre profil Firefox ou utiliser le module complémentaire élégant pour définir la règle CSS suivante:

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

Où ...est remplacé par une valeur de taille de police valide .

Exemple:

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

Démo vidéo: http://www.youtube.com/watch?v=BAhzZuhN61E

PS: Si vous souhaitez également modifier la taille de police du menu contextuel Liste tous les onglets , le sélecteur CSS est:

#alltabs-popup menuitem

PPS: Une fois que vous avez augmenté la taille du texte de votre onglet, vous pouvez également augmenter la largeur de chaque onglet pour accueillir:

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

Où ...est remplacé par une valeur de largeur minimale ou de largeur maximale valide . Jouez avec ces valeurs pour obtenir différents effets! Remarque: les onglets épinglés resteront de la même taille.

Exemple:

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