Recently I've been seeing a lot of premium wordpress themes that includes a palet to change background colors, like this one: http://pexeto.com/dandelion_wp/ and this one: http://kaptinlin.com/themes/striking/
Is the colour being saved in the database or is just changes in the current session?
UPDATE (Copied from duplicate)
Basically, I would like to add this color picker:
To a custom "Theme Options" to let the client pick, for instance, the color of links or company identity colors (maybe some divs' background).
and how the code that modifies the CSS would look like?
How to do that?