web-dev-qa-db-fra.com

Augmenter la taille de la police dans les signets dans Seamonkey

Bookmarks screenshot

Je voudrais pouvoir augmenter la taille de la police utilisée dans le fichier de signets utilisé dans Seamonkey

1
fixit7

Utilisez votre gestionnaire de fichiers pour ouvrir /home/andy/.mozilla/seamonkey/k55ql4r2.default/chrome/ changer andy en votre nom d'utilisateur réel et k55ql4r2.default au nom de votre profil actuel.

Créez-y un nouveau fichier texte nommé userChrome.css en utilisant exactement la même orthographe.

Collez le contenu suivant:

/*
 * Do not remove the @namespace line -- it's required for correct functioning
 */
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); 
/* set default namespace to XUL */

menupopup#bookmarksMenuPopup  * {
   font-size: 20pt !important
 }

Vous pouvez changer 20pt à une valeur supérieure ou inférieure pour répondre à vos besoins spécifiques.

Redémarrez Seamonkey. C’est essentiel.

Avant:

before editing userChrome.css

Après:

after editing userChrome.css

1
DK Bose