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.
![Très content :D](./images/smilies/icon_e_biggrin.gif)
Modérateurs : myahoo, nico@nc, Mori, jpj
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
Linux Mint 21.3 Mate. Firefox et Thunderbird à jour. Serveur de courriel sur orange.fr.
Intel Core i7-4770 4x2 cœurs. 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'à ...
Code : Tout sélectionner
treechildren { transform: scale(1.3); }
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; }
Bonjour,
Bonjour,
Utilisateurs parcourant ce forum : Ahrefs [Bot], Google [Bot] et 3 invités