Page 1 sur 1

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

Publié : 15 mars 2018, 22:07
par jason2005
Bonsoir,

le titre est un peu long mais toute la question y est :)
est ce possible ou pas? merci d'avance

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

Publié : 16 mars 2018, 10:26
par pepersan

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

Publié : 16 mars 2018, 10:35
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.

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

Publié : 16 mars 2018, 11:04
par jason2005
Grand merci pour vos réponses, je vais tester tout ça :)

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

Publié : 16 mars 2018, 11:19
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

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

Publié : 16 mars 2018, 12:11
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;
}

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

Publié : 16 mars 2018, 13:28
par jason2005
Parfait avec le code "quivabien"!

merci beaucoup!