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

😂😂

The harpy a écrit :

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 à

Agent virtuel a écrit :

, effectivement l'espace entre les lignes des sous menus est grand même en mode compact. Je vais donc ajouter votre code.

ainsi qu'à

The harpy a écrit :

,

et à

Freddy a écrit :

.


Re: Augmenter la taille de la police de FF

Publié : 09 mai 2023, 20:51
par NathNate

:lol: Me revoilà :lol:
je viens de constater que le bouton "enregistrer" a disparu du menu déroulant dédié aux marque-pages, probablement parce que l'espace entre les lignes est trop important, ou du moins c'est ce que je suppose. Comment rétrécir cet espace ?
D'avance merci ;)
https://www.zupimages.net/up/23/19/9dgb.jpg


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:
:arrow: 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").

:arrow: 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

Agent virtuel a écrit : 10 mai 2023, 23:18

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

Cette fois ça y est, le bouton "enregistrer" est bien visible👍👍👍 et TOUT baigne !
Merci beaucoup🙏 👏 🙏 👏


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:
:arrow: 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").

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