reddit_usercolor.user.js: use setProperty()