Modifier la taille des dossiers

Vos requêtes concernant Mozilla Firefox, le navigateur Gecko alternatif, ne trouvèrent point de réponses lorsque vous cherchâtes ? Toute l'équipe Geckozone est prête à vous aider.

Modérateurs : myahoo, nico@nc, Mori, jpj

Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Modifier la taille des dossiers

Message par Intrépide »

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.
:D
Avatar de l’utilisateur
Demot
Animal mythique
Messages : 18985
Inscription : 28 juin 2008, 18:07

Re: Modifier la taille des dossiers

Message par Demot »

Hello... agrandir quoi, la taille de la fenêtre ou la taille de police ?
❒ une vraie réponse a pour but premier d'aider, non pour soigner son manque.
☑ Pas confondre Pigeon et On Pige ➔ Inutile de m'adresser ce que je ne lirai pas !
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

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.
Avatar de l’utilisateur
Christian_B
Lézard vert
Messages : 143
Inscription : 16 août 2017, 17:22

Re: Modifier la taille des dossiers

Message par Christian_B »

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.

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

Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

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.
Bobe
Iguane
Messages : 742
Inscription : 28 juil. 2003, 21:29

Re: Modifier la taille des dossiers

Message par Bobe »

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

J'ai un impact avec :

Code : Tout sélectionner

treechildren { transform: scale(1.3); }
mais ça zoom tout et ça déborde sur le champ de recherche ^^
edit: et ça fout la zone aussi dans la librairie.
« La vie d’un geek est un combat perpétuel contre l’imperfection »
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

Bonjour,

Non ce n'est pas ça. Merci.
Mapenzi
Tyrannosaurus Rex
Messages : 2735
Inscription : 18 mars 2015, 20:17

Re: Modifier la taille des dossiers

Message par Mapenzi »

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 :

Code : Tout sélectionner

#placesList  treechildren::-moz-tree-cell-text {
font-size: 13px !important; }
Image
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

Bonsoir,

Ça ne bouge pas d'un poil.
Mapenzi
Tyrannosaurus Rex
Messages : 2735
Inscription : 18 mars 2015, 20:17

Re: Modifier la taille des dossiers

Message par Mapenzi »

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

==>> Image

Et maintenant avec font-size: 15px

==>> Image
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

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

==>> Image

Et maintenant avec font-size: 15px

==>> Image

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.
Mapenzi
Tyrannosaurus Rex
Messages : 2735
Inscription : 18 mars 2015, 20:17

Re: Modifier la taille des dossiers

Message par Mapenzi »

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.
Avatar de l’utilisateur
Demot
Animal mythique
Messages : 18985
Inscription : 28 juin 2008, 18:07

Re: Modifier la taille des dossiers

Message par Demot »

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
❒ une vraie réponse a pour but premier d'aider, non pour soigner son manque.
☑ Pas confondre Pigeon et On Pige ➔ Inutile de m'adresser ce que je ne lirai pas !
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

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 ?
Dernière modification par Intrépide le 23 déc. 2017, 12:34, modifié 1 fois.
Intrépide
Gecko
Messages : 89
Inscription : 05 févr. 2015, 17:26

Re: Modifier la taille des dossiers

Message par Intrépide »

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

==>> Image

Et maintenant avec font-size: 15px

==>> Image
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 ?
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Amazon [Bot] et 20 invités