Redmine user specific theme

Plugin make it possible to have the theme setting at the user account. If blank then the system wide theme applies, otherwise, the user specific is used.

http://www.redmine.org/issues/4602