Como alterar o css do richfaces?

Front-end
#1

Opa

Alguem sabe como que eu altero aquele css do richfaces? Eu precisava de uma skin meio roxa, mas não achei nada entao vou precisar fazer isso na mão…hehe

#2

http://www.jboss.org/file-access/default/members/jbossrichfaces/freezone/docs/devguide/en/html_single/index.html#ArchitectureOverview

Item 5.9

#3

a

#4