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

11

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?

Aubergine
la source
Je recommande Firefox en raison du fait qu'il utilise XUL / CSS pour son interface utilisateur. Vous pouvez personnaliser l'apparence d'une pièce, en gros.
iglvzx
de quelle façon précisément? une ressource raisonnable?
Aubergine
1
@Aubergine Je suis ma propre ressource. ;)
iglvzx
c'est certainement bon pour vous :-) Cependant, j'aimerais voir une solution universelle qui conviendrait à n'importe quelle pauvre âme comme la mienne
Aubergine
Je serais très intéressé de voir une réponse de @iglvzx également. C'est aussi un problème que je traite.

Réponses:

10

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

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

Exemple:

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

onglets

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

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

onglets larges

iglvzx
la source
J'ai essayé mais cela n'a pas fonctionné - créé CSS ajouté `chrome '- aucun effet du tout: - \ C: \ Users \ MyUserName \ AppData \ Roaming \ Mozilla \ chrome Peut-être que j'ai fait quelque chose de mal? Mise à jour: une si belle image - mon rêve
Aubergine
+1. Fonctionne sur ma machine (dernière FF sur la dernière OS X).
hmm, pourquoi cela m'arrive-t-il, je continuerai d'essayer ... :-)
Aubergine
@Aubergine Essayez le module complémentaire élégant, il fonctionne de la même manière, mais il est plus facile à utiliser.
iglvzx
1
vous savez quoi? Vous êtes MERVEILLE :-D
Aubergine