Dark Theme exportieren

Hallo,

derzeit wurde die Änderung sowieso nochmal rückgängig gemacht. Wobei ich nicht verstehe, wieso man ein dunkles Theme einsetzt, wenn man es nur halb umgesetzt haben will. In jedem Fall, sobald die Änderung wieder landet, kann man sich das CSS ansehen und hat dann eine Grundlage, um das CSS via userChrome.css wieder zu überschreiben.