Firefox Nightly est super, mais ça y est : les extensions legacy ne marchent plus là… Y compris GreaseMonkey.

Du coup j’essaye de trouver des alternatives. Pour les scripts qui me servaient à modifier le CSS, il semble que le fichier /chrome/userContent.css fonctionne encore (c’est dans le dossier de profil de Firefox, et non, le dossier n’a rien à voir avec le navigateur Chrome).

Dans ce fichier on peut mettre le CSS qu’on veut pour cibler diverses pages/sites.

Par exemple, sur la capture (mon lien), j’ai mis en rouge les liens vers les pages anglaises, françaises et allemandes sur la liste des langues d’une page Wikipédia.

Si je suis une page Wiki en français, ça me highlight tout de suite le lien vers la page en anglais/allemand, et vice-versa (et sur les pages en d’autres langues, les trois langues sont surlignées).

Voilà le code dans l’userContent.css :

@-moz-document domain(wikipedia.org) {

	#p-lang a[hreflang="en"],
	#p-lang a[hreflang="de"],
	#p-lang a[hreflang="fr"] {
		font-weight: bold!important;
		color: red!important;
	}

}

Ajoutez toutes les langues que vous voulez, et tout le CSS que vous voulez aussi (n’oubliez pas le « !important » à mettre partout : le fichier userContent.css a la priorité la plus base du CSS).

Si j’étais moins fainéant, j’ajouterais des petites icônes de drapeau (en base64 ou webfont ou whatever) avec le ::after.

— (permalink)