Ja, geht schneller mit der Einstellung "Farben". Es sei denn, man benutzt eh schon eine userContent.css Datei.
Ich weiß auch nicht mehr, warum ich damals davon abgekommen bin. Vielleicht, weil ich mit dieser Farbpalette keine Feinabstimmung erreichen konnte wie z. B. mit einem HTML Color Picker wie hier https://html-color-codes.info/