24 août 2020
Notes concernant les profils de Firefox et userChrome.css.
Utilisation de Stylus pour corriger le "nouveau" style de Wikipedia.
Pour accéder à la page d'information de dépannage :
Ctrl-L about:support
.
On y trouve entre autres le répertoire du profil en cours.
Le fichier places.sqlite
contient les marque-pages, la liste des téléchargements, et les sites visités.
En complément le dossier bookmarkbackup
est une sauvegarde des marque-pages, pour une éventuelle restauration.
Enfin fiveicons.sqlite
conserve les icônes des sites.
Ils sont stockés dans logins.json
et keyb4.db
.
Les permissions accordées à certains sites et les préférences sont dans les fichiers permissions.sqlite
et content-prefs.sqlite
.
Les fichiers à recopier d'un ancien profil à un nouveau sont :
et éventuellement
De mon point de vue le menu des marque-pages contient des rubriques inutiles et des items nuisibles.
Pour une utilisation simple et rapide au clavier, je me débarrasse de ces nuisances en créant une feuille css nommée userChrome.css
placée dans le dossier chrome
du profil.
Depuis la version 69, les fichiers userChrome.css
et userContent.css
ne sont plus lus par défaut. Il faut désormais mettre la variable toolkit.legacyUserProfileCustomizations.stylesheets
à true
en passant par about:config
.
Il n'est pas parfait car il contient sans doute des redondances.
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
.openintabs-menuseparator,
.openintabs-menuitem {
display: none !important;
}
#menu_bookmarkThisPage,
#menu_bookmarkAllTabs
{
display: none !important;
}
#identity-box.verifiedIdentity #identity-icon-labels {
display: none !important;
}
#identity-box #identity-icon-labels {display:none}
#pageActionButton
{
display: none !important;
}
.urlbar-history-dropmarker,
#urlbar:hover > .urlbar-textbox-container > .urlbar-history-dropmarker {
display: none !important;
}
menuitem[label="Open All in Tabs"],
menuitem[label="Unsorted Bookmarks"],
menuitem[label="Bookmark This Page"],
menuitem[label="Tout ouvrir dans des onglets"]
{
display: none !important;
}
[label="Other Bookmarks"],
[label="Bookmarks Toolbar"],
[label="Autres marque-pages"],
[label="Barre personnelle"]
{
display: none !important;
}
En ce moment (août 2020, ou début septembre) les développeurs de Wikipédia bricolent le css de leurs pages. Et ce n'est pas toujours une réussite.
Par exemple il ont fixé la largeur minimale de la boite principale (.mw-page-container
) à une valeur excessive de 59.125em;
Ce qui a pour effet qu'on a le choix soit faire glisser les lignes de droite et de gauche, soit ouvrir firefox en plein écran. Ça NON, je snobe les sites qui imposent leurs goûts de chiottes.
Pour l'instant la solution que j'ai trouvée a consisté à installer l'extension Stylus et ajouter une règle de style pour wikipedia.org
:
.skin-vector-max-width .mw-page-container{
min-width: 100%;
}