4 votes

jsherk avatar

Firefox - Comment modifier la taille de la police des éléments du dossier dans la barre d'outils des signets ?

Demandé el 1 de Janvier, 2012
Quand la question a-t-elle été
2252 affichage
Nombre de visites la question a
2 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

Utilisation de Firefox v8.0.1 sur OS X Lion v10.7.2

Existe-t-il un moyen de régler la taille de la police des éléments qui apparaissent DANS UN DOSSIER de la barre d'outils des signets ?

Je ne souhaite PAS modifier la taille de la police des dossiers et des éléments de la barre d'outils des signets, mais uniquement celle des éléments qui apparaissent dans un dossier.

Je suis sûr qu'il existe un code css que je peux placer dans userChrome ou userContent, mais je ne parviens pas à le trouver. J'ai essayé l'inspecteur DOM, mais il ne fonctionne pas pour les éléments des dossiers de la barre d'outils des signets.

Demandé el 1 de Janvier, 2012 par jsherk

Réponses

Trop de publicités?

1voto

iglvzx avatar
iglvzx Points 23001

Utilisation de la Inspecteur DOM pour trouver les sélecteurs appropriés, ce qui suit devrait fonctionner avec userChrome.css :

.bookmark-item menupopup .menuitem-iconic {
    property: value !important;
}

Ejemplo:

Remarque : ceci affecte également les signets imbriqués.

bookmarks

Mise à jour :

Pour donner un style aux sous-dossiers :

.bookmark-item menu {
    property: value !important;
}

subfolders

Répondu el 1 de Janvier, 2012 par iglvzx (23001 Points )

0voto

Sapper_Toby avatar
Sapper_Toby Points 1

J'ai eu un problème avec la solution postée ci-dessus. Je n'ai pas réussi à la faire fonctionner jusqu'à ce que, après avoir expérimenté au hasard, j'ai finalement essayé d'ajouter une balise * avant le { et c'était efficace. Ce que j'ai obtenu, en combinant les changements de police des signets et des sous-dossiers, c'est le code suivant :

/* Bookmark folder fonts' */

.bookmark-item menupopup .menuitem-iconic * { font-size: 10pt !important; } 
.bookmark-item menu * {
    font-size: 10pt !important;
}
Répondu el 28 de Février, 2018 par Sapper_Toby (1 Points )

Questions en vedette

Top Tags

Dans notre réseau

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X