(Résolu)Réduire la taille de la police de la barre personnelle?
Modérateurs : myahoo, nico@nc, Mori, jpj
(Résolu)Réduire la taille de la police de la barre personnelle?
Bonsoir,
le titre est un peu long mais toute la question y est
est ce possible ou pas? merci d'avance
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.
@+++
Re: Réduire la taille de la police de la barre personnelle?
Bonjour
des articles pour y rémédier :
http://j2m-06.pagesperso-orange.fr/faq_ ... hrome.html
http://www.easy-pc.org/2017/11/astuces- ... %20onglets
des articles pour y rémédier :
http://j2m-06.pagesperso-orange.fr/faq_ ... hrome.html
http://www.easy-pc.org/2017/11/astuces- ... %20onglets
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]
- Cucurbitacé
- Animal mythique
- Messages : 5637
- Inscription : 22 juil. 2012, 05:27
Re: Réduire la taille de la police de la barre personnelle?
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.
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?
Grand merci pour vos réponses, je vais tester tout ça
@+++
Re: Réduire la taille de la police de la barre personnelle?
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
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.
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.
Re: Réduire la taille de la police de la barre personnelle?
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;
}
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.
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.
Re: Réduire la taille de la police de la barre personnelle?
Parfait avec le code "quivabien"!
merci beaucoup!
merci beaucoup!
@+++
Qui est en ligne ?
Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 25 invités