Page 3 sur 3
Re: Augmenter la taille de la police de FF
Publié : 07 mai 2023, 17:25
par Agent virtuel
Bonjour
The harpy a écrit : 07 mai 2023, 16:51
Tu supprimes tout le code que je t'ai donné et tu met celui de Freddy
Ok, mais, alors, il faut ajouter, retrouver le mode compact de Firefox https://support.mozilla.org/fr/kb/retro ... ct-firefox
Mais, ce n'est toujours pas suffisant, alors, et par autre exemple, ajouter au css viewtopic.php?p=918460#p918460 et voir, page 2, ce que Densité Compacte (non prise en charge) ne peut pas faire ailleurs, userChrome.css peut le faire ailleurs
Code : Tout sélectionner
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
/* Use Normal top and bottom padding for compact */
#PlacesToolbarItems .bookmark-item {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
/***Tighten up drop-down/context/popup menu spacing ***/
menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 8px !important;
}
Re: Augmenter la taille de la police de FF
Publié : 07 mai 2023, 21:01
par NathNate


comme tu y vas : tu aurais pu suggérer que... je ne sais pas... que j'avais oublié mes
ou ma
ou les deux
hein ?? Pfffff !! 

Bé on dirait que "ça" fonctionne grâce à vous deux 
Trop forts 

Dans l'ordre d'apparition à l'écran :
merci à
, effectivement l'espace entre les lignes des sous menus est grand même en mode compact. Je vais donc ajouter votre code.
ainsi qu'à
,
et à
.
Re: Augmenter la taille de la police de FF
Publié : 09 mai 2023, 20:51
par NathNate
Re: Augmenter la taille de la police de FF
Publié : 10 mai 2023, 23:18
par Freddy
Apparemment je n'ai pas du tout la même configuration que toi (pour ce qui est de la taille de la police) alors deux propositions:
soit tu laisse comme c'est, et pour "valider" à la place tu tape la touche "Entrée", ou pour "annuler" tu tape "échap" (ou "esc").
soit il faut choisir une valeur un peu plus petite juste pour cette fenêtre, et dans ce cas le code complet devient:
Code : Tout sélectionner
* Taille générale de la police */
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
/* Taille police pour le
menu "modifier le marque-page" */
#bookmarkpropertiesdialog *{
font-size: 11px !important;
}
#bookmarkproperties{
max-height:-moz-available !important;
}
/* Use Normal top and bottom padding for compact */
#PlacesToolbarItems .bookmark-item {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
/***Tighten up drop-down/context/popup menu spacing ***/
menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 8px !important;
}
La valeur "11px" reste de ton choix
Re: Augmenter la taille de la police de FF
Publié : 11 mai 2023, 00:00
par NathNate
Alors j'ai copier ton premier code
Code : Tout sélectionner
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
qui ne modifiait pas les sous-menus dédiés marque-pages, que
a complété comme ça
Code : Tout sélectionner
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
/* Use Normal top and bottom padding for compact */
#PlacesToolbarItems .bookmark-item {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
/***Tighten up drop-down/context/popup menu spacing ***/
menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 8px !important;
}
Je n'ai rien modifié moi-même (j'en serais bien incapable !) j'ai juste fait copier-coller.
Re: Augmenter la taille de la police de FF
Publié : 11 mai 2023, 22:41
par Freddy
J'ai pas trop compris si du coup tout est ok
Il suffit de tout supprimer l'ancien, et de coller celui que j'ai ajouter, c'est à dire celui-ci (que je remet sans l'erreur du manque du / au tout début
)
Code : Tout sélectionner
/* Taille générale de la police */
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
/* Taille police pour le
menu "modifier le marque-page" */
#bookmarkpropertiesdialog *{
font-size: 11px !important;
}
#bookmarkproperties{
max-height:-moz-available !important;
}
/* Use Normal top and bottom padding for compact */
#PlacesToolbarItems .bookmark-item {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
/***Tighten up drop-down/context/popup menu spacing ***/
menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 8px !important;
}
Re: Augmenter la taille de la police de FF
Publié : 11 mai 2023, 23:41
par NathNate
Re: Augmenter la taille de la police de FF
Publié : 30 mai 2023, 17:40
par NathNate
Freddy a écrit : 10 mai 2023, 23:18
Apparemment je n'ai pas du tout la même configuration que toi (pour ce qui est de la taille de la police) alors deux propositions:
soit tu laisse comme c'est, et pour "valider" à la place tu tape la touche "Entrée", ou pour "annuler" tu tape "échap" (ou "esc").
soit il faut choisir une valeur un peu plus petite juste pour cette fenêtre, et dans ce cas le code complet devient:
Code : Tout sélectionner
* Taille générale de la police */
* {
font-size: 14px!important;
font-weight: bold !important;
color: black !important;
}
/* Taille police pour le
menu "modifier le marque-page" */
#bookmarkpropertiesdialog *{
font-size: 11px !important;
}
#bookmarkproperties{
max-height:-moz-available !important;
}
/* Use Normal top and bottom padding for compact */
#PlacesToolbarItems .bookmark-item {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
/***Tighten up drop-down/context/popup menu spacing ***/
menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 8px !important;
}
La valeur "11px" reste de ton choix
Re re bonjour,
J'ai changé de PC (l'ancien bios d'avril 2011ou 2012) et j'ai eu la "triste" surprise de ne pas avoir les changements qui fonctionnaient nickel sur le vieux PC, alors que j'ai ajouté le dossier "chrome" ainsi que le fichier "userChrome.css".
À quoi est-ce dû ?
Je suis à jour (v 113.0.2 x64).
Edit : ne pas tenir compte de ce message : j'avais oublié de passer de false à truedans toolkit.legacyUserProfileCustomizations.stylesheets.