Modifier la taille des dossiers
Modérateurs : myahoo, nico@nc, Mori, jpj
Modifier la taille des dossiers
Quelqu'un saurait me dire quelles sont les commandes que je devrais utiliser dans le fichier " userchrome.css "pour agrandir un peu les dossiers des marque-pages.
Merci d'avance pour votre aide.
Re: Modifier la taille des dossiers
☑ Pas confondre Pigeon et On Pige ➔ Inutile de m'adresser ce que je ne lirai pas !
Re: Modifier la taille des dossiers
Comme je l'ai dit, la taille des dossiers et forcement la taille de la police qui va avec.
Les dossiers dont je parle ce sont ceux mentionnés : Barre personnelle - Menu des marque-pages - Autres marque-pages, etc.
- Christian_B
- Lézard vert
- Messages : 143
- Inscription : 16 août 2017, 17:22
Re: Modifier la taille des dossiers
Il n'est pas exact (en tout cas dans FF 57 = Quantum) que la taille de police et l'image du dossier sont liés. En modifiant la police, cela peut modifier l'épaisseur de la barre personnelle, qui s'ajuste pour accepter l'icône et le texte, mais ne modifie pas l'image des dossiers.la taille des dossiers et forcement la taille de la police qui va avec
Firefox utilise par défaut un peu partout pour les textes courants de son interface (menus, onglets, barres d'outil, pages "about:...." etc) la même police de l'environnement système (chez moi la police du thème pour applis GTK, je suis sous Linux Mint KDE).
Par contre, si vraiment tu veux agrandir l'image des dossiers (bien qu'elle n'apporte guère d'information), il faut :
- soit la trouver si c'est un fichier mais je n'ai rien vu dans la config de Firefox. S'il s'agit d'une icône partagée, l'emplacement peut dépendre de l'environnement système, tu n'as pas précisé.
- soit qu'il existe un paramètre pour userchrome.css, ce qui n'est pas évident.
Linux Mint 21.2 Mate. Firefox et Thunderbird à jour.
Intel Core i7-4770 4x2 cœurs + Xeon E3-1200 (= circuit 4600).
Mém. 8 Go Dual channel, SSD 120Go, HD 2To.
Les armes nucléaires sont interdites depuis le 22 janvier 2021. Y a plus qu'à ...
Re: Modifier la taille des dossiers
Je vais encore préciser qu'il s'agit des icônes du panneau latéral.
J'ai déjà trouvé comment changer la couleur desdits dossiers, mais l'agrandissement de ces derniers me manque encore.
Re: Modifier la taille des dossiers
J'ai un impact avec :
Code : Tout sélectionner
treechildren { transform: scale(1.3); }
edit: et ça fout la zone aussi dans la librairie.
Re: Modifier la taille des dossiers
Non ce n'est pas ça. Merci.
Re: Modifier la taille des dossiers
Uniquement pour la taille de la police dans le panneau de gauche de la bibliothèque des marque-pages :
Code : Tout sélectionner
#placesList treechildren::-moz-tree-cell-text {
font-size: 13px !important; }
Re: Modifier la taille des dossiers
Ça ne bouge pas d'un poil.
Re: Modifier la taille des dossiers
Bonsoir,
Eh bien chez moi cela ne fonctionne pas du tout. Je possède deux machines et sur les deux c'est pareil.
Mais je me pose la question suivant, est-ce que cela fonctionne uniquement sur Firefox installé ?
Car moi j'utilise Firefox portable.
Re: Modifier la taille des dossiers
Je n'ai pas testé les versions portables.
Est-ce que tu as redémarré Firefox après avoir rajouté mon code à ton fichier userChrome.css ?
Ou, en utilisant les "Outils de développement" de Firefox comme je le montre dans mes dernières copies d'écran, as-tu cliqué dans le panneau de gauche de la "Bibliothèque" des marque-pages ?
Car c'est un peu déroutant au début: comme avec le module "Stylish", avec les "Outils de développement" aussi il faut parfois cliquer avec le souris dans la partie de la GUI de Thunderbird qu'on veut modifier avec du code CSS pour que la modification se manifeste.
Re: Modifier la taille des dossiers
.
D'ailleurs on peut copier un FF fixe pour le coller dans la version portable (au bon endroit) et ça marche sans PB, du moins au moins en 32 bits.
l'activité de userChromme.css et de userContent.css inclus
☑ Pas confondre Pigeon et On Pige ➔ Inutile de m'adresser ce que je ne lirai pas !
Re: Modifier la taille des dossiers
Bonjour,
Où peut-on trouver userContent.css ?
Est-ce normal qu'il y ait deux fichiers user.chrome.css ?
Re: Modifier la taille des dossiers
Bonjour,
Oui j'ai toujours relancé FF après les modifs faites au fichier CSS. Et j'ai aussi ouvert, fermé les dossiers des marque-pages sans que quoique ce soit change. Où peut-on trouver les informations contenues dans tes captures d'écran image du milieu ?
Qui est en ligne ?
Utilisateurs parcourant ce forum : Amazon [Bot] et 20 invités