Geckozone

Bonjour,

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.

Hello... agrandir quoi, la taille de la fenêtre ou la taille de police ?

Bonjour,

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.

Bonjour,

la taille des dossiers et forcement la taille de la police qui va avec

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

Bonjour,

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.

À mon avis, c'est trop galère.

J'ai un impact avec :
mais ça zoom tout et ça déborde sur le champ de recherche ^^
edit: et ça fout la zone aussi dans la librairie.

Bonjour,

Non ce n'est pas ça. Merci.

Bonjour,

Intrépide a écrit : 20 déc. 2017, 12:21 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

Uniquement pour la taille de la police dans le panneau de gauche de la bibliothèque des marque-pages :

Bonsoir,

Ça ne bouge pas d'un poil.

Intrépide a écrit : 21 déc. 2017, 19:05 Bonsoir,

Ça ne bouge pas d'un poil.

C'est en réponse à mon message ?

Chez moi ce code fonctionne. Ici avec font-size: 12.2px

==>>

Et maintenant avec font-size: 15px

==>>

Mapenzi a écrit : 21 déc. 2017, 21:32
Chez moi ce code fonctionne. Ici avec font-size: 12.2px

==>>

Et maintenant avec font-size: 15px

==>>

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.

Chez moi ça fonctionne dans Firefox 57.0.1 et FirefoxNightly versions "Desktop".
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.

Helleo.. je n''ai pas encore constaté de différence (au singulier) de fonctionnement entre un FF fic=xe et un FF portable.
.
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

Demot a écrit : 22 déc. 2017, 23:59 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

Bonjour,
Où peut-on trouver userContent.css ?
Est-ce normal qu'il y ait deux fichiers user.chrome.css ?

Mapenzi a écrit : 21 déc. 2017, 21:32
Chez moi ce code fonctionne. Ici avec font-size: 12.2px

==>>

Et maintenant avec font-size: 15px

==>>

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 ?