Je voudrais pouvoir augmenter la taille de la police utilisée dans le fichier de signets utilisé dans Seamonkey
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:
Après: