greasemonkey script for tweaking JIRA UI colors