Beh, ogni tanto riesco ancora a stupirmi
1) delle capacità di quest'affare (Firefox)
2) della mia pertinacia
Miki, aggiungi questo codice all'
usercontent.css@-moz-document domain("support.mozilla.com") {
#doc-content, #doc-content p, #doc-content pre, #doc-content .warning, #doc-content .note, #doc-content li, #doc-source textarea, article.main textarea, div.editor textarea
{color: black !important;}
}
E ringraziamo i creatori dell'estensione Web Developer
edit: man mano che trovo altre cose da scurire le aggiungo. Ora ho aggiunto anche i font dell'editor.