Ich denke die user.css hat schon funktioniert. Dein Browser hat vermutlich aber noch die alte im Cache gehabt.
Da muss man oftmals etwas nachhelfen damit er einen forcierten Reload macht.
Aber via die Optionen gehts natürlich auch, dort ist der Cache nicht das Problem.
