(Résolu)Réduire la taille de la police de la barre personnelle?

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

jason2005
Lézard à collerette
Messages : 337
Inscription : 05 nov. 2006, 22:53

(Résolu)Réduire la taille de la police de la barre personnelle?

Message par jason2005 »

Bonsoir,

le titre est un peu long mais toute la question y est :)
est ce possible ou pas? merci d'avance
Dernière modification par jason2005 le 16 mars 2018, 13:29, modifié 1 fois.
@+++
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3260
Inscription : 31 janv. 2017, 10:57

Re: Réduire la taille de la police de la barre personnelle?

Message par pepersan »

Firefox 125 -Linux Mint 20 Ulyana

Pour mettre en [Résolu] éditer le premier message du post, en cliquant sur le crayon blanc dans un carré bleu, modifier le titre, en y ajoutant [Résolu]

Avatar de l’utilisateur
Cucurbitacé
Animal mythique
Messages : 5637
Inscription : 22 juil. 2012, 05:27

Re: Réduire la taille de la police de la barre personnelle?

Message par Cucurbitacé »

Bonjour jason2005,

Oui, c’est possible.

Je ne connais pas la solution dans Firefox, mais avec un très petit fichier qui s’ajoute à Firefox, c’est possible.
Il faut dans le profil créer un dossier : Chrome.
Et dedans y placer un fichier texte que vous appèlerez : userContent.
Faudra le faire passer d’une extension txt à css, ce qui est très facile.
Si le fichier s’appelle userContent.txt, il suffit de cliquer sur le nom du fichier de retirer txt et d’y mettre css.

Ce fichier, userContent, il y en a un autre userChrome, permet d’agir sur l’apparence de Firefox.
C’est de la programmation, donc pour les novices, c’est compliqué, ainsi, il faut trouver un code déjà écrit et le repiquer.

Un modérateur a fait un truc explicatif : http://j2m.06.free.fr/faq_ff_userchrome.html

Et sur ce forum, il y a aussi une explication : viewtopic.php?f=5&t=55281

Moi, j’ai repiqué des codes sur un site de styles pour Firefox : https://userstyles.org/styles/browse/browser
Vous choisissez un style qui semble vous correspondre et il y a une icône : Show css code.

Bien à vous.
jason2005
Lézard à collerette
Messages : 337
Inscription : 05 nov. 2006, 22:53

Re: Réduire la taille de la police de la barre personnelle?

Message par jason2005 »

Grand merci pour vos réponses, je vais tester tout ça :)
@+++
EricG
Lézard à collerette
Messages : 344
Inscription : 16 mars 2010, 14:55

Re: Réduire la taille de la police de la barre personnelle?

Message par EricG »

Bonjour,

Oui, c'est :

toolbarbutton.bookmark-item:not(.subviewbutton) {
margin: 0 2px;
padding: 2px 4px;
-moz-appearance: none;
font-size: smaller !important;
}

on peut ajuster le police par rapport aux icones, mais ça rend bien
Ce slip explique cela...
Avatar : Creative Commons Paternité 2.0 générique - Auteur et source : ohsoabnormal
Satisfait de la réponse ?
Pour marquer [Résolu], cliquez sur le bouton EDITER du premier message.
EricG
Lézard à collerette
Messages : 344
Inscription : 16 mars 2010, 14:55

Re: Réduire la taille de la police de la barre personnelle?

Message par EricG »

Re,

Oui c'est pas usercontent le cucurbitacé (lol) mais userChrome.css, je viens de le modifier.

Ainsi (enfin, sans le code que je vous ai indiqué, vous pouvez le mettre à la fin sans problème) :

/*@namespace url("http://www.mozilla.org/keymaster/gateke ... s.only.xul"); /* only needed once */



/*============================== Spécial Onglets Ronds ==============================*/

/* Coins arrondis des onglets */

#TabsToolbar .tabs-newtab-button,
#TabsToolbar .tabbrowser-tab,
#TabsToolbar .tabbrowser-tab .tab-stack,
#TabsToolbar .tabbrowser-tab .tab-background,
#TabsToolbar .tabbrowser-tab .tab-content {
border-top-left-radius: 16px !important;
border-top-right-radius: 16px !important;
border-bottom-left-radius: 16px !important;
}



/*************************************/

/* Ligne sur onglet actif */

.tabbrowser-tab[usercontextid] .tab-line {
background-color:var(--identity-tab-color)!important;
}

.tabbrowser-tab .tab-line {
margin-left: 16px !important;
margin-right: 16px !important;
margin-top: 3px !important;
}



/*************************************/

/* Suppression du séparateur entre les onglets */

.tabbrowser-tab::after, .tabbrowser-tab::before {
margin: 2px !important;
border-left:0px !important;
}

/*============================== Spécial Onglets Ronds ==============================*/



/*================================= Spécial Couleurs ================================*/

/* Couleur de bouton Fermer */

tabs#tabbrowser-tabs tab.tabbrowser-tab { color: black !important;}



/*************************************/

/* Apparence des onglets lus */

.tabbrowser-tab[selected] { /**/
color: black !important;
font-weight: normal !important;
font-size: 12px !important;
background-color: transparent !important;
}



/* Apparence des onglets non lus */

.tabbrowser-tab[unread] .tab-background:not([selected="true"]) {
color : black !important;
font-weight: normal !important;
font-style: italic !important;
font-size: 12px !important;
background-color: lightblue !important;
}

/*************************************/


/**************** Onglets ************/

/* Onglet Actif */

.tab-background[selected="true"] {
/*background-attachment: none!important;*/
background-color: lightcoral !important; /* oui */
background-image: none !important;
} /* sais pas */



/* Onglets Inactifs */

.tab-background:not([selected="true"]) {
background-color: yellowgreen !important;
font-style: italic !important;
}


/************** Onglets **************/



/* Label des onglets lus (vert) */

.tabbrowser-tab[selected], .tab-label {
color: yellow !important;
font-size: 12px !important;
}



/* Label ... non lus (bleu clair) */

tab.tabbrowser-tab[unread] .tab-label {
color: lightcyan !important;
font-style: italic !important;
}



/* Label ... Actif (rouge) */

tab.tabbrowser-tab[selected="true"] .tab-label {
color: black !important;
}
Ce slip explique cela...
Avatar : Creative Commons Paternité 2.0 générique - Auteur et source : ohsoabnormal
Satisfait de la réponse ?
Pour marquer [Résolu], cliquez sur le bouton EDITER du premier message.
jason2005
Lézard à collerette
Messages : 337
Inscription : 05 nov. 2006, 22:53

Re: Réduire la taille de la police de la barre personnelle?

Message par jason2005 »

Parfait avec le code "quivabien"!

merci beaucoup!
@+++
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Bing [Bot] et 19 invités