[Résolu] Taille de la police des marque-pages

[Streaming]

Bonjour,

J'ai un petit souci, il m'a été impossible de trouver comme changer la taille de la police des marque-pages. Mon but étant d'en caser le plus possible sans défilement.
Donc toujours réduire la taille de la police, dans un fichier de configuration? Un plugin non intrusif, enfin un plugin déjà?

Merci d'avance et bonne journée

[nico@nc]

Bonjour,

Tu peux modifier ça assez facilement avec le fichier userChrome.css. Regarde le post-it en tête de section Firefox à ce sujet, et le sujet dédié à ce fichier qui y est indiqué.

[Streaming]

Hello,

Je vais regarder ça, je trouve étonnant de ne pas l'avoir trouvé dans mes recherches. Parlons-nous bien de la même chose? Je reviendrais poster...

Par contre si c'est bien avec user chrome truc, je ne l'ai pas trouvé sous Seven 64Bits

[Streaming]

J'ai cherché, mais je n'ai pas trouvé ce que je voulais, je me suis pas tapé les 81 pages en même temps, je devrais?
Balance un peu plus d'info :p
Moi même je suis assez avare d'info dans mon domaine (Scene underground XBox) mais j'oriente un peu plus les perdus, parce que là j'ai l'impression que je vais pas y arriver.

J'ai trouvé ca:

MENUS MARQUE-PAGES

&07 Réglage de la largeur des menus de dossiers marque-pages
&08 Cacher 'Ouvrir dans des onglets' dans les menus de dossiers marque-pages
&09 Souligner - ne pas souligner les marque-pages et page... 206653
page... 220900 : Amaigrir les icônes des marque-pages pour en mettre plus
page... 266051 : Scrollez dans vos marque-pages

page... 314601 : fenêtre d'ajout de marque-page : dépliage

Et:

BARRE LATERALE (SIDEBAR)

&43 Barre latérale (sidebar) Cacher...
&44 La barre à droite de l'écran
&45 Barre latérale (sidebar) fonds, police, sélections
&46 Le panneau latéral couché et paf
page... 225700 : Séparer l'écran horizontalement, naviguer depuis la sidebar
page... 208090 : Fonds précisions
page... 208275 : Séparateur vertical habité

Sachant que je voudrais modifier mon menu des bookmarks qui se trouve en panneau latéral (J'ai un screen en 1920x1200 et j'ai donc toujours ce panneau ouvert puisque les sites me laissent de la place).

J'ai créé mes userChrome.css et userContent.css. J'ai installé ChromEdit. Bref, me manque plus que le code à placer où il faut, enfin les pistes pour que je le trouve...

Merci d'avance

[Pastisman]

Bonjour,

Le code est :

Code : Tout sélectionner

#bookmarks-view-children {
 font-size: 70% !important ;
}

Il s'autodétruira dans 5s.

Tu peux bien évidemment mettre autre chose que 70% (j'ai essayé 50%, c'est illisible !)
Tu peux aussi changer d'autres propriétés de la police : http://fr.selfhtml.org/css/proprietes/p ... #font_size

[Streaming]

J'aime pas le Pastis, mais j'aime Pastisman!

Je vais tester ça de suite.
Par contre ca m'embête d'avoir eu du tout cuit comme ca, mais au moins si quelqu'un trouve le topic il aura l'info direct.

[Streaming]

Yeah ça marche!

Merci les gars de votre aide. Par contre 70% c'est presque pas lisible sur mon écran... 75 ca commence à rockser.
Me manque plus que réduire les îcones de ces mêmes marque-pages qui ne bouge pas lui.

[Pastisman]

Si tu veux pas du tout cuit, faut voir avec MDC, l'arbre s'appelant #bookmarks-view il te faudra diminuer la hauteur et la largeur de l'image et du triangle d'ouverture et la hauteur des lignes (avec 75%, 7px de côté pour les images et une hauteur de ligne de 10px parait pas mal)

[Streaming]

Merci les gars et bonne année!

[Streaming]

Je ne peux pas éditer mon premier message pour ajouter résolu dans le titre...

Si un modo passe par là

[zerocool]

Bonjours
dites si je veux changer juste la taille de police du nom de mes dossiers de ma barre personnel (et non celle des sous dossiers ou lien) ca donne quoi en code s'il vous plait?