greasemonkey: add some redmine styling to shrink header