Various javascript hacks to improve the redmine UI