Aber dein Tool liefert ja einen Code für die Datei userChrome.css, habe ich das richtig in Erinnerung? Das ist ja mehr ein inoffizielles Feature. Über dieses Experiment kann nur umgesetzt werden, wofür es Unterstützung in der Theming-API gibt, denn das Resultat hier sind installierbare Themes.
Genau. Plus Script-Einbindungen. Und ich hoffe halt, dass die Theming-API noch entsprechend erweitert wird und evtl. vieles vereint, was man sich hier noch per userChrome.css und/oder userChrome.js zusammenbastelt. Mir ist schon klar, das nicht alles (sofort) umsetzbar sein wird, aber wünschenswert ist es schon. Die bisherigen Möglichkeiten von ThemesRFun sind nun mal arg beschränkt und für mich persönlich keineswegs ausreichend.